Страница публикации
Системные предикаты для управления логическим выводом в системе автоматического доказательства теорем для исчисления позитивно-образованых формул
Авторы: Ларионов А.А., Черкашин Е.А., Терехин И.Н.
Журнал: Вестник Бурятского гос. ун-та. Математика, информатика
Том:
Номер: 9
Год: 2011
Отчётный год: 2011
Издательство:
Местоположение издательства:
URL:
Аннотация: В статье предлагается подход к реализации процесса управления поиском автоматического доказательства теорем в исчислении позитивно-образованных формул. Управление выводом представляется в виде комбинации системных предикатов в оригинальном логическом языке представления формул. Предложены рекомендации по использованию подхода.
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: