摘要
自动机理论是作为离散自动装置和计算机理论模型建立的 .通过研究 ,抽象定义 :模型是一个有限自动机 .为了在计算机中实现模型的自动机表示 ,选用了PROLOG语言 .一个模型用一个或多个谓词来描述 ,把它们存放在PROLOG系统的动态数据库中 ,然后用推理机进行求解 .本方法的创新之处在于把自动机的合成与简化理论应用到模型表示中 ,把人工智能技术应用到模型管理中 .
The automaton theory is established as theoretical model of discrete automatic device and computer. We define abstractly that the model is a finite automaton. PROLOG language is selected in order to realize the automaton representation of model in computer. A model can be described by one or more predicates, which can be stored in dynamic database of PROLOG system. An inference is used to evaluate the model. The creativity of this method is that we apply the compound and simplified theory of automaton to model representation and AI technology to model management.
出处
《吉林化工学院学报》
CAS
2000年第4期54-58,共5页
Journal of Jilin Institute of Chemical Technology
关键词
DSS
决策支持系统
模型库管理系统
模型
自动机
decision support system
!model base management system
!model representation
!automaton
PROLOG|