Системные предикаты для управления логическим выводом в системе автоматического доказательства теорем для исчисления позитивно-образованных формул
Автор: Ларионов Александр Александрович, Черкашин Евгений Александрович, Терехин Иван Николаевич
Журнал: Вестник Бурятского государственного университета @vestnik-bsu
Рубрика: Системный анализ, обработка информации и информационные технологии
Статья в выпуске: 9, 2011 года.
Бесплатный доступ
В статье предлагается подход к реализации процесса управления поиском автоматического доказательства теорем в исчислении позитивно-образованных формул. Управление выводом представляется в виде комбинации системных предикатов в оригинальном логическом языке представления формул. Предложены рекомендации по использованию подхода.
Исчисление позитивно-образованных формул, автоматическое доказательство теорем, логический вывод
Короткий адрес: https://sciup.org/148180546
IDR: 148180546
