谓词逻辑与归结原理2.pptVIP

人工智能基础 谓词逻辑与谓词逻辑的归结原理 谓词归结原理基础 一阶逻辑 基本概念 个体词：表示主语的词 谓词：刻画个体性质或个体之间关系的词 量词：表示数量的词 谓词归结原理基础 一阶逻辑 公式及其解释 个体常量：a,b,c 个体变量：x,y,z 谓词符号：P,Q,R 量词符号： ? ,? 谓词归结原理基础 量词否定等值式： ～(? x ） M（x） = （ ? y ） ～ M（y） ～(? x ） M（x） = （ ? y ） ～ M（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） ∨ Q (? x ）( P（x） Λ Q) = (? x ） P（x） Λ Q (? x ）( P（x） → Q) = (? x ） P（x） → Q (? x ）(Q → P（x）