議論の論理と議論するエージェントシステムの構築

2001 年度 実績報告書

• 研究課題/領域番号: 13680437
• 研究機関: 新潟大学
• 研究代表者: 澤村 一 新潟大学, 工学部, 助教授 (40282991)
• キーワード: 議論 / 弁証法 / エージェント / 否定の否定の法則 / 止揚 / 準無矛盾論理 / 適切論理

研究概要

議論するエージェントシステムの構築にとって重要な基礎的課題の研究(以下の(1)と(2))と理論検証のための試作(以下の(3))を行なった.そしてその成果の論文発表を国内外において行った.
(1)準無矛盾論理を基礎とした知識表現と議論の構成法
古典論理の意味で矛盾する命題が含まれているような知識ベースであっても、そこから根拠付きの主張を生成したり,議論に参加しているエージェントの知識を合成することを可能としなければならないので、準無矛盾論理を基礎とした知識表現と議論の構成法を与えた.またこの論理を用いることで,「両是」,「両否」といった東洋的認識観を知識として表すことが可能であることを明らかにした.
(2)計算弁証法
適切論理に基づく弁証法的論理をもとに,2種類の弁法的止揚の定義(Aufhewbe, Weaker Aufheben)を与え,それを議論過程の中で実現する方法を与えた.これらはHegelによる定立と反定立からの総合プロセスを計算論的に表現したものとなっている,また弁証法のもう一つの重要な側面である弁証去的発展を計算機上に実現するために,Engelsの否定の否定の法則に注目し,これを議論の中で捉える方法を与えた.これらの有効性を具体的に実証するために,電子商取引とソフトウェア工学の問題に適用した.
(3)議論するエージェントシステムの試作
知識ベースからの議論、反論の作成はPROLOGで実現し、議論のやり取りの制御、すなわち、議論プロトコルの部分はJAVAで実装した.試作システムは,国際会議のデモセッションでも公開された.
以上の成果のうち,(2)と(3)に関して,次ページの6編の論文として発表した.

研究成果

• [文献書誌] H.Sawamura et al.: "Dialectically Arguing Agents"The Second Asia-Pacific Conference on Intelligent Agent Technology(IAT-2001). (2001)
• [文献書誌] Sawamura, H.: "Computational Realization of Dialectics by Argumentation"Working Notes of the IJCAI2001 Workshop on "Inconsistency in Data and KnowLedge. 50-59 (2001)
• [文献書誌] 沢村 一: "議論の論理と議論するマルチエージェント-論理から議論へ-"人工知能学会誌. Vol.16, No.4. 60-65 (2001)
• [文献書誌] Yamashita, M., Sawamura, H.: "Reaching an Undrestanding through Dialectical Argumentation"Proc. of the 2001 International Conference on Artificial Intelligence(AI-2001), CSREA Press. 1164-1170 (2001)
• [文献書誌] Toda, Y., Yamashita, M., Sawamura, H.: "An Argument-based Agent System with KQML as an Agent Communication Language"Fouth Pacific International Workshop on Multi-agents (PRIMA2001), Lecture Notes in Artificial Intelligence. Vol.2132. 48-62 (2001)
• [文献書誌] Sawamura, H., Maeda, S.: "An Argumentation-Based Model of Multi-Agent Systems"Kangassalo, H., Jaakkola, H., Kawaguchi, E. (editors): Information Modelling and Knowledge Based XII, IOS Press. 137-150 (2001)