利用基数约束规则编程消解ECA策略冲突

摘要：

为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法.基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质.先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立.该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域.

关键词：事件-条件-动作策略、基数约束规则编程、冲突消解、行动约束、稳态模型

所属期刊栏目：26

分类号：TP181;TP182(自动化基础理论)

资助基金：国家自然科学基金资助项目60702071

在线出版日期：2009-07-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2543-2546