基于规则的SoftMan系统推理机制研究

为了使SoftMan系统具有灵活的实时自适应能力,一种扩展的ECA规则模型即提出了RSECAP。 在该规则模型中,引入了新的概念资源主体和SoftMan对象,分别描述了规则的触发对象和有效对象,并引入了后置条件来表达规则动作执行后的状态约束。 基于RSECAP模型,建立了基于规则的SoftMan正向推理机制,并讨论了规则冲突问题。 分别从动作约束和后置条件约束两个角度定义了规则冲突问题的形式化描述,并证明了这两种描述方式之间的内在逻辑关系。 在此关联理论的基础上,提出了将静态规则与动态规则相结合的规则冲突检测方法,并通过动态构建规则冲突解决方案集并计算后置条件约束偏好值来实现冲突解决。 与其他典型方法的比较评估表明,基于后置条件约束偏好的规则冲突检测和解决方法具有较高的成功率和准确性,并且具有稳定可靠的特征。