Страница публикации

Системные предикаты для управления логическим выводом в системе автоматического доказательства теорем для исчисления позитивно-образованых формул

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Ларионов А.А., Черкашин Е.А., Терехин И.Н.

Журнал: Вестник Бурятского гос. ун-та. Математика, информатика

Язык публикации: russian

Номера страниц: 94-98

Количество страниц: 5

Номер: 9

Год публикации: 2011

Отчетный год: 2011

Аннотация: В статье предлагается подход к реализации процесса управления поиском автоматического доказательства теорем в исчислении позитивно-образованных формул. Управление выводом представляется в виде комбинации системных предикатов в оригинальном логическом языке представления формул. Предложены рекомендации по использованию подхода.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет