Multi-agent belief and normative ability reasoning

被引：0

作者：

Ning, Zheng-Yuan ^{[1
]}

Lai, Xian-Wei ^{[1
]}

Hu, Shan-Li ^{[1
]}

Jian, Lin-Xiang ^{[1
]}

机构：

[1] Fujian Agr & Forestry Univ, Dept Comp Sci & Technol, Fuzhou 350002, Peoples R China

来源：

PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7 | 2008年

关键词：

normative ability; alternating-time temporal logic; multi-agent systems; belief; epistemic logic;

D O I：

10.1109/ICMLC.2008.4620542

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Multi-agent cooperation logic gained great research interest in multi-agent systems community in the last five years. In this paper, general concurrent game structures are developed based on extending concurrent game structures. By introducing three kinds of belief operators into ATL (Alternating-time Temporal Logic), a new multi-agent cooperation logic named ATBL (Alternating-time Temporal Belief Logic) is developed. And then normative ability is introduced into ATBL, and NATBL is developed. Further research is undertaken to model cooperative problem solving process based on these new logics.

引用

页码：953 / 956

页数：4

共 50 条

[11] Logical systems for reasoning about multi-agent belief, information acquisition and trust
Liau, CJ
ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 368 - 372
[12] An agent belief system for multi-agent systems
Wang, WJ
Shi, ZZ
Tian, QJ
Wang, T
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2065 - 2069
[13] A logic for normative multi-agent programs
Dastani, Mehdi
Meyer, John-Jules Ch.
Grossi, Davide
JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (02) : 335 - 354
[14] Interaction in Normative Multi-Agent Systems
Boella, Guido
Hulstijn, Joris
van der Torre, Leendert
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (05) : 135 - 162
[15] Normative positions in multi-agent systems
Hjelmblom, Magnus
WEB INTELLIGENCE, 2016, 14 (02) : 153 - 171
[16] Normative Multi-agent Programs and Their Logics
Dastani, Mehdi
Grossi, Davide
Meyer, John-Jules Ch.
Tinnemeier, Nick
KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS, 2009, 5605 : 16 - +
[17] Multi-Agent Belief Base Revision
Lorini, Emiliano
Schwarzentruber, Francois
PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 1959 - 1965
[18] A framework for multi-agent belief revision
Liu W.
Williams M.-A.
Studia Logica, 2001, 67 (2) : 291 - 312
[19] DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning
Hecham, Abdelraouf
Croitoru, Madalina
Bisquert, Pierre
THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 13612 - 13613
[20] Causal reasoning in multi-agent systems
Chaib-draa, B
MULTI-AGENT RATIONALITY, 1997, 1237 : 79 - 97

← 1 2 3 4 5 →