Синтаксис логики предикатов. Преобразование унарных предикатов в бинарные. Функции, выполняемые экспертной системой. Правила "если-то" для представления знаний. Разработка оболочки в экспертных системах. Рассуждения, использующие логические формулы.
1. Синтаксис логики предикатов. Примеры. Примеры ПРЕДИКАТ - языковое выражение, обозначающее к.-л. свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «зеленый», «теплый») Предикатом называется функция, которая возвращает логическое значение. Логика предикатов - раздел математической логики да Таким образом, простейшие программы на Прологе регистрируют элементарные факты в БД и отвечают на вопросы, связанные с этими фактами. Например: идёт_дождь, начальник(_,_), библиотекарь(_) и книга(_,_,_). Докажем теорему (Факт (1) Факт (2) Правило (1)) Цель (1). С помощью резолюции выводим новое правило (2), используя обозначение Факт(1) Правило (1) Правило (2) Факт(1): Правило (1): Проф(Инфо, Жак_2) Правило (2): · Этап (2): из Факта (2) и Правила (2) резолюцией выводим новый Факт(3): Факт(2): Правило(2) Студ(Мат, Мари_4) Факт(3): Экзам(Жак_2, Мари_4) Равно(Инфо,Мат)=Л (Отношение Равно(Инфо,Мат)=Л должно быть явно указано в БД) · Этап (3): Факт(3) соответствует Цели(1). Язык Prolog. Конъюнкция. - начальник(Х, анри). - - > Х=эмиль Система ответила одним значением переменной, преобразовав вопрос в истинный предикат, но почему не жозеф и не [эмиль, жозеф]?. Факты и правила БД - это не множество, а список. - начальник(Х, Y). Большинство предикатов, используемых для представления знаний, обладает двумя аргументами (бинарные предикаты). На рисунке изображен концептуальный граф предиката Посылка (Жак_2, Мари_4, Книга_22), формализующий фразу «Жак посылает книгу Мари». На следующем рисунке приведен концептуальный граф логического представления той же фразы бинарными предикатами, т.е. граф, соответствующей формуле Отправитель( Посылка_8, Жак_2) Получатель(Посылка_8, Мари_4) Объект(Посылка_8, Книга_22) Элем(Посылка_8, посылки). Свяжем с каждым бинарным оператором концептуальный граф, как показано на следующем рисунке. Узел концептуального графа, указывающий это имя, называется связывающим узлом, ибо он связывает два концепта, представленных двумя аргументами бинарного предиката. Допустим, что мы интересуемся наличием в БД библио хотя бы одной книги Виктора Гюго. Правила конъюнкции и упрощения Рассмотрим набор из трех фраз: Фраза 1: Жак пишет книгу. Выражать фактами отношения внуков с дедами необходимости нет, ибо они могут быть выведены из отношений предшествования «Х является дедом Y, если существует субъект Z, отец которого Х и который сам отец или мать Y». Отношение принадлежности типу представлено связывающим узлом (именем предиката) Конкр (от слова конкретизация).
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
