• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Computational Logic for Social Abilities in Multiagent Systems

Research Project

Project/Area Number 17500095
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionWakayama University

Principal Investigator

SAKAMA Chiaki  Wakayama University, Faculty of Systems Engineering, Professor (20273873)

Project Period (FY) 2005 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥3,600,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2006: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2005: ¥1,200,000 (Direct Cost: ¥1,200,000)
Keywordsmultiagent systems / answer set programming / coordination / consensus / negotiation / program transformation / マルチエージェントシステム / アブダクション / 条件緩和 / 信念の調整 / プログラム合成
Research Abstract

In this research, we study computational logic for multiagent systems. We focus on social abilities of agents such as coordination, coalition, consensus, and negotiation. We then formulate those abilities in terms of computational logic. To this end, we first consider an agent who has a knowledge base as a logic program with the answer set semantics. Answer sets represent belief sets which are built by a rational reasoner on the basis of a program. Different agents have different answer sets in general. To coordinate different belief sets of agents, we introduce program transformations which construct new programs having intermediate meanings between different agents. We also develop several program transformations: one realizes coalition by combining different answer sets, and another one realizes consensus by extracting common beliefs from different answer sets. Those program transformations produce serial knowledge bases which reflect results of coordination, coalition, and consensus in an agent community. Moreover, we provide methods for evaluating proposals and constructing new counterproposals in the process of negotiation. Tb build new proposals, we use abduction and induction in artificial intelligence, and relaxation techniques in cooperative query answering for databases. The proposed methods integrate commonsense reasoning and social reasoning of multiple agents in the context of logic programming, and are realized on top of the existing answer set solvers. The results of this study contribute to a step on understanding social behavior of multiple agents by means of computational logic, and also serve as an important application of artificial intelligence and logic programming.

Report

(4 results)
  • 2007 Annual Research Report   Final Research Report Summary
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • Research Products

    (19 results)

All 2008 2007 2006 2005

All Journal Article (11 results) (of which Peer Reviewed: 2 results) Presentation (5 results) Book (3 results)

  • [Journal Article] Coordination in Answer Set Programming2008

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      ACM Transactions on Computational Logic Vol.9(2)

      Pages: 1-30

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
    • Peer Reviewed
  • [Journal Article] Coordination in Answer Set Programming2008

    • Author(s)
      Chiaki, Sakama, Katsumi, Inoue
    • Journal Title

      ACM Transactions of Computational Logic Vol. 9, No. 2

      Pages: 1-30

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Coordination in Answer Set Programming2008

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      ACM Transactions of Computational Logic 9(2)

      Pages: 1-30

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constructing Consensus Logic Programs2007

    • Author(s)
      Chiaki, Sakama, Katsumi, Inoue
    • Journal Title

      Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformations Lecture Notes in Computer Science Vol. 4407

      Pages: 26-42

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Coordination in Answer Set Programming2007

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      ACM Transactions of Computational Logic (印刷中)

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Constructing Consensus Logic Programs2007

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Lecture Notes in Computer Science 4407

      Pages: 26-42

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Inoue Combining Answer Sets of Nonmonotonic Logic Programs2006

    • Author(s)
      Chiaki, Sakama, Katsumi, Inoue
    • Journal Title

      Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence Vol. 3900

      Pages: 320-339

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Generality Relations in Answer Set Programming2006

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Lecture Notes in Computer Science 4079

      Pages: 211-225

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Combining answer sets of nonmonotonic logic programs2006

    • Author(s)
      Chiaki Sakama
    • Journal Title

      Lecture Notes in Artificial Intelligence(Springer-Verlag) 3900

      Pages: 320-339

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Coordination between Logical Agents2005

    • Author(s)
      Chiaki, Sakama ,Katsumi, Inoue
    • Journal Title

      Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence Vol. 3487

      Pages: 161-177

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Journal Article] Coordination between logical agents2005

    • Author(s)
      Chiaki Sakama
    • Journal Title

      Lecture Notes in Artificial Intelligence(Springer-Verlag) 3487

      Pages: 161-177

    • Related Report
      2005 Annual Research Report
  • [Presentation] Negotiation by Induction2008

    • Author(s)
      Chiaki Sakama
    • Organizer
      7th International Joint Conference on Autonomous Agents and Multiagent Systems
    • Place of Presentation
      Estoril, Portugal
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Negotiation by Induction2008

    • Author(s)
      Chiaki, Sakama
    • Organizer
      Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, pages 1459-1462
    • Place of Presentation
      Estoril, Portugal
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Negotiation by Abduction and Relaxation2007

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Organizer
      6th International Joint Conference on Autonomous Agents and Multiagent Systems
    • Place of Presentation
      Hawaii, USA
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Negotiation by Abduction and Relaxation2007

    • Author(s)
      Chiaki, Sakama, Katsumi, Inoue
    • Organizer
      Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems1 pages 018-1025
    • Place of Presentation
      Hawaii, USA
    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Presentation] Negotiation by Abduction and Relaxation2007

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Organizer
      6th International Joint Conference on Autonomous Agents and Multiagent Systems
    • Place of Presentation
      米国、ハワイ
    • Related Report
      2007 Annual Research Report
  • [Book] Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformations2007

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Publisher
      Springer-Verlag
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Book] Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems2006

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Publisher
      Springer-Verlag
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary
  • [Book] Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems2005

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Publisher
      Springer-Verlag
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2007 Final Research Report Summary

URL: 

Published: 2005-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi