演繹的・発想的・ハイブリッドな議論を行うマルチエージェントシステムに関する研究

2010 年度 研究成果報告書

• 研究課題/領域番号: 20500141
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 芝浦工業大学
• 研究代表者: 若木 利子 芝浦工業大学, システム理工学部, 教授 (50317369)
• 研究分担者: 澤村 一 新潟大学, 自然科学系, 准教授 (40282991) ; 新田 克己 東京工業大学, 大学院・総合理工学研究科, 教授 (60293073)
• 研究期間 (年度): 2008 – 2010
• キーワード: 議論意味論 / 演繹的議論 / 発想的議論 / ハイブリッド議論 / 議論フレームワーク / マルチエージェント / 交渉 / 譲歩と妥協 / プリファレンス / 一貫性制約

研究概要

本研究ではCaminadaのラべリング手法と解集合プログラミングに基づきDungの議論意味論を効率的に計算する方法の提案,及び,その演繹的議論計算エンジンを実装した。次に事実的知識以外に真偽が未知の仮説を扱う発想的議論フレームワーク(AAF)を提案して所望のゴール論証をAAFにおいて正当化する説明(仮説集合)を発見する方法を提案し,アブダクションと解集合プログラミングに基づき全ての説明を計算する発想的議論計算エンジンを開発した。更にこれらの応用として,AAFに基づく「譲歩と妥協」の新たな交渉の形式化を提案した。最後にプリファレンスや一貫性制約の知識を交渉や議論で扱うことを可能にするPAF(Preference-based Argumentation Framework)の意味論を提案し,これらの提案手法に基づいて電子商取引を行うマルチエージェントの交渉システムを構築した。

研究成果

• [雑誌論文] Preference-based Argumentation Capturing Prioritized Logic Programming : Argumentation in Multi-Agent Systems (2011)
  • 著者名/発表者名: Toshiko Wakaki
  • 雑誌名: Lecture Notes in Artificial Intelligence(Springer) 6614 ページ: 306-325
  • 査読あり
• [雑誌論文] Towards Argument Mining (2011)
  • 著者名/発表者名: Yuichi Seino, Takeshi Hagiwara, Hajime Sawamura
  • 雑誌名: International Conference on Data Engineering and Internet Technology (DEIT2011), IEEE ページ: 27-34
  • 査読あり
• [雑誌論文] Formalizing Dialectical Reasoning forCompromise-Based Justification (2011)
  • 著者名/発表者名: Hiroyuki Kido, Masahito Kurihara, Daisuke Katagami, Katsumi Nitta
  • 雑誌名: Proc.of 3rd International Conference on Agents and Artificial Intelli gence (ICAART2011) ページ: 355-363
  • 査読あり
• [雑誌論文] Practical Argumentation Semantics for Socially Efficient Defeasible Consequence (2011)
  • 著者名/発表者名: H.Kido, K.Nitta
  • 雑誌名: Proc.of 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2011)
  • 査読あり
• [雑誌論文] Computing Abductive Argumentation in Answer Set Programming, Argumentation in Multi-Agent Systems (2010)
  • 著者名/発表者名: Toshiko Wakaki, Katsumi Nitta, Hajime Sawamura
  • 雑誌名: Lecture Notes in Artificial Intelligence(Springer) 6057 ページ: 195-215
  • 査読あり
• [雑誌論文] Argument Mining from RADB and Its Usage in Arguing Agents and Intelligent Tutoring System, Innovations in Multi-Agent Systems and Applications (2010)
  • 著者名/発表者名: Safia Abbas, Hajime Sawamura
  • 雑誌名: Studies in Computational Intelligence(Springer) 310 ページ: 113147
  • 査読あり
• [雑誌論文] 数理議論学の発展-動向と今後の展望- (2010)
  • 著者名/発表者名: 沢村一
  • 雑誌名: 人工知能学会誌 25(3) ページ: 408-418
  • 査読あり
• [雑誌論文] 計算論的議論の応用 (2010)
  • 著者名/発表者名: 沢村一
  • 雑誌名: 日本知能情報ファジイ学会誌「知能と情報」 22(3) ページ: 303-312
  • 査読あり
• [雑誌論文] Preference-based Argumentation Capturing Prioritized Logic Programming (2010)
  • 著者名/発表者名: Toshiko Wakaki
  • 雑誌名: Proc.of Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS2010) ページ: 211-228
  • 査読あり
• [雑誌論文] Syncretic Argumentation for Multi-Agents by Lattice Homomorphism and Fusion (Extended Abstract) (2010)
  • 著者名/発表者名: Taichi Hasegawa, Hajime Sawamura
  • 雑誌名: Proc.of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010) ページ: 1595-1596
  • 査読あり
• [雑誌論文] Adv isory Function of an Argumentation Educati on SupportSystem (2010)
  • 著者名/発表者名: Y.Ogata, D.Katagami, K.Nitta
  • 雑誌名: Proceedings of Juris In formatics 2010, (JURISIN 2010)
  • 査読あり
• [雑誌論文] Computing Argumentation Semantics in Answer Set programming, New Frontiers in Artificial Intelligence (2009)
  • 著者名/発表者名: Toshiko Wakaki, Katsumi Nitta
  • 雑誌名: Lecture Notes in Artificial Intelligence(Springer) 5447 ページ: 254-269
  • 査読あり
• [雑誌論文] Syncretic Argumentation by Means of Lattice Homomorphism (2009)
  • 著者名/発表者名: Taichi Hasegawa, Safia Abbas, Hajime Sawamura
  • 雑誌名: Proc.of 12th International Conference (PRIMA 2009), Lecture Notes in Computer Science(Springer) 5925 ページ: 159-174
  • 査読あり
• [雑誌論文] Computing Abductive Argumentation in Answer Set Programming (2009)
  • 著者名/発表者名: Toshiko Wakaki, Katsumi Nitta, Hajime Sawamura
  • 雑誌名: Proc.of Sixth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2009) ページ: 189-206
  • 査読あり
• [雑誌論文] Syncretic Argumentation by means of Lattice Fusion (2009)
  • 著者名/発表者名: Taichi Hasegawa, Hajime Sawamura
  • 雑誌名: Proc.3rd Int.Workshop on Juris-Informatics (JURISIN2009) ページ: 49-60
  • 査読あり
• [雑誌論文] Applying the Logic of Multiple-Valued Argumentation to Social Web : SNS and Wikipedia (2008)
  • 著者名/発表者名: Shusuke Kuribara, Safia Abbas, Hajime Sawamura
  • 雑誌名: Proc.of 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Lecture Notes in Artificial Intelligence 5357 ページ: 251258
  • 査読あり
• [雑誌論文] Computing Argumentation Semantics in Answer Set Programming (2008)
  • 著者名/発表者名: Toshiko Wakaki, Kstaumi Nitta
  • 雑誌名: Proc.2nd International Workshop on Juris-Informatics (JURISIN 2008) ページ: 32-41
  • 査読あり
• [学会発表] プリファレンス付き議論フレームワークPAFのASPによる議論意味論計算 (2011)
  • 著者名/発表者名: 永吉信雄,若木利子
  • 学会等名: 情報処理学会第73回全国大会(1R-9 2-243-2-244)
  • 発表場所: 東京工業大学
  • 年月日: 20110300
• [学会発表] 議論フレームワークにおけるstage意味論の解集合プログラミングによる計算 (2011)
  • 著者名/発表者名: 龍沢昌宏,若木利子
  • 学会等名: 情報処理学会第73回全国大会(1R-8 2-241-2-242)
  • 発表場所: 東京工業大学
  • 年月日: 20110300
• [学会発表] 日本語対応議論分析ツールJAraucariaとEALP上の議論計算エンジンの統合 (2011)
  • 著者名/発表者名: 礒本浩希,白土和弘,若木利子
  • 学会等名: 平成22年度電子情報通信学会東京支部学生会研究発表会(D-8-2 pages 63)
  • 発表場所: 東京都市大学
  • 年月日: 20110300
• [学会発表] 価値に基づく議論フレームワークの新意味論の提案 (2010)
  • 著者名/発表者名: 龍沢昌宏,若木利子
  • 学会等名: 合同エージェントワークショップ&シンポジウム2010(JAWS2010)(7ページ)
  • 発表場所: 北海道
  • 年月日: 20101000
• [学会発表] 正当化されたパレート最適性の議論意味論と対話的証明論に向けて (2010)
  • 著者名/発表者名: 木藤浩之,新田克己
  • 学会等名: 合同エージェントワークショップ&シンポジウム2010 (JAWS 2010)(7ページ)
  • 発表場所: 北海道
  • 年月日: 20101000
• [学会発表] 発想的議論を用いた譲歩と妥協の形式化に基づくエージェント間交渉 (2010)
  • 著者名/発表者名: 関口知之,若木利子
  • 学会等名: 情報処理学会第72回全国大会(2V-5 2-337-2-338)
  • 発表場所: 東京大学
  • 年月日: 20100300
• [学会発表] 解集合プログラミングによるアブダクションを用いた発想的議論の計算 (2010)
  • 著者名/発表者名: 淡嶋綾子,若木利子
  • 学会等名: 情報処理学会第72回全国大会(2Z-3 2-761-2-762)
  • 発表場所: 東京大学
  • 年月日: 20100300
• [学会発表] 多値論理EALPの知識表現による一貫性制約を用いた議論の意味論の計算 (2010)
  • 著者名/発表者名: 深山竜太,龍沢昌宏,若木利子
  • 学会等名: 情報処理学会第72回全国大会(2Z-1 2-757-2-758)
  • 発表場所: 東京大学
  • 年月日: 20100300
• [学会発表] 論証ダイアグラムの分析と議論計算を統合したJAraucariaツールの開発 (2010)
  • 著者名/発表者名: 宮嶋徹,若木利子
  • 学会等名: 情報処理学会第72回全国大会発表(1W-8 2-433-2-434)
  • 発表場所: 東京大学
  • 年月日: 20100300
• [学会発表] 価値に基づく議論の解集合プログラミングによる計算 (2010)
  • 著者名/発表者名: 龍沢昌宏,若木利子
  • 学会等名: 情報処理学会第72回全国大会(2Z-2 2-759-2-760)
  • 発表場所: 東京大学
  • 年月日: 20100300
• [学会発表] 議論に基づく交渉-譲歩と妥協の形式化- (2010)
  • 著者名/発表者名: 白土和弘,若木利子
  • 学会等名: 平成21年度電子情報通信学会東京支部学生会研究発表会(D-8 pages 174)
  • 発表場所: 東京電機大学
  • 年月日: 20100300
• [学会発表] 議論に基づく交渉システムの実装 (2009)
  • 著者名/発表者名: 関口知之,大久保崇行,若木利子
  • 学会等名: 情報処理学会第71回全国大会(2R-6 2-191-2-192)
  • 発表場所: 立命館大学
  • 年月日: 20090300
• [学会発表] 動的セマンティックWeb推論呼び出しを行う議論エージェントシステム (2009)
  • 著者名/発表者名: 納田憲一,若木利子
  • 学会等名: 情報処理学会第71回全国大会(1R-4 2-169-2-170)
  • 発表場所: 立命館大学
  • 年月日: 20090300
• [学会発表] 日本語版Araucariaの開発～自然言語議論の分析と議論計算機能の実現～ (2009)
  • 著者名/発表者名: 吉田康二,浅野裕子,若木利子
  • 学会等名: 平成20年度電子情報通信学会東京支部学生会研究発表会第14回講演論文集(D-8 161)
  • 発表場所: 東京電機大学
  • 年月日: 20090300
• [学会発表] 動的プリファレンスを扱う議論エージェントシステムの構築 (2008)
  • 著者名/発表者名: 関口知之,若木利子
  • 学会等名: 電子情報通信学会研究報告(信学技法)(AI2008-3 15-20)
  • 発表場所: 関西学院大学
  • 年月日: 20080600
• [備考] ホームページ等
  • URL: http://www.ailab.se.shibaura-it.ac.jp/compARG.html
• [備考]
  • URL: http://www.ailab.se.shibaura-it.ac.jp/compPAF_J.html