- 著者
- 栗原 秀輔 瀬野 瑛 澤村 一
- 出版者
- 一般社団法人日本ソフトウェア科学会
- 雑誌
- コンピュータソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.25, no.4, pp.52-59, 2008-10-28
- 被引用文献数
- 2
多値議論の論理は不確実な知識を基に不確実な問題に対して議論を可能とする.本論文では,LMAのソーシャルウェブ:SNS,Wikipediaへの応用を述べる.これらは,現在および未来の情報社会に最も影響を与えるであろうソーシャルウェブアプリケーションだと言われている.SNSについては,mixiのマイミクシィへの登録承認をLMAをもとに判断するエージェントを提案する.Wikipediaについては,Wikipediaの削除問題に着目し,LMAをもとにその問題の原因となった記事を削除するべきか否かという問題について議論し,削除依頼による議論の分析を行うエージェントを提案する.
本研究の成果を主要なものに限って以下のようにまとめる.1.東洋の合理思想・論理を反映した議論の論理の研究4値テトラレンマに基づく議論の論理の対話的証明論と意味論を形式化した.それを用いた東洋的議論例を示し,この議論の論理の有効性を実証した.さらにJainaの7値論理やアラビア論理についても調べ,多文化間で合意可能な議論方式を与えた.これは多元的議論の方法論として意義ある結果である.2.対話の論理の形式化:議論から対話へ議論の論理の形式化をもとに,これを多値の対話モデルへと展開し,対話の証明論とその不動点意味論を与え,対話モデルも数学的意味論を持つことができることを示した.さらに,記号議論の弱点をニューラルネットによって補う研究を進め,記号議論とニューラルネット議論のハイブリッド方式による議論の方法を与えた.この結果は予想外の結果として,国際会議で高く評価された.3.議論するエージェントシステムの試作議論するエージェントシステムの利用をサポートするために,より豊かな統合議論環境(IAE)を構築し,かなり複雑な議論にも対応可能なことを確認した.さらに,議論結果から議論・対話シナリオを作成し,それを動画表示する方法も与えた.この他に議論で必要とされる知識ベースの準備を容易にするために,自然言語議論を我々の多値議論モデルの形式的議論へ変換する方法と,さらにその逆変換を行う研究を行ない,双方向変換の重要な部分が自動化できることを示した.
- 著者
- 太田 翔護 澤村 一
- 出版者
- 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 (ISSN:13479881)
- 巻号頁・発行日
- vol.26, pp.1-4, 2012
1 0 0 0 OA ハイダーの均衡理論に基づく議論の理論とそれに基づく議論するエージェントの構築
議論は知的エージェントに必要な推論機構と通信機構が初めから内在している計算機構であり,社会的知能を計算機上に実現するための有力なメカニズムとなっている.これまでこれを支える理論として Dung による抽象議論フレームワークとその意味論が最も有力視されてきた.しかしながらこ れをハイダーによる社会科学の視点および知見から再考すると,一つの側面からしか議論の正当性,受理可能性を捉えていないことがわかる.本研究では,ハイダーの均衡理論を十分に反映した,新しい議論の受理可能性の概念を探求し,それに基づいて,より精度の高い議論の理論を構築した.さらに,その実装も行なった.
1 0 0 0 OA 議題を正当化するための論証の検索と表示
- 著者
- 兼子 貴丸 澤村 一
- 出版者
- 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 (ISSN:13479881)
- 巻号頁・発行日
- vol.26, 2012
議論をコンピュータに行わせる研究として統合議論環境IAEが開発されている. 情報通信技術の発達が著しい近年, ネットワーク上に分散する莫大な情報を元に人間に有用な知識を形成する手法として議論が注目されているが, 本研究ではネットワーク上の情報の有効利用として議題を正当化するための論証の検索と表示を行う機能をIAEに実装した. これにより, 議題の正当化に有用な新たな知識の発見が可能となる.