权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Computational Logic for Social Abilities in Multiagent Systems

多智能体系统中社交能力的计算逻辑

基本信息

批准号：
17500095
负责人：
SAKAMA Chiaki
金额：
$ 2.3万
依托单位：
Wakayama University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2007
项目状态：
已结题

项目摘要

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.

在这项研究中，我们研究多智能体系统的计算逻辑。我们专注于代理的社会能力，如协调，联盟，共识和谈判。然后，我们用计算逻辑来表达这些能力。为此，我们首先考虑一个代理谁拥有一个知识库作为一个逻辑程序的答案集语义。答案集表示由理性推理机在程序的基础上建立的信念集。一般来说，不同的代理具有不同的答案集。为了协调不同的信念集的代理，我们引入程序转换，构建新的程序之间的不同代理的中间意义。我们还开发了几种程序转换：一种是通过组合不同的答案集来实现联盟，另一种是通过从不同的答案集中提取共同的信念来实现共识。这些程序转换产生一系列知识库，反映了代理社区中协调、联盟和共识的结果。此外，我们还提供了在谈判过程中评估建议和构建新的反建议的方法。为了提出新的解决方案，我们将人工智能中的溯因推理和归纳以及松弛技术应用于数据库的协同查询应答。所提出的方法集成了常识推理和社会推理的逻辑编程的背景下，多个代理，并实现了现有的答案集求解器。本研究的结果有助于通过计算逻辑理解多个智能体的社会行为，也是人工智能和逻辑编程的一个重要应用。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Combining Answer Sets of Nonmonotonic Logic Programs

组合非单调逻辑程序的答案集

DOI：
发表时间：
2006
期刊：
Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3900
影响因子：
0
作者：
才野慶二郎;全柄河;南角吉彦;李晃伸;徳田恵一;Chiaki Sakama
通讯作者：
Chiaki Sakama

Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformations

第16届基于逻辑的程序综合与转换国际研讨会论文集