逻辑表示及推理方法.pptVIP

***谓词逻辑知识表示的例子解：AT(robot,a)∧HOLDS(robot，books)∧CLEAR(a)CLEAR(b)∧TABLE(a)∧BOOKCASE(b)AT(robot,b)∧HOLDS(robot，books)∧CLEAR(a)CLEAR(b)∧TABLE(a)∧BOOKCASE(b)AT(robot,b)∧EMPTY(robot)∧ON(books,b)CLEAR(a)∧TABLE(a)∧BOOKCASE(b)AT(robot,alcove)∧EMPTY(robot)∧ON(books,b)CLEAR(a)∧TABLE(a)∧BOOKCASE(b)（解毕）GOTO（b,alcove）GOTO（a,b）SET-DOWN（b）***谓词逻辑知识表示的例子解：这样,得到目标为?AT(robot,alcove)∧EMPTY(robot)∧ON(books,b)CLEAR(a)∧TABLE(a)∧BOOKCASE(b)这里顺便指出，若机器人智商不高，这个任务过程会产生许多冗余。比如，机器人拿着书，找不到b处，无所适从而又扛回来了；或者……等。可见，实际的机器人智能控制要更加复杂得多，虽然有时也很有趣。**例将自然数公理符号化：A1：每一个数，有且仅有一个直接后继者；A2：没有一个数使0是直接后继者；A3：对任意异于0的数，有且仅有一个直接先行者。解：令f(x)表示x的直接后继者g(x)表示x的直接先行者E(x,y)表示x等于y谓词逻辑知识表示的例子**于是将上述三个公理符号化如下：A1：每一个数，有且仅有一个直接后继者?x?y(E(y,f(x))∧?z(E(z,f(x))→E(y,z)))A2：没有一个数使0是直接后继者～(?xE(0,f(x)))A3：对任意异于0的数，有且仅有一个直接先行者?x(～E(0,x)→?y(E(y,g(x))∧?z(E(z,g(x))→E(y,z))))**解：令P(x)表示x是病人D(x)表示x是医生Q(x)表示x是骗子L(x,y)表示x喜欢yA1=?x(P(x)∧?y(D(y)→L(x,y)))A2=～(?x?y(P(x)∧Q(y)∧L(x,y)))?x(P(x)??y(Q(y)?～L(x,y)))?x?y(P(x)∧Q(y)?～L(x,y))B=?x(D(x)→～Q(x))例已知某些病人喜欢所有的医生，没有一个病人喜欢任意一个骗子。证明任意一个医生都不是骗子。**剩下的任务就是调用某一过程证明A1∧A2→B是一阶逻辑中的恒真公式，即B是A1、A2的逻辑结果。我们把它留到下一章中讨论。***逻辑知识表示的主要特点是建立在某种形式逻辑的基础上，并利用了逻辑方法研究推理的规律，即条件与结论之间的蕴涵关系。逻辑表示法的主要优点如下：

（1）自然

一阶谓词逻辑是一种接近于自然语言的形式语言系统，谓词逻辑表示法接近于人们对问题的直观理解，易于被人们接受。

（2）明确

逻辑表示法对如何由简单陈述句构造复杂陈述句的方法有明确规定，如联结词、量词的用法与含义等。对于用逻辑表示法表示的知识，人们都可以按照一种标准的方法去解释它，因此用这种方法表示的知识明确、易于理解。谓词逻辑表示的特性***（3）精确

谓词逻辑是一种二值逻辑，其谓词公式的真值只有“真”与“假”，因此可用来表示精确知识，并可保证经演绎推理所得结论的精确性。（4）灵活

逻辑表示法把知识和处理知识的程序有效地分开。在使用这种方法表示知识时，无须考虑程序中处理知识的细节。（5）模块化

在逻辑表示法中，各条知识都是相对独立的，它们之间不直接发生联系。因此添加、删除、修改知识的工作比较容易进行。谓词逻辑表示的特性***逻辑表示法也存在一些不足，其主要缺点如下：

（1）知识表示能力差

逻辑表示法只能表示确定性知识，而不能表示非确定性知识，如不精确、模糊性知识。实际上，人类的大部分知识都不同程度地具有某种不确定性，这就使得它表示知识的范围和能力受到了一定的限制。另外，逻辑表示法还难以表示过程性知识和启发性知识。

（2）知识库管理困难

逻辑表示法缺乏知识的组织原则，利用这种表示法所形成的知识库管理比较困难。

（3）存在组合爆炸

由于逻辑表示法难以表示启发性知识，因此