基于本體的多Agent辯論系統(tǒng)研究.pdf

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

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

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