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 条

[1] Reasoning with Agent Preferences in Normative Multi-agent Systems
Jiang, Jie
Thangarajah, John
Aldewereld, Huib
Dignum, Virginia
[J]. AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1373 - 1374
[2] Multi-agent Belief,Goal and Exceptions Reasoning
赖贤伟
胡山立
宁正元
王秀丽
[J]. Journal of Donghua University(English Edition), 2010, 27 (02) : 165 - 168
[3] Multi-agent cooperation logic with actions and normative ability
Lai, Xian-Wei
Hu, Shan-Li
Ning, Zheng-Yuan
[J]. PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 142 - +
[4] Reasoning About Belief, Evidence and Trust in a Multi-agent Setting
Liu, Fenrong
Lorini, Emiliano
[J]. PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2017), 2017, 10621 : 71 - 89
[5] Reasoning about Belief, Goal and Exceptions in Multi-agent Cooperation Logics
Lai, Xianwei
Hu, Shanli
Ning, Zhengyuan
Wang, Xiuli
[J]. 2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2, 2008, : 1271 - +
[6] Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Lijun Wu
Kaile Su
Yabiao Han
Jingyu Chen
Xiangyu Lu
[J]. Frontiers of Computer Science, 2017, 11 : 499 - 510
[7] Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Wu, Lijun
Su, Kaile
Han, Yabiao
Chen, Jingyu
Lu, Xiangyu
[J]. FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (03) : 499 - 510
[8] Towards a Distributed Platform for Normative Reasoning and Value Alignment in Multi-agent Systems
Garcia-Bohigues, Miguel
Cordova, Carmengelys
Taverner, Joaquin
Palanca, Javier
del Val, Elena
Argente, Estefania
[J]. VALUE ENGINEERING IN ARTIFICIAL INTELLIGENCE, VALE 2023, 2024, 14520 : 237 - 250
[9] Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
Beirlaen, Mathieu
Strasser, Christian
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (06) : 1179 - 1207
[10] Multi-agent belief revision
KfirDahav, NE
Tennenholtz, M
[J]. THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 175 - 194

← 1 2 3 4 5 →