Представление и обработка знаний

65 Сформулируем задачу логического вывода. Пусть заданы правила Хорна: P 1 : B 11 & B 12 & … & B 1 m 1  A 1 P 2 : B 21 & B 22 & … & B 2 m 2  A 2 ……………………………….. P r :B r 1 & B r 2 & … & B rmr  A r , т.е. дана модель: M= P 1 & P 2 &…& P r . Выражение M принимает значение истина в заданной интер- претации. Доказать утверждение: P . Для этого необходимо дока- зать существование противоречия в заданной интерпретации, т.е., что M &  P – ложно . Рассмотрим пример постановки задачи логического вывода. Пусть заданы правила Хорна: P 1: A 2 & A 4  A 7 P 2: A 2 & A 4 & A 7  A 1 P 3: A 1 & A 2  A 3 P 4: A 3 & A 4  A 5 P 5: A 4 & A 5& A 7  A 6 P 6: A 1 & A 5 & A 6  A 8 M = P 1 & P 2 & P 3 & P 4 & P 5 & P 6. Необходимо доказать, что A 8 принимает истинное значение, если A 2 и A 4 истинные высказывания, т.е. необходимо показать, что M &  A 8 является противоречием. Систему правил наглядно представим в форме семантической сети (рис. 3.1). A 2 A 4 A 8 A 1 A 7 A 3 A 5 A 6 Рис. 3.1. Пример семантической сети с правилами Хорна