Нужно ответить на вопросы

9.1. Докажите на основании главных логических принципов, что процедура конР кретизации с помощью квантора всеобщности является непротиворечивой и что процедура конкретизации с помощью квантора существования позволяет получить базу знаний, эквивалентную с точки зрения логического вывода.
9.2. Представляется вполне обоснованным утверждение, что из отдельного факта Likes(Jerry,IceCream) можно вывести высказывание ?x Likes (x,IceCream). Запишите общее правило логического вывода, правило
? введения квантора существования, позволяющее узаконить такой логичеР
ский вывод. Тщательно сформулируйте условия, которым должны удовлетвоР рять переменные и термы, участвующие в этом выводе.

9.3. Предположим, что база знаний содержит только одно высказывание,
?x AsHighAs(x,Everest). Какие из следующих фактов являются действиР тельными результатами применения правила конкретизации с помощью квантора существования?
а) AsHighAs(Everest,Everest).
б) AsHighAs(Kilimanjaro,Everest).
в) AsHighAs(Kilimanjaro,Everest) ? AsHighAs(BenNevis,Everest)
(после двух применений).
9.4. Для каждой приведенной ниже пары атомарных высказываний укажите наиболее общий унификатор, если он существует.
а) P(A,B,B), P(x,y,z).
б) Q(y,G(A,B)), Q(G(x,x),y).
в) Older(Father(y),y), Older(Father(x),John).
г) Knows(Father(y),y), Knows(x,x).