нами могут пользоваться не только
Этим свойством и этими зако нами могут пользоваться не только люди - они применяются в системах машинного интеллекта.
Закон вывода отрицаний - второй закон логического вывода:
А ® В, не В - Если из А
следует В, но следствие В ложно,
не А то
не выполняется посылка А.
Примеры логического вывода из отрицаний.
1. «Если идет дождь, то на улице мокро».
«На улице сухо».
Следовательно, «На улице не было дождя».
2. «Если кому-то весело, то он улыбается».
«Вова не улыбается».
Следовательно, «Вове не весело».
В предикатной форме закон вывода отрицаний превращается в конструктивную процедуру вывода отрицаний:
А(х) ® В(х), не В(с)
- Если из А(х)
следует
В(х), но В
не выполнено
не А(с) для х = с,
то
не выполняется и А(с).
Данная процедура из конкретного отрицания следствия не
В(с) и общего правила
А(х) ®
В(х) выводит конкретное отрицание
не А(с)
предпосылки при
х = с. Эта процедура используется в системе Пролог как основной механизм поиска ответов на сложные вопросы, в которых участвуют определяемые предикаты.
В качестве иллюстраций дополним рассмотренную базу знаний о семье набором правил на языке Пролог, выражающих понятие «родитель»:
родитель (х, у) ¬ мама (х, у); - Мама - родитель
родитель (х, у) ¬ папа (х, у); - Папа – родитель
После ввода этих правил в ЭВМ система Пролог на вопросы о родителях выдаст такие ответы при указанной выше базе данных:
? родитель (Надя, х) - Кому родитель Надя ?
х =
Оля
х = Сережа
Вывод ответов на эти вопросы система Пролог проводит следующим образом. Во-первых, вопрос
? родитель (Надя, х) будет заменен на отрицание
не родитель (Надя,
х). Далее это отрицание будет сопоставлено с правилом вывода
родитель (х, у) ¬ мама (х, у), а затем с правилом родитель
(х, у) ¬ папа (х, у).
Содержание Назад Вперед