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

摘要

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