在分布式多Agent系统中,合作问题求解常常会遇到消解冲突的问题。辩论理论为冲突消解提供了新的研究思路。在自动辩论过程中,论据具有十分重要的作用。然而,分布式系统的异构性使得系统中论据的结构千差万别,成为Agent之间共享论据信息和比较论据的主要障碍。多Agent自动辩论的高效实现,不仅需要Agent交互论据时具有统一的论据形式,而且需要能够基于论据本体共享论据构建信息。论据本体能够规范化论据的表示形式,通过语义Web标记语言构建参与各方共享的论据本体,不仅有利于Agent实现基于论据结构的自动推理,提高论据间攻击关系的发现效率,而且有助于论据知识共享和重用,提高论据构建的效率。本文首先研究了论据交换格式(AIF,Argument Interchange Format)及其实现,总结分析了AIF的应用范围和求解问题的能力。然后,研究了树形结构论据的表示。在此基础上,提出了用于多Agent自动辩论的论据本体Arg Arena,并使用pellet推理机验证了所建立的论据本体中的公理体系具有一致性。同时,提出了基于论据本体的论据查询构建算法,使得Agent在辩论过程中能够使用Prolog推理机和论据本体查询构建论据。针对Agent冲突消解问题,本文基于多Agent论据博弈模型Arena,设计了基于本体的多Agent辩论系统Arguing Onto Arena。最后,使用Java语言和Agent开发平台Jade开发实现的Arguing Onto Arena原型系统,能够建模存在信念冲突多Agent的辩论过程。实验结果表明,Arguing O nto Arena系统中的Agent能够在辩论过程中基于论据本体查找和构建论据,复用已构建的论据,有效提高自动辩论的计算效率;Arguing Onto Arena系统中的Agent通过辩论,最终找到信念冲突的根源所在,达到了消解冲突的效果。