マルチエージェントシステムにおける社会知能の推論メカニズムに関する研究

2011 年度 研究成果報告書

• 研究課題/領域番号: 20500134
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 和歌山大学
• 研究代表者: 坂間 千秋 和歌山大学, システム工学部, 教授 (20273873)
• 連携研究者: 井上 克己 国立情報学研究所, 教授 (10252321)
• 研究期間 (年度): 2008 – 2011
• キーワード: 論理 / 推論 / マルチエージェントシステム

研究概要

本研究では人間社会を模擬したマルチエージェントシステムにおいて、個々のエージェントが相互作用を通じて自律的にふるまうための社会知能の基礎理論を人工知能の手法を使って構築した。具体的には、さまざまな社会的場面におけるエージェントの行動原理をモデル化し、それぞれの局面で個々のエージェントが行なう推論のプロセスを計算論理を使って形式化した。

研究成果

• [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming (2011)
  • 著者名/発表者名: Chiaki Sakama and Katsumi Inoue
  • 雑誌名: Machine Learning 巻: 83 ページ: 1-29
  • DOI: DOI:10.1007/s10994-010-5189-4
  • 査読あり
• [雑誌論文] Brave Induction : a logical framework for learning from incomplete information (2009)
  • 著者名/発表者名: Chiaki Sakama and Katsumi Inoue
  • 雑誌名: Machine Learning 巻: 76 ページ: 3-35
  • DOI: DOI:10.1007/s10994-009-5113-y
  • 査読あり
• [雑誌論文] Equivalence Issues in Abduction and Induction (2009)
  • 著者名/発表者名: Chiaki Sakama and Katsumi Inoue
  • 雑誌名: Journal of Applied Logic 巻: 7(3) ページ: 318-328
  • DOI: DOI:10.1016/j.jal.2008.10.006
  • 査読あり
• [雑誌論文] Coordination in Answer Set Programming ACM (2008)
  • 著者名/発表者名: Chiaki Sakama and Katsumi Inoue
  • 雑誌名: Transactions on Computational Logic 巻: 9(2)
  • DOI: DOI:10.1145/1342991.1342993
• [学会発表] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction (2011)
  • 著者名/発表者名: Lena Wiese, Katsumi Inoue, and Chiaki Sakama
  • 学会等名: Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2011)
  • 発表場所: Vienna, Austria
  • 年月日: 2011-09-29
• [学会発表] A Logical Formulation for Negotiation Among Dishonest Agents (2011)
  • 著者名/発表者名: Chiaki Sakama, Tran Cao Son, and Enrico Pontelli
  • 学会等名: Proceedings of the 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
  • 発表場所: Barcelona, Spain
  • 年月日: 2011-07-22
• [学会発表] Dishonest Reasoning by Abduction (2011)
  • 著者名/発表者名: Chiaki Sakama
  • 学会等名: Proceedings of the 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
  • 発表場所: Barcelona, Spain
  • 年月日: 2011-07-21
• [学会発表] ASP-Prolog for Negotiation among Dishonest Agents (2011)
  • 著者名/発表者名: Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli and Chiaki Sakama
  • 学会等名: Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR-11)
  • 発表場所: Vancouver, Canada
  • 年月日: 2011-05-18
• [学会発表] Formalizing Commitments Using Action Languages (2011)
  • 著者名/発表者名: Tran Cao Son, Enrico Pontelli and Chiaki Sakama
  • 学会等名: Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies(DALT 2011)
  • 発表場所: Taipei, Taiwan
  • 年月日: 2011-05-03
• [学会発表] Logical Definitions of Lying (2011)
  • 著者名/発表者名: Chiaki Sakama
  • 学会等名: Proceedings of the 14th International Workshop on Trust in Agent Societies(TRUST11)
  • 発表場所: Taipei, Taiwan
  • 年月日: 2011-05-02
• [学会発表] Katsumi Inoue and Chiaki Sakama (2010)
  • 著者名/発表者名: Katsumi Inoue and Chiaki Sakama
  • 学会等名: Proceedings of the Symposium on Constructive Mathematics in Computer Science
  • 発表場所: Lexington, KY, USA
  • 年月日: 2010-10-24
• [学会発表] The Many Faces of Deception (2010)
  • 著者名/発表者名: Chiaki Sakama and Martin Caminada
  • 学会等名: Proceedings of the Thirty Years of Nonmonotonic Reasoning(NonMon@ 30)
  • 発表場所: Lexington, KY, USA
  • 年月日: 2010-10-23
• [学会発表] A Logical Account of Lying (2010)
  • 著者名/発表者名: Chiaki Sakama, Martin Caminada and Andreas Herzig
  • 学会等名: Proceedings of the 12th European Conference on Logics in Artificial Intelligence(JELIA 2010)
  • 発表場所: Helsinki, Finland
  • 年月日: 2010-09-14
• [学会発表] Social Default Theories (2009)
  • 著者名/発表者名: Chiaki Sakama
  • 学会等名: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR' 09)
  • 発表場所: Potsdam, Germany
  • 年月日: 2009-09-15
• [学会発表] Interacting Answer Sets (2009)
  • 著者名/発表者名: Chiaki Sakama and Tran Cao Son
  • 学会等名: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-X)
  • 発表場所: Hamburg, Germany
  • 年月日: 2009-09-10
• [学会発表] Negotiation Using Logic Programming with Consistency Restoring Rules (2009)
  • 著者名/発表者名: Tran Cao Son and Chiaki Sakama
  • 学会等名: Proceedings of the 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
  • 発表場所: Pasadena, CA, USA
  • 年月日: 2009-07-17
• [学会発表] Logic Programming for Multiagent Planning with Negotiation (2009)
  • 著者名/発表者名: Tran Cao Son, Enrico Pontelli, and Chiaki Sakama
  • 学会等名: Proceedings of the 25th International Conference on Logic Programming(ICLP' 09)
  • 発表場所: Pasadena, CA, USA
  • 年月日: 2009-07-14
• [学会発表] Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming (2009)
  • 著者名/発表者名: Tran Cao Son and Chiaki Sakama
  • 学会等名: Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies(DALT' 09)
  • 発表場所: Budapest, Hungary
  • 年月日: 2009-05-11
• [学会発表] Brave Induction (2008)
  • 著者名/発表者名: Chiaki Sakama and Katsumi Inoue
  • 学会等名: Proceedings of the 18th International Conference on Inductive Logic Programming(ILP' 08)
  • 発表場所: Czech Republic
  • 年月日: 2008-09-11
• [学会発表] Comparing Abductive Theories (2008)
  • 著者名/発表者名: Katsumi Inoue and Chiaki Sakama
  • 学会等名: Proceedings of the 18th European Conference on Artificial Intelligence(ECAI' 08)
  • 発表場所: Patras, Greece
  • 年月日: 2008-07-21
• [学会発表] Inductive Negotiation in Answer Set Programming (2008)
  • 著者名/発表者名: Chiaki Sakama
  • 学会等名: Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies(DALT' 08)
  • 発表場所: Estoril, Portugal
  • 年月日: 2008-05-12
• [図書] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning (2011)
  • 著者名/発表者名: Katsumi Inoue and Chiaki Sakama
  • 総ページ数: 91-110
  • 出版者: Springer
• [備考] 研究成果は以下のホームページで公開中。
  • URL: http://www.wakayama-u.ac.jp/~sakama