Пример построения базы знаний
Постановка задачи:
•Закон гласит, что продажа оружия недружелюбным странам, осуществляемая любым американским гражданином, является преступлением. Ракета является оружием. Если какая-либо страна является врагом Америки, то эта страна является недружелюбной. Полковник West является американским гражданином. Полковник West продал государству Nono, являющемуся врагом Америки, все ракеты.
•Является ли полковник West преступником?
Представление задачи с помощью хорновских дизъюнктов (БЗ)
... Для американца преступлением является продажа оружия недружелюбным странам:
American(x) Weapon(y) Sells(x,y,z) Hostile(z) Criminal(x)
Страна Nono …имеет ракеты, т.e., x Owns(Nono,x) Missile(x):
Owns(Nono,M1) and Missile(M1)
…все ракеты проданы стране Nono полковником по имени West
Missile(x) Owns(Nono,x) Sells(West,x,Nono)
Ракеты являются оружием:
Missile(x) Weapon(x)
Враг Америки считается «недружелюбным»:
Enemy(x,America) Hostile(x)
Полковник West является американцем …
American(West)
Страна Nono, враг Америки…
Enemy(Nono,America)
–
Алгоритм прямого вывода
1)Прямой вывод начинается с известных фактов, содержащихся в базе знаний БЗ.
2)Активизируются правила, антецеденты которых могут быть унифицированы (с подстановкой ) с имеющимися фактами,
3)В соответствии с обобщенным правилом Modus Ponens к известным фактам добавляются заключения этих правил после применения к ним подстановки .
Процесс продолжается до тех пор, пока не будет получен ответ на запрос, или пока алгоритм не
достигнет фиксированной точки.
Алгоритм прямого вывода
Алгоритм прямого вывода
Алгоритм прямого вывода
Алгоритм обратного вывода
1)Действует в обратном направлении, от цели q к известным фактам.
2)Цель q‘ унифицируется с заголовками правил, имеющихся в БЗ:
p1 p2 … pn q |
где |
Unify(q, q‘ )= . |
3)Subst( , p1 p2 … pn ) Subst( ,q).
4)В случае успешной унификации генерируется конъюнкция подцелей Subst( ,p1) Subst( ,p2) … Subst( ,pn), каждая из которых доказывается самостоятельно.
5)Процесс продолжается до полного подтверждения всех сгенерированных в процессе доказательства подцелей фактами, имеющимися в БЗ. В процессе доказательства производится композиция всех получаемых подстановок, что приводит к получению итоговой подстановки, являющейся решением задачи.
Алгоритм обратного вывода
Алгоритм обратного вывода
