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

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

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

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

Том:

Номер: 9

Год: 2011

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

Издательство:

Местоположение издательства:

URL:

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

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

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

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

Публикация в печати: 0

Добавил в систему: