Inference Mechanism of Social Intelligence in Multiagent Systems

2011 Fiscal Year Final Research Report

• Project/Area Number: 20500134
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Intelligent informatics
• Research Institution: Wakayama University
• Principal Investigator: SAKAMA Chiaki 和歌山大学, システム工学部, 教授 (20273873)
• Co-Investigator(Renkei-kenkyūsha): INOUE Katsumi 国立情報学研究所, 教授 (10252321)
• Project Period (FY): 2008 – 2011
• Keywords: 論理 / 推論 / マルチエージェントシステム

Research Abstract

In this research, we consider multiagent systems that simulate human society. We build a theory of social intelligence for autonomous agents using artificial intelligence techniques. Then we model behaviors of agents in various social situations and formulate reasoning of agents in computational logic.

Research Products

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