Представление знаний в интеллектуальных системах
Методическое пособие - Компьютеры, программирование
Другие методички по предмету Компьютеры, программирование
ело свелось к двум последовательным вопросам. Первый предикат удовлетворён дважды, второй - один раз (причём независимо от первого).
Отрицание
В Прологе отрицание имеет имя not и для представления отрицания какого-либо выражения Р используется запись not(P). Цель not(P) достижима тогда и только тогда, когда не удовлетворяется предикат (цель) Р. При этом переменным значения не присваиваются. В самом деле, если достигается Р, то не достигается not(P); значит, надо стереть все присваивания, приводящие к этому результату, наоборот, если Р не достигается, то переменные не принимают никаких значений. Рассмотрим пример, связанный с БД библио:
? - not(начальник(эмиль,арсен)).
- - > да
? - not(начальник(эмиль,Х)).
- - > нет
Чтобы обработать отрицание, Пролог рассматривает возможность проведения доказательства как эквивалент значения Л. Следовательно not(P) считается истинным тогда и только тогда, когда не удовлетворяется Р. Подход этот в высшей степени прагматический, не имеющей эквивалента в логике.
25.Сетевое представление знаний. Временные и модальные операторы
Используемые в логике знания глаголы (например, полагать и знать) относятся к объектам, которые могут быть целыми фразами. Эти глаголы пронизывают иерархическую графическую структуру, в которой целые графы можно интерпретировать как узлы графов высшего порядка.
Фразу Жак посылает книгу Мари изображают классическим концептуальным графом в отличие от фразы Поль полагает, что Жак посылает книгу Мари, отражённый (с пометкой (с)) в центральной части графа на следующем рисунке. Из этого рисунка видно, что Мысль_8 принадлежит типу мысль. Объект Мысль_8 - концепт типа (точнее, с меткой типа) высказывание. Ссылка Мысль_8 - граф фразы Жак посылает книгу Мари. Полагающий это человек - Поль_6.
Любую форму модальной логики можно рассматривать в духе этого примера. В модальной логике всегда можно отделить пропозициональную часть фразы (выразимую в логике предикатов) от собственно модальности. При изображении концептуальных графов пропозициональная часть поля ссылки концепта обозначена типом высказывание. Такие модальности, как ?,?, полагает, знает суть концептуального отношения графа. На рисунке фраза Не может быть так, чтобы Поль полагал, будто Жак посылает книгу Мари представлена в виде концептуального графа.
26.Язык Prolog. Области действия имен
предикат логика знание логический
В Прологе программист свободен в выборе имён констант, переменных, функций и предикатов. Исключение составляют резервированные имена и числовые константы. Переменные не объявляются, отличаясь от констант первой буквой (строчная или прописная). Разные обозначения представляют разные объекты. Есть довольно очевидные исключения. Например, 133.1 и 133.10 - одно и то же число.
Область действия имени представляет собой часть программы, где это имя имеет один и тот же смысл (как во всех языках программирования). В Прологе:
для переменной областью действия является выражение (факт, правило или вопрос), её содержащее,
для остальных имён (констант, функций или предикатов) - вся программа.
Многократно можно использовать в одной программе лишь имена переменных. В приводимом ниже фрагменте из БД семья имеются: два вхождения имени каролина - это одна и та же константа, четыре вхождения имени (предикатного) мать - один и тот же предикат (всюду двухместный). Но переменные первого и вотрого правил независимы (это интуитивно ясно).
мать(каролина,юлия).
мать(каролина, альбертина).
дед(Х,Y):-отец(Х,Z), отец(Z,Y).
бабка(Х,Y):-мать(Х,Z), мать(Z,Y).
27.Канонические графы. Правила построения. Унаследованные свойства
В концептуальном графе есть узлы-концепты и узлы-связи (связывающие узлы). Каждая входящая в связывающий узел стрелка (или выходящая из него) соединена с узлом концептом. Однако некоторые комбинации узлов бессмысленны. Например, можно изобразить графом фразу удалить последнее слово следующей строки (какого-то текста). С позиций грамматики эта фраза синтаксически и семантически корректна. Напротив фраза удалить последнюю строку следующего слова синтаксически корректна, но абсурдна (семантически некорректна). Чтобы исключить графы нереальных (невозможных) ситуаций области рассуждений, Сова определил канонические (семантически корректные) графы разрешённых комбинаций слов. Каждый составляет представление о мире, выразимом каноническими графами, исходя из личного опыта.
Таким образом, возможный путь построения таких графов следующий: мозг вырабатывает систему концептов, базируясь на поступающих ощущениях, и так расставляет сформированные концепты, чтобы они отражали реальную ситуацию. Следовательно, можно считать, что мозг строит канонические графы, представляющие, вообще говоря, очевидности (другими словами тавтологии исчисления предикатов). Новые канонические графы строятся из имеющихся по определённым правилам построения. Эти правила формируют порождающую грамматику для концептуальных графов точно так же, как это делается посредством правил переписывания Хомского в случае порождающих грамматик для синтаксических структур естественных языков.
Правила построения
Сова предложил четыре правила построения для конструирования нового канонического графа g из имеющихся графов g1 и g2 (которые могут совпадать):
Правило конъюнкции: Если узел-концепт с1 в g1 идентичен узлу-концепту с2