抄録
これ迄,マルチ議論エージェントシステムにおいて,各エージェントの知識ベースは,対象問題に関する言明文(ルール)で表現され、オントロジー知識は用いられていない.一般にWeb上の電子商取引等の問題では,売り手と買い手の売買に関するそれぞれの固有の戦略的知識以外にオントロジー知識を用いた推論が必要と考えられる.本研究では、各議論エージェントがセマンティックWeb上のOWL DL言語,または,記述論理SHOIN(D)で表現された共有知識としてのオントロジーと,EALP(或は,ELP)の論理プログラムで表現された各自のルールベースの知識の両者を議論・推論で扱えることを目的として,オントロジーに関する単調な記述論理推論系と対話的証明論に基づくマルチ議論エージェントの非単調な推論との統合推論方式の提案,及び,それに基づく議論エージェントシステムとセマンティックWeb推論系の統合推論システムの試作と評価を行なった.
So far many kinds of multi-agent systems based on argumentation have been proposed where each agent has a knowledge base written in a logic program, and interacts with one another to debate, negotiate or achieve a mutually acceptable agreement based on the rule-based knowledge base. However, in e-commerce, for example, it is required for a seller and a buyer agents to use ontologies about products along with strategic rules for buying and selling. As the recent progress of the Semantic Web technology, the W3C recommended the OWL Web Ontology Language. In this paper, we demonstrate an integrated system of the Semantic Web reasoning and argument-based reasoning. The system has been implemented such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values {f, t}) can be accessible to and from the Semantic Web reasoning given ontologies expressed by OWL DL on the Web or its notational variant the DL SHOIN(D). An interesting argumentation result w.r.t. the curriculum ontology is also shown using our system in this paper.
