At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.

最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。

youdao

At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.

最后用谓词逻辑和产生式表示法相结合作为知识库中预警规则的描述方法。

youdao

This paper mainly discusses the maintenance of knowledge base in expert system, especially when knowledge is represented as a set of ruks, how to find a rule which is wrong and modify it.

主要介绍用规则表示知识的知识库如何发现某条规则有错及如何修改的问题。 这是作者在研制专家系统中提出的“预备库”等新方法。

youdao