摘要
为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。
For realizing to automatically and flexibly resolve ECA policy conflict, this paper proposed a novel method which utilized cardinality constraint programming. The cardinality constraint programming was a kind of nonmonotonic logic programming technology with the stable model semantics, and it had the merits of solving combinational and combinational optimization problems. This paper successively accomplished the logic programming representation for ECA policy, the definition of action constraint which was used to detect and prevent conflict, the analysis for the conflict with the combinational character, the creation of cardinality constraint rule program which was used to resolve conflict. This method has the merits of logical precise- ness, high automatization and definite hierarchy. More importantly, it expands the domain of resolved conflict
出处
《计算机应用研究》
CSCD
北大核心
2009年第7期2543-2546,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(60702071)
关键词
事件-条件-动作策略
基数约束规则编程
冲突消解
行动约束
稳态模型
ECA (event-condition-action) policy
cardinality constraint rule (CCR) programming
conflict resolution
action constraint
stable model