%0 Journal Article
%T ECA policy conflict resolution by utilizing cardinality constraint rule programming<br>利用基数约束规则编程消解ECA策略冲突
%A LI Xin
%A LI Fan
%A LIU Qi-he
%A <br>李鑫
%A 李凡
%A 刘启和
%J 计算机应用研究
%D 2009
%I 
%X 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 preciseness, high automatization and definite hierarchy. More importantly, it expands the domain of resolved conflict.
%K 事件-条件-动作策略
%K 基数约束规则编程
%K 冲突消解
%K 行动约束
%K 稳态模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=3D4E63952AADF4F1650755E041A2A5FC&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=DF92D298D3FF1E6E&sid=A66A80FA38AC44AA&eid=EEA2EB09832F05D6&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=15