人工智能谓词逻辑43.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） ∨