At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
The algorithm adopts a hierarchical structure in knowledge rule while the breadth and depth, first search is integrated in reasoning strategy.
该算法应用的知识规则采用分层结构，在推理策略上综合应用深度和广度优先搜索。
It first introduces its architecture, knowledge representation model and reasoning schema, and then the concept of Rule model Graph (RMG) and an algorithm for reasoning using RMG.
首先介绍系统总体结构，给出知识表示模型和推理机制，并且引入RMG的概念，进一步提出运用RMG完成推理过程的算法。
应用推荐