第三章 基于谓词逻辑机器推理.ppt

第三章 基于谓词逻辑的机器推理;第一节 一阶谓词逻辑; 谓词、函数、量词; 谓词、函数、量词; 谓词、函数、量词; 谓词、函数、量词; 谓词公式;　　 谓词公式是谓词演算的基本单元，也称为原子公式。通过引入连词和量词，可以把原子公式组合为复合谓词公式。 1） 连词谓词演算中使用的连词主要有:?（非）、∧（与）、∨（或）、=（蕴涵，也表示为 -）和?（等价，也表示为 ?）。 看几个例子：?Inroom(Robot,R2) Isa(Liming, Student)∧Lives(Liming,House-1)∧Color(House-1, White)Isa(Wang, Teacher)∨Isa(Wang, Officer)At(Liming,School)=At(Wang, School) At(Liming,School)?At(Wang, School) ;一阶谓词　　若限定不允许对谓词、连词、量词和函数名进行量化处理，且参数项不能是谓词公式，则这样的谓词演算是一阶的。例如: （? P）P(A)、 （? P） （? x）P(x) 、 Married(y(L1), Mary，y)（y是变量）都不是一阶谓词公式。 本书中所用到的谓词演算均是一阶的。;谓词公式的永真性和可满足性　　1） 谓词公式的永真性 　　若某谓词公式P对于某论域D上的所有可