第三章2消解原.pptVIP

3.4 消 解 原 理 内容提要 置换、合一 子句集的求取 9个步骤 消解推理规则 含有变量的消解式 消解反演求解 谓词逻辑法（predicate logic） 谓词演算 1.语法与语义 2.连词和量词 谓词公式 1.定义 2.合适公式的性质 置换与合一 1.置换 2.合一算法 命题 def :具有真假意义的语句 命题的真值 命题逻辑有较大的局限性 无法描述客观事物的结构和逻辑特征 不能把不同事物间的共同特征表述出来 谓词 STUDENT ( tom ) GREATER( 5,3 ) 谓词公式的定义 原子谓词公式：用P(x1,x2,…,xn)表示一个n元谓词公式其中P为n元谓词，x1,x2,…xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式，或原子谓词公式。 分子谓词公式：可以用连词把原子谓词公式组成复合谓词公式，并把它叫做分子谓词公式。 连词和量词 原子公式由若干谓词和个体组成,是谓词演算的基本块,用连词和量词将多个原子公式组合在一起,来表示复杂的含义. 用连词来连接若干个谓词组成一个谓词公式,用量词来刻划谓词和个体的关系 合取（conjunction）就是用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。 蕴涵　 ? 表示如果-那