Inference Mechanism of Social Intelligence in Multiagent Systems

• 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
• Project Status: Completed (Fiscal Year 2011)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
• 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, Katsumi Inoue
  • Journal Title: Machine Learning Volume: 83(1) Issue: 1 Pages: 1-29
  • DOI: 10.1007/s10994-010-5189-4
  • Peer Reviewed
• [Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming (2011)
  • Author(s): Chiaki Sakama, Katsumi Inoue.
  • Journal Title: Machine Learning(Springer) 83 Pages: 1-29
  • Peer Reviewed
• [Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information (2009)
  • Author(s): Chiaki Sakama, Katsumi Inoue
  • Journal Title: Machine Learning Volume: 76(1) Issue: 1 Pages: 3-35
  • DOI: 10.1007/s10994-009-5113-y
  • Peer Reviewed
• [Journal Article] Equivalence Issues in Abduction and Induction (2009)
  • Author(s): Chiaki Sakama, Katsumi Inoue
  • Journal Title: Journal of Applied Logic Volume: 7(3) Issue: 3 Pages: 318-328
  • DOI: 10.1016/j.jal.2008.10.006
  • Peer Reviewed
• [Journal Article] Brave Induction : a logical framework for learning from incomplete information (2009)
  • Author(s): Chiaki Sakama, Katsumi Inoue.
  • Journal Title: Machine Learning(Springer) 76 Pages: 3-35
  • Peer Reviewed
• [Journal Article] Equivalence Issues in Abduction and Induction (2009)
  • Author(s): Chiaki Sakama, Katsumi Inoue.
  • Journal Title: Journal of Applied Logic(Elsevier) 7(3) Pages: 318-328
  • Peer Reviewed
• [Journal Article] Equivalence Issues in Abduction and Induction (2009)
  • Author(s): Chiaki Sakama, Katsumi Inoue
  • Journal Title: Journal of Applied Logic 7 Pages: 318-328
  • Peer Reviewed
• [Journal Article] Brave Induction : a logical framework for learning from incomplete infor mation (2009)
  • Author(s): Chiaki Sakama, Katsumi Inoue
  • Journal Title: Machine Learning 76 Pages: 3-35
  • 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) Issue: 2 Pages: 1-30
  • DOI: 10.1145/1342991.1342993
• [Journal Article] Coordination in Answer Set Programming (2008)
  • Author(s): Chiaki Sakama, Katsumi Inoue.
  • Journal Title: ACM Transactions on Computational Logic 9(2)
  • Peer Reviewed
• [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] Confidentiality-preserving data publishing for credulous users by extended abduction (2011)
  • Author(s): L.Wiese, K.Inoue, C.Sakama
  • Organizer: 19th International Conference on Applications of Declarative Programming and Knowledge Management
  • 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] A logical formulation for negotiation among dishonest agents (2011)
  • Author(s): C.Sakama, T.C.Son, E.Pontelli
  • Organizer: 22^<nd> International Joint Conference on Artificial Intelligence
  • 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] Dishonest reasoning by abduction (2011)
  • Author(s): Chiaki Sakama
  • Organizer: 22^<nd> International Joint Conference on Artificial Intelligence
  • 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] ASP-Prolog for negotiation among dishonest agents (2011)
  • Author(s): N-H.Nguyen, T.C.Son, E.Pontelli, C.Sakama
  • Organizer: 11th International Conference on Logic Programming and Nonmonotonic Reasoning
  • 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] Formalizing commitments using action languages (2011)
  • Author(s): T.C.Son, E.Pontellim C.Sakama
  • Organizer: 9th International Workshop on Declarative Agent Languages and Technologies
  • Place of Presentation: 台湾(中国)
  • 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] Logical definitions of lying (2011)
  • Author(s): Chiaki Sakama
  • Organizer: 14th International Workshop on Trust in Agent Societies
  • Place of Presentation: 台湾(中国)
  • 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] The Many Faces of Deception (2010)
  • Author(s): Chiaki Sakama, 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] The many faces of deception (2010)
  • Author(s): Chiaki Sakama, Martin Caminada
  • Organizer: 30 years of nonmonotonic reasoning
  • Place of Presentation: レキシントン(USA)
  • Year and Date: 2010-10-22
• [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] Martin Caminada and Andreas Herzig. A Logical Account of Lying (2010)
  • Author(s): Chiaki Sakama
  • 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] A logical account of lying (2010)
  • Author(s): Chiaki Sakama, Martin Caminada, Andreas Herzig
  • Organizer: 12^<th> European Conference on Logics in Artificial Intelligence
  • Place of Presentation: ヘルシンキ(フィンランド)
  • 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] 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] Social Default Theories (2009)
  • Author(s): Chiaki Sakama
  • Organizer: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)
  • Place of Presentation: ドイツポツタム
  • 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] Interacting Answer Sets (2009)
  • Author(s): Chiaki Sakama, Tran Cao Son
  • Organizer: 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X)
  • Place of Presentation: ドイツハンブルグ
  • 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] Negotiation Using Logic Programming with Consistency Restoring Rules (2009)
  • Author(s): Tran Cao Son, Chiaki Sakama
  • Organizer: 21st International Joint Conference on Artificial Intelligence (IJCAI-09)
  • Place of Presentation: アメリカ合衆国パサデナ
  • 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] Logic Programming for Multiagent Planning with Negotiation (2009)
  • Author(s): Tran Cao Son, Enrico Pontelli, Chiaki Sakama
  • Organizer: 25th International Conference on Logic Programming (ICLP'09)
  • Place of Presentation: アメリカ合衆国パサデナ
  • 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] Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming (2009)
  • Author(s): Iran Cao Son, Chiaki Sakama
  • Organizer: 6th International Workshop on Declarative Agent Languages and Technologies (DALT'09)
  • Place of Presentation: ハンガリーブワペスト
  • 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
• [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
• [Presentation] Negotiation by Induction (2008)
  • Author(s): Chiaki Sakama
  • Organizer: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems
  • Place of Presentation: Portugal
• [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
  • Place of Presentation: Portugal
• [Presentation] Brave Induction (2008)
  • Author(s): Chiaki Sakama Katsumi Inoue
  • Organizer: Proceedings of the 18th International Conference on Inductive Logic Programming
  • Place of Presentation: Czech Republic
• [Book] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning (2011)
  • Author(s): Katsumi Inoue and Chiaki Sakama
  • Publisher: Springer
• [Book] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning (2011)
  • Author(s): Katsumi Inoue, Chiaki Sakama
  • Publisher: Springer
• [Remarks] 研究成果は以下のホームページで公開中。
  • URL: http://www.wakayama-u.ac.jp/~sakama
• [Remarks]
  • URL: http://www.wakayama-u.ac.jp/~sakama
• [Remarks] ホームページ
  • URL: http://www.wakayama-u.ac.jp/~sakama
• [Remarks]
  • URL: http://www.wakayama-u.ac.jp/~sakama
• [Remarks]
  • URL: http://www.wakayama-u.ac,jp/~sakama
• [Remarks]
  • URL: http://www.wakayama-u.ac.jp/~sakama