В сборнике показана роль искусственных, в частности логических, языков для представления и обработки фактов и знаний. Наряду с известными методами поиска доказательств для первопорядкового исчисления предикатов описаны методы поиска доказательств для других логическнх систем, включая модальные и временные. В отличие от формальных содержательные рассуждения существенно опираются на базы знаний. Описаны программы реализации этих методов поиска на персональных компьютерах, в том числе программа, реализующая поиск доказательства натурального вывода в режиме диалога. Книга рассчитана на широкий круг читателей, интересующихся современными основами информатики и вычислительной техники. Содержание: Закревский А.Д. Представление знаний и логический вывод в пространстве многозначных признаков. Ливчак А.Д. Система продукций. Описание компьютера в терминах продукций. Пасюков В Л. Автоматическое доказательство теорем. Катречко С.Л. Обратный метод С.Ю. Маслова. Новодворский А.Е., Смирнов А.В. Интерактивное доказательство теорем. Шалак В.И. Отношения между теориями и автоматическое доказательство теорем. Левенец Е.В. Рассуждения по аналогии. Хлус А.М. Немонотонность и содержательные рассуждения.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже