论文部分内容阅读
利用非单调逻辑编程技术,Chomicki等人提出了一种策略冲突消解方法。虽然该方法具有高效、可靠和良好的封装性等优点,但是它的应用域却受到限制。在Chomicki 方法的基础上,首先定义了组合冲突,它比一般策略冲突涵义更广。其次,为消解该类冲突引入了一个优化解—最大行动接受集,并给出与之互补的最小行动取消集的重要特性。最后,利用基于稳定模型语义的权约束规则编程技术,建立消解组合冲突的逻辑程序。由于该程序始终拥有稳定模型,所以总是能够根据它的模型获得优化解。