为了使SoftMan系统具有灵活的实时自适应能力，一种扩展的ECA规则模型即提出了RSECAP。 在该规则模型中，引入了新的概念资源主体和SoftMan对象，分别描述了规则的触发对象和有效对象，并引入了后置条件来表达规则动作执行后的状态约束。 基于RSECAP模型，建立了基于规则的SoftMan正向推理机制，并讨论了规则冲突问题。 分别从动作约束和后置条件约束两个角度定义了规则冲突问题的形式化描述，并证明了这两种描述方式之间的内在逻辑关系。 在此关联理论的基础上，提出了将静态规则与动态规则相结合