]}
y））∧（yQ（
（x，），x）（y）P（xy）→（y）（xP）（（4 y）
（x）∧Q））∨）∧）（5）（x{P（x[Q（AQ（B]}→ ] x）[P（x）（
的逻辑推）P（（、以归结反演法证明公式（7x）Px）是[PA）∨（A]（）（）的形即（）并非（PA） 21]（）∨A[PAPSkolemxPx论，然而，
21 的逻辑推论，请加以证明。
、给定下述语句：8John likes all kinds of food. Apples are food.
Anything anyone eats and isn't killed by is food. Bill eats peanuts and is still alive. Sue eats everything Bill eats.
（1）用归结法证明John likes peanuts。
（2）用归结法提取回答What food does Sue eat?
9、已知事实公式为 （（x）（y）（z）（Gt（x，y）∧Gt（y，z）→Gt（x，z））
）→Gt（u，vvSuccu（）（v）（（u，）
（（x，）） x~Gt（x）
）25Gt求证（， 试判断下面的归结过程是否正确？若有错误应如何改进：
、设公理集为10．
（u）LAST（cons（u，NIL），u）（cons是表构造函数）
），yx，）→LAST（cons（，（x）（y）（z）（LAST（yz
y是表x的最末元素），z））（LAST（xy）代表，1cons（（）用归结反演法证明如下定理：（v）LAST（cons2，（1）， 。，（2）用回答提取过程求表（21）的最末元素v ）简要描述如 v）NIL）
何使用这个方法求长表的最末元素。（3
、对一个基于规则的几何定理证明系统，把下列语句表示成产生式规11 则： 1（）两个全等的三角形的对应角相等。 （2）两个全等的三角形的对应边相等。 （3）如果两个三角形对应边是相等的，则这两个三角形全等。 （4）一个等腰三角形的底角是相等的。
俱乐部，Alpine和John属于12、我们来考虑下列一段知识：Tony、Mike俱乐部的每个成员不是滑雪运动员就是一个登山运动员，登山运动Alpine所喜欢TonyMike讨厌员不喜欢雨而且任一不喜欢雪的人不是滑雪运动员，喜欢雨和雪。以谓词演所讨厌的一切东西，Tony的一切东西，而喜欢Tony算语句的集合表示这段知识，这些语句适合一个逆向的基于规则的演绎系俱乐部的一个成Alpine统。试说明这样一个系统怎样才能回答问题有没有 员，他是一个登山运动员但不是一个滑雪运动员呢？
、一个积木世界的状态由下列公式集描述：13 ）CLEAR（E ONTABLE （A） （）ONTABLE（C CLEARD） ）D（HEAVY ）C，D（ON ON（B，A） WOODEN（B） HEAVY（B） ON（E，B） 绘出这些公式所描述的状态的草图。
下列语句提供了有关这个积木世界的一般知识： 每个大的蓝色积木块是在一个绿色积木块上。 每个重的木制积木块是大的。
所有顶上没有东西的积木块都是蓝色的。 所有木制积木块是蓝色的。
以具有单文字后项的蕴涵式的集合表示这些语句。绘出能求解哪个积木块是在绿积木块上这个问题的一致解图（用B规则）。
相关推荐：
loading