基于论辩的Agent非单调推理

现有的Agent信念修正、慎思、手段-目的推理等理论和方法大多基于经典一阶逻辑，对不完全的、不一致的知识，缺乏有效的处理机制。基于论辩的Agent非单调推理(包括认识推理和实践推理)理论和方法有望弥补这个不足。不过，作为一个新的研究方向，其基本概念、理论、方法及存在的关键性问题尚有待于澄清和梳理。文中首先介绍论辩的基本概念。在此基础上，分析基于论辩的Agent非单调推理的最新研究进展。最后，讨论存在的关键性问题并指出可能的研究方向。

Argumentation-Based Non-Monotonic Reasoning of Agents

Most of existing theories and methods for belief revision, deliberation, means-ends reasoning etc. are based on classical first order logic, and therefore effective mechanisms are absent in handling incomplete and inconsistent knowledge. Argumentation-based non-monotonic reasoning, including epistemic reasoning and practical reasoning, has become a promising theory to solve the above-mentioned problem. However, as an emerging research area, the basic notions, theories, methods, as well as the existing research problems, are still unclear. In this paper, after presenting the basic notions of argumentation, the recent development of argumentation-based non-monotonic reasoning of agents is analyzed. Finally, some challenging problems are discussed, and the possible future work is pointed out.