规则化描述方法中的规则化简方法

摘要：

给出了采用规则化描述方法设计的离散事件控制系统中，将规则转换为较为简单的规范化形式—Horn子句形式的方法，提出了将采用逻辑规则描述语言编写的规则组中的else语句转换为Horn子句形式的方法，使得规则的形式单一化、规范化，从而减少对规则进行处理的复杂性。

关键词： 规则化描述 规则化简 离散事件 语句转换

作者: 魏振春 汪国胜 毕翔 刘小平

作者单位: 合肥工业大学计算机与信息学院,合肥 230009 安全关键工业测控技术教育部工程研究中心,合肥 230009 合肥工业大学计算机与信息学院,合肥 230009

会议类型: 国内会议

会议名称: 全国第20届计算机技术与应用(CACIS)学术会议

会议地点: 南宁

会议语种:中文

页码: 438-441

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