基于逻辑的知识表示
也叫“有定子句文法”。标准的知识表示方式之一。它使用谓词逻辑来控制一组规则子句的分析。每个规则子句的形式为：结论：前提1，前提2，……前提n。其中的“前提”，是一个能够测试真假值的谓词逻辑的原子。它可以是另一个规则子句的结论，也可以是一个预先存储在知识数据库中的简单的事实子句。“结论”也是一个谓词逻辑的原子。它只有在所有的前提均被证明为真时才为真。逻辑程序接受一个原子形式的目标，并把它与所存子句的结论比较。当发现一个匹配时，就试图通过把匹配的结论的前提作为子目标继续搜索，以证明目标。当所有的子目标均为真时，目标本身也就被证明了。假定知识数据库中存在著如下一组规则子句和事实子句：父子关系(X，A)：父亲(X，A)，男性(A)。父亲(老王，小王)。男性(小王)。运用上述控制程序，就能证明象“?－父子关系(老王，小王)”这样的目标。 |