【作者】 魏振春； 汪国胜； 毕翔； 刘小平；

【Author】 Wei Zhen-chun1,2 Wang Guo-sheng1 Bi Xiang1,2 Liu Xiao-ping1 1 School of Computer & Information,HeFei University of Technology,Hefei,230009 2 Engineering Research Center of Safety Critical Industrial Measurement and Control Technology,Ministry of Education,Hefei,230009

【机构】 合肥工业大学计算机与信息学院； 安全关键工业测控技术教育部工程研究中心；

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

【Abstract】 An approach is proposed to convert rules into relatively simple and regular horn-clause form in discrete event control systems which are based on the rule description method.An approach of converting the else statement in rule group written by logic rule description language into horn clause form is put forward.The approach makes the form of rules single and standard,and reduces the complexity in dealing with rules.更多还原