1、在分布式多 Agent系統(tǒng)中，合作問題求解常常會(huì)遇到消解沖突的問題。辯論理論為沖突消解提供了新的研究思路。在自動(dòng)辯論過程中，論據(jù)具有十分重要的作用。然而，分布式系統(tǒng)的異構(gòu)性使得系統(tǒng)中論據(jù)的結(jié)構(gòu)千差萬(wàn)別，成為 Agent之間共享論據(jù)信息和比較論據(jù)的主要障礙。多 Agent自動(dòng)辯論的高效實(shí)現(xiàn)，不僅需要 Agent交互論據(jù)時(shí)具有統(tǒng)一的論據(jù)形式，而且需要能夠基于論據(jù)本體共享論據(jù)構(gòu)建信息。論據(jù)本體能夠規(guī)范化論據(jù)的表示形式，通過語(yǔ)義Web標(biāo)記語(yǔ)言構(gòu)

2、建參與各方共享的論據(jù)本體，不僅有利于Agent實(shí)現(xiàn)基于論據(jù)結(jié)構(gòu)的自動(dòng)推理，提高論據(jù)間攻擊關(guān)系的發(fā)現(xiàn)效率，而且有助于論據(jù)知識(shí)共享和重用，提高論據(jù)構(gòu)建的效率。
　　本文首先研究了論據(jù)交換格式（AIF，Argument Interchange Format）及其實(shí)現(xiàn)，總結(jié)分析了AIF的應(yīng)用范圍和求解問題的能力。然后，研究了樹形結(jié)構(gòu)論據(jù)的表示。在此基礎(chǔ)上，提出了用于多Agent自動(dòng)辯論的論據(jù)本體 ArgArena，并使用pe lle t推

3、理機(jī)驗(yàn)證了所建立的論據(jù)本體中的公理體系具有一致性。同時(shí)，提出了基于論據(jù)本體的論據(jù)查詢構(gòu)建算法，使得Agent在辯論過程中能夠使用Prolog推理機(jī)和論據(jù)本體查詢構(gòu)建論據(jù)。針對(duì)Agent沖突消解問題，本文基于多Agent論據(jù)博弈模型Arena，設(shè)計(jì)了基于本體的多Agent辯論系統(tǒng)ArguingOntoArena。
　　最后，使用Java語(yǔ)言和Agent開發(fā)平臺(tái)Jade開發(fā)實(shí)現(xiàn)的ArguingOntoArena原型系統(tǒng)，能夠建模存在信