互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

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


□ 李 鑫 李 凡 刘启和

  摘要:为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。
  关键词:事件-条件-动作策略;基数约束规则编程;冲突消解;行动约束;稳态模型
  中图分类号:TP181;TP182 文献标志码:A 文章编号:1001-3695(2009)07-2543-04


  注:请下载安装 Acrobat Reader 软件后点击下面的链接阅读。

阅读PDF原文: 1 2 3 4 




......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017