内容简介 · · · · · ·

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