Информатика


Законы логического вывода - часть 5


Этим свойством и этими зако­нами могут пользоваться не только люди - они применяются в си­стемах машинного интеллекта.

 

Закон вывода отрицаний - второй закон логического вывода:

А ® В, не В                          - Если из А следует В, но следствие В ложно,

       не А                                             то не выполняется посылка А.

 

Примеры логического вывода из отрицаний.

1. «Если идет дождь, то на улице мокро».

«На улице сухо».

Следовательно, «На улице не было дождя».

2. «Если кому-то весело, то он улыбается».

«Вова не улыбается».

Следовательно, «Вове не весело».

 

В предикатной форме закон вывода отрицаний превращается в конструктивную процедуру вывода отрицаний:

А(х) ® В(х), не В(с)

           

- Если из А(х) следует

В(х), но В не выполнено

не А(с)                        для х = с, то не выполняется и А(с).

 

Данная процедура из конкретного отрицания следствия не В(с) и общего правила А(х) ®

В(х) выводит конкретное отрицание не А(с)

предпосылки при х = с. Эта процедура используется в системе Пролог как основной механизм поиска ответов на сложные вопросы, в ко­торых участвуют определяемые предикаты.

В качестве иллюстраций дополним рассмотренную базу знаний о семье набором правил на языке Пролог, выражающих понятие «ро­дитель»:

 

родитель (х, у) ¬ мама (х, у);                   - Мама - родитель

родитель (х, у) ¬ папа (х, у);                    - Папа – родитель

 

После ввода этих правил в ЭВМ система Пролог на вопросы о родителях выдаст такие ответы при указанной выше базе данных:

 

? родитель (Надя, х)                        - Кому родитель Надя ?

х = Оля

х = Сережа

 

Вывод ответов на эти вопросы система Пролог проводит следу­ющим образом. Во-первых, вопрос ? родитель (Надя, х) будет заменен на отрицание не родитель (Надя,

х). Далее это отрицание будет сопо­ставлено с правилом вывода родитель (х, у) ¬ мама (х, у), а затем с правилом родитель (х, у) ¬ папа (х, у).




Начало  Назад  Вперед



Книжный магазин