计算机辅助设计的技术基础7.ppt

计算机辅助设计技术基础 31/60 2018/10/16 原子公式的的定义： ? 用 P(x 1 ， x 2 ， … ， x n ) 表示一个 n 元谓词公式，其中 P 为 n 元谓词， x 1 ,x 2 ,… ， x n 为客体变量或变元。通常 把 P(x 1 ,x 2 ,…,x n ) 叫做谓词演算的原子公式，或原子 谓词公式。 – 分子谓词公式 ? 可以用连词把原子谓词公式组成复合谓词公式，并 把它叫做分子谓词公式。 ? 合适公式 （ WFF ， well-formed formulas ） – 合适公式的递归定义 – 合适公式的性质 ? 合适公式的真值 ? 等价（ Equivalence) 谓词公式 计算机辅助设计技术基础 32/60 2018/10/16 置换与合一 ? 置换 – 概念 ? 假元推理 ? 全称化推理 ? 综合推理 – 定义 ? 就是在该表达式中用置换项置换变量 – 性质 ? 可结合的 ? 不可交换的 ? 合一（ Unification) 合一：寻找项对变量的置换，以使两表达式一致。 可合一：如果一个置换 s 作用于表达式集 {Ei} 的每个元素，则可以 用 {Ei} s 来表示置换例的集。我们称表达式集 {Ei} 是可合一的。 计算机辅助设计技术基础