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