一种策略冲突的消解方法
李鑫
重庆理工大学会计学学院,重庆,400050
摘要：利用非单调逻辑编程技术，Chomicki等人提出了一种策略冲突消解方法。虽然该方法具有高效、可靠和良好的封装性等优点，但是它的应用域却受到限制。在Chomicki 方法的基础上，首先定义了组合冲突，它比一般策略冲突涵义更广。其次，为消解该类冲突引入了一个优化解—最大行动接受集，并给出与之互补的最小行动取消集的重要特性。最后，利用基于稳定模型语义的权约束规则编程技术，建立消解组合冲突的逻辑程序。由于该程序始终拥有稳定模型，所以总是能够根据它的模型获得优化解。
关键词：冲突权约束规则最大行动接受集最小行动取消集稳定模型
分类号：TP181(自动化基础理论)TP182(自动化基础理论)
资助基金：国家自然科学基金(61463014)
论文发表日期：2015-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：8( 186-192,229 )
英文信息