Введение в экспертные системы




ГЛАВА 8. Логическое программирование


    ГЛАВА 8. Логическое программирование
    ГЛАВА 8. Логическое программирование 8.1. Формальные языки 8.1.1. Исчисление высказываний 8.1.2. Исчисление предикатов 8.2. Язык PROLOG 8.3. Опровержение резолюций 8.3.1. Принцип резолюций 8.3.2....
    Логическое программирование
    Логическое программирование 8.1. Формальные языки 8.2. Язык PROLOG 8.3. Опровержение резолюций 8.4. Процедурная дедукция в системе PLANNER 8.5. PROLOG и MBASE Рекомендуемая литература Упражнения Е...
    8.5. PROLOG и MBASE
    8.5. PROLOG и MBASE Ранее мы уже видели, что фразу, содержащую предположение, можно представить с помощью исчисления предикатов первого порядка. Фраза Если философ выиграет у кого-нибудь в забеге,...
    8.5.1. Правила поиска в языке PROLOG
    8.5.1. Правила поиска в языке PROLOG Существует аналогия между выражениями вида admire(Y, X) :- philosopher (X) , beats (X,Y) в языке PROLOG и консеквентной теоремой в системе PLANNER. При запросе...
    8.5.2. Управление поиском в системе MBASE
    8.5.2. Управление поиском в системе MBASE Один из распространенных способов управления поиском в применении к доказательству какого-либо утверждения — тщательное упорядочение базы данных. При поис...
    Рекомендуемая литература
    Рекомендуемая литература Четкое изложение основных концепций теории доказательств в математической логике читатель найдет в работе Эндрюса [Andrews, 1986]. Я также рекомендую познакомиться с книго...
    Упражнения
    Упражнения 1. Выразите с помощью логики предикатов следующие утверждения. I) Каждый студент использует какой-нибудь компьютер, и по крайней мере один компьютер используется каждым студентом. (Испо...
    8.1. Формальные языки
    8.1. Формальные языки Математическая логика является формальным языком в том смысле, что в отношении любой последовательности символов она позволяет сказать, удовлетворяет ли эта последовательност...
    8.1.1. Исчисление высказываний
    8.1.1. Исчисление высказываний Исчисление высказываний представляет собой логику неанализируемых предположений, в которой пропозициональные константы могут рассматриваться как представляющие опред...
    8.1.2. Исчисление предикатов
    8.1.2. Исчисление предикатов Исчисление высказываний имеет определенные ограничения. Оно не позволяет оперировать с обобщенными утверждениями вроде Все люди смертны. Конечно, можно обозначить тако...
    Снова о роботах и комнатах
    В главе 3 мы уже упоминали об исчислении предикатов в упрощенном виде. Там выражение вида at(робот, комнатаА) означало, что робот находится в комнате А. Термы робот и комнатаА в этом выражении пре...
    8.2. Язык PROLOG
    8.2. Язык PROLOG Фразы Хорна (Horn clause) представляют собой подмножество фраз, содержащих только один позитивный литерал. В общем виде фраза Хорна представляется выражением В языке PROLOG эта же...
    Литерал цели сопоставляется с литералом р (унифицируется с р), который называется головой фразы.
    (1) Литерал цели сопоставляется с литералом р (унифицируется с р), который называется головой фразы. (2) Хвост фразы ql, ...,qn конкретизируется подстановкой значений переменных (или унификаторов)...
    Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)
    Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на) on(а, b). on(b, с). above(X, Y) :- on(X, Y). above(X, Y) :- on(Z, Y), above(X, Z). Очевидно, что от программы требует...
    8.3. Опровержение резолюций
    8.3. Опровержение резолюций В языке PROLOG используется интерпретация фраз Хорна для решения проблем (см. [Kowalski, 1979, р. 88-89]). Фундаментальный метод доказательства теорем, на котором базир...
    8.3.1. Принцип резолюций
    8.3.1. Принцип резолюций Ранее я уже вскользь упоминал о том, что мы стараемся упростить синтаксис исчисления таким образом, чтобы уменьшить количество правил влияния, необходимое для доказательст...
    Таблица 8.1. Обобщение резолюции
    Таблица 8.1. Обобщение резолюции Правило вывода Обычная форма Конъюнктивная нормальная форма...
    8.3.2. Поиск доказательства в системе резолюций
    8.3.2. Поиск доказательства в системе резолюций Резолюция представляет собой правило вывода, с помощью которого можно вывести новую ППФ (правильно построенную формулу) из старой. Однако в приведен...
    Дерево доказательства методом опровержения резолюций
    Дерево доказательства методом опровержения резолюций Восходящий процесс доказательства, использующий в качестве отправной точки утверждение, которое мы стараемся доказать, позволяет сфокусировать...
    8.4. Процедурная дедукция в системе PLANNER
    8.4. Процедурная дедукция в системе PLANNER Система PLANNER явилась одной из первых попыток разработки языка программирования задач искусственного интеллекта, базирующегося на идеях автоматическог...








Начало