规则化描述方法中的规则化简方法研究.pdfVIP

规则化描述方法中的规则化简方法 魏振春1，2 汪国胜1毕翔1，2刘小平1 l合肥工业大学计算机与信息学院，合肥230009 2安全关键工业测控技术教育部工程研究中心，合肥230009 摘要：给出了采用规则化描述方法设计的离散事件控制系统中，将规则转换为较为简单的规范化 形式—-Hom子句形式的方法，提出了将采用逻辑规则描述语言编写的规则组中的else语句转换为Hom 子句形式的方法，使得规则的形式单一化、规范化，从而减少对规则进行处理的复杂性。 关键词：规则化描述方法规则化简Hom子句基于规则的系统 l引 言 采用规则化描述方法【1l建模和设计的离散事件控制系统是基于规则的系统。在基于规则的系统中，规 则可以有多种不同的表现形式。规则表现形式的多样性使得对规则的处理复杂化，为了减少这种复杂性， 采用形式化的方法对规则进行处理，需要把规则转换为较为简单的规范化形式——_Hom子句形式。 2Hom子句 Hom子句首先是由逻辑学家Alhd Hom研究的，它在人工智能等计算机科学领域有着重要应用【2训。 Hom子句是一种后件至多只含有一个原子公式的子句。有三种类型的Hom子句： (1)一B：一个单一原子，常被称为一个“事实”。 (2)Al八…八A。-÷：一个由原子公式的合取组成的前件和一个空后件的蕴含形式。这类子句常称为一 个“目标”或“查询”。 (3)Al八…八Ap_B：一个蕴含，常被称为一条“规则”。它的前件由一个原子公式的合取组成，而它 的后件由一个原子公式组成。 3规则化简 在基于规则的系统中，任何一条规则都可以表示为下面的一种形式或其组合： V V…V Al八A2八…八Aj．÷BlB2 Bk (1) V V…V V V…V Al A2 B2 Bk Ai-÷Bl (2) Al八A2八…八Aj_Bl八B2八…八Bk (3) V Al A2V…V Aj-÷Bl八B2八…八Bk (4) 采用逻辑规则描述语言【‘J编写的确定条件规则的一般形式，下面证明它们都可以等价地转换为规范化的 H0m子旬形式。 (3)式可以等价地转换为如下所示的k条规则： Al／＼A2八．．．八Ai_Bi(i=l，2，．．．k) (5) 证明： Al八A2八…八Ai_Bl八B2八…八Bk §1(Al八A2八…八Ai)V(Bl八B2八…八Bk) A A…A B A2 T}A{1(Al／＼A2／＼…AB2 §{1(AI Aj)V Aj)V 八…八{1(Al八A2八…八Aj)VBk) 营{(Al八A2八…八Aj)_B1)八{(Al八A2八…八Aj)一B2} 八…八{(Al八A2八…八Ai)_÷Bk} (4)式可以等价地转换为如下所示的k条规则： V V．．．V Al A2 Ai叶Bi(i=1，2，．．．k) (6) 也可以等价地转换为如下所示的j条规则： Ai_