基于Horn子句集的Pr/T网可达树的方案求解

摘要：

问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明。

关键词： horn子句集 谓词 变迁网 可达树 方案求解 网系统模型

作者: 方欢 吴哲辉 崔焕庆

作者单位: 山东科技大学,信息科学与工程学院,山东,青岛,266510;安徽理工大学数理系,安徽,淮南,232001 山东科技大学,信息科学与工程学院,山东,青岛,266510

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 163-165

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