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

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

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

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

Том:

Номер: 9

Год: 2011

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

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

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

URL:

Проекты:

DOI:

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

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

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

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

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

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

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

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