最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
最后用谓词逻辑和产生式表示法相结合作为知识库中预警规则的描述方法。
At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.
这三种知识表示方法为：逻辑表示法、语义网络和产生式系统。
The three methods are: logic representation, semantic network, rule-based system.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
应用推荐