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