《论辩系统--不一致情境中的推理》编著者廖备水。本书首先分析在不同应用背景下，agent在进行各种推理时所面临的共同问题，并在此基础上引入论辩系统的基本概念(第1章)。接着，系统阐述论辩系统"静态方面”的形式理论，包括论辩系统的表示(第2章)、论辩系统的语义描述(第3章)和论辩系统的语义求解(第4章)。随后，简要介绍论辩系统“动态方面”的相关理论和方法(第5章)。此外，由于论辩系统的语义求解属于np问题，如何高效计算论辩系统的语义是目前所面临的核心问题之一。本书第6章着重讨论论辩系统语义求解(包括静态方面和动态方面)的高效性问题，并给出一种高效求解论辩语义的基础理论：论辩语义的局部性与可组合性。本书的第7章则介绍论辩系统形式体系在agent非单调推理中的应用情况。zui后，本书的第8章给出了总结性阐述。
|
