智能逻辑推理与AI应用解析.pptxVIP

谓词逻辑基础; 小王是个工程师。

8是个自然数。

我去买花。

小丽和小华是朋友。

其中，“小王”、“工程师”、“我”、“花”、“8”、“小丽”、“小华”都是个体词，而“是个工程师”、“是个自然数”、“去买”、“是朋友”都是谓词。显然前两个谓词表示的是事物的性质，第三个谓词“去买”表示的一种动作也表示了主、宾两个个体词的关系，最后一种谓词“是朋友”表示两个个体词之间的关系。;谓词逻辑基础;一阶逻辑

公式及其解释

个体常量：a,b,c

个体变量：x,y,z

谓词符号：P,Q,R

量词符号：?,?;量词否定等值式：

～(?x）P（x）=（?y）～P（y）

～(?x）P（x）=（?y）～P（y）

量词分配等值式：

(?x）(P（x）∧Q（x）)=(?x）P（x）∧(?x）Q（x）

(?x）(P（x）∨Q（x）)=(?x）P（x）∨(?x）Q（x）

消去量词等值式：设个体域为有穷集合（a1,a2,…an）

(?x）P（x）=P（a1）∧P（a2）∧…∧P（an）

(?x）P（x）=P（a1）∨P（a2）∨…∨P（an）;量词辖域收缩与扩张等值式：

(?x）(P（x）∨Q)=(?x）P（x）∨