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 条

[21] Agent belief autonomy in open multi-agent systems
Barber, KS
Park, J
AGENTS AND COMPUTATIONAL AUTONOMY: POTENTIAL, RISKS, AND SOLUTIONS, 2004, 2969 : 7 - 16
[22] A Modeling Environment for Normative Multi-Agent Systems
Freire, Emmanuel S. S.
Rocha Junior, Robert M.
Cortes, Mariela I.
ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1, 2013, : 451 - 458
[23] Open issues for normative multi-agent systems
Criado, N.
Argente, E.
Botti, V.
AI COMMUNICATIONS, 2011, 24 (03) : 233 - 264
[24] An attacker model for normative multi-agent systems
Boella, Guido
van der Torre, Leendert
MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 42 - +
[25] A Verification Framework for Normative Multi-Agent Systems
Astefanoaei, Lacramioara
Dastani, Mehdi
Meyer, John-Jules
de Boer, Frank S.
INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 54 - +
[26] A normative programming language for multi-agent organisations
Jomi F. Hübner
Olivier Boissier
Rafael H. Bordini
Annals of Mathematics and Artificial Intelligence, 2011, 62 : 27 - 53
[27] Trusting Norms in Normative Multi-Agent Systems
Hamid, Nurzeatul Hamimah Abdul
Ahmad, Mohd Sharifuddin
Ahmad, Azhana
Mahmoud, Moamin A.
Yusoff, Mohd Zaliman Mohd
Mustapha, Aida
PROCEEDINGS OF THE 2014 6TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND MULTIMEDIA (ICIM), 2014, : 217 - 222
[28] On the Semantics and Verification of Normative Multi-Agent Systems
Astefanoaei, Lacramioara
Dastani, Mehdi
Meyer, John-Jules
de Boer, Frank S.
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (13) : 2629 - 2652
[29] A Normative Model for Holonic Multi-agent Systems
Missaoui, Ezzine
Mazigh, Belhassen
Bhiri, Sami
Hilaire, Vincent
2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), 2017, : 1251 - 1258
[30] Normative conflict resolution in multi-agent systems
Wamberto W. Vasconcelos
Martin J. Kollingbaum
Timothy J. Norman
Autonomous Agents and Multi-Agent Systems, 2009, 19 : 124 - 152

← 1 2 3 4 5 →