摘要
在面向对象的语言环境下 ,分析设计了一个以产生式为基础、将谓词逻辑与过程表达相结合的通用推理模型 (RBIM)。模型以面向对象的知识表示为基础 ,将命题对象、谓词对象和过程对象作为规则的基本组成元素 ,能提供良好的知识表示接口。
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.
出处
《南京工业大学学报(自然科学版)》
CAS
2002年第3期20-24,共5页
Journal of Nanjing Tech University(Natural Science Edition)
基金
国家‘九五’重点攻关项目
关键词
知识表示
产生式
推理模型
面向对象
专家系统
人工智能
knowledge representation
production system
inference model
object oriented
expert system