22、答案集编程中的归纳式谈判

答案集编程中的归纳式谈判

在自动化谈判领域，如何有效地构建和评估提案是一个关键问题。本文将介绍一种基于答案集编程（ASP）的归纳式谈判方法，探讨其原理、计算方法、复杂度以及与其他相关工作的区别。

1. 示例引入

先来看一个简单的程序示例：

tea ; coffee ←,
milk ← tea, not lemon,
lemon ← tea, not milk,
milk ← coffee,

这个程序有三个答案集： { tea, milk } 、 { tea, lemon } 和 { coffee, milk } ，它们代表了饮品的可能选择。

2. 提案计算

在ASP中，弱信念由超正常默认规则表示。在扩展析取程序（EDP）中，超正常默认规则 : L / L （其中 L 是文字）表示为规则 L ← not ¬ L 。EDP 可以通过带有否定即失败（NAF）的规则来表示其他形式的默认知识，而持久信念则由不带 NAF 的规则表示。这样，弱信念和强信念都能在 EDP 中统一表示。

接下来，我们假设知识库由 EDP 表示，提案是一个基文字。基于相关定理，我们在 ASP 中重新定义了让步条件接受的概念：
- 定义 ：设 P 是表示知识库的程序， G