知识库系统培训资料.ppt

2.项 ●个体常量是项 ●个体变量是项 ●设f是n元函数符号，t1，t2，……，tn是项，则f（t1，t2，……，tn）是项 ●项由且仅由有限次使用上述步骤生成 2.原子公式 P是n元谓词，t1，t2，……，tn是项，则P（t1，t2，……，tn）是原子公式，原子公式也称为原子。 3.一阶谓词逻辑公式（公式） ● 原子公式是公式 ● 如A，B是公式，则?A，A ∧B，A ∨B，A→B，A ?B是公式 ● 如A是公式，x为个体变量，则?x∈A和?x∈A是公式。 ● 公式由且仅由有限次经过上述步骤生成。 9.4.2子句 阶谓词逻辑公式的表示方法具有表达能力丰富和表示方法简洁的优势，但其表示不够规范，不太适合计算机中使用和处理，需要做必要的改造，使其具有一定的规形式，这就是子句形式和Horn子句形式，简称为子句和Horn子句。 1.子句 （1）子句 具有下述形式的公式称为子句 A1∧A2∧…∧Ak →Ak+1∨Ak+2 ∨…∨An 其中Ai为原子公式 （2）公式化为子句集合 ① 将公式转换为一阶谓词逻辑中的Skolem范式，Skolem范式是一种标准范式，具有下述形式： ?y1?y2…?ym?x1?x2…?xn（A11∨A12∨…∨A1k1）∧(A21∨A22∨…∨A2k2) ∧……∧（Ar1∨Ar2∨…∨Arkr） 其中Aij为原子公式或原子公式的否定。 ② 将