【摘要】 在面向对象的语言环境下 ,分析设计了一个以产生式为基础、将谓词逻辑与过程表达相结合的通用推理模型 (RBIM)。模型以面向对象的知识表示为基础 ,将命题对象、谓词对象和过程对象作为规则的基本组成元素 ,能提供良好的知识表示接口。更多还原

【Abstract】 Knowledge representation is one of the kernel problems in research of expert system. Production rule and procedure knowledge play an important role in the development of expert system. This paper analyzed and designed an inference model (RBIM) based on production system in object oriented programming language, which can combine representation of predication and procedure. On the basis of object oriented knowledge representation, the model supports proposition object, predication object and procedure object as basic element of production rule. RBIM provides a good interface on knowledge representation.更多还原