8.3.
Опровержение резолюций
В
языке PROLOG используется "интерпретация фраз Хорна для решения проблем"
(см. [Kowalski, 1979, р. 88-89]). Фундаментальный метод доказательства
теорем, на котором базируется PROLOG, называется опровержением резолюций (resolution
refutation). Полное описание этого метода читатель найдет в книге Робинсона
[Robinson, 1979], а в этом разделе мы попытаемся кратко изложить только
основные идеи.
| Maya 3D графика в кино и телевидении Воздействие испытаний ядерного оружия на здоровье населения Объектно-ориентированный язык программирования Java Объектно-ориентированное программирование Delphi Библиотека визуальных компонентов VCL и ее базовые классы Кроссплатформенное программирование для Linux Элементы управления Win32 Элементы управления Windows XP Файлы и устройства ввода/вывода Что такое экспертная система? Объектно-ориентированное программирование Инструментальные средства разработки экспертных систем Программирование на языке CLIPS Критерии и количественные характеристики надежности Расчет характеристик надежности невостанавливаемых резервированных изделий Расчет надежности системы с постоянным резервированием Интегрирование тригонометрических функций ; |