DSS中模型的自动机表示方法

摘要：

自动机理论是作为离散自动装置和计算机理论模型建立的.通过研究,抽象定义: 模型是一个有限自动机.为了在计算机中实现模型的自动机表示,选用了PROLOG语言.一个模型用一个或多个谓词来描述,把它们存放在PROLOG系统的动态数据库中,然后用推理机进行求解.本方法的创新之处在于把自动机的合成与简化理论应用到模型表示中,把人工智能技术应用到模型管理中.

关键词：决策支持系统、模型库管理系统、模型表示、自动机、PROLOG

所属期刊栏目：17

分类号：TP23(自动化技术及设备)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：54-58