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 条
  • [31] Normative conflict resolution in multi-agent systems
    Vasconcelos, Wamberto W.
    Kollingbaum, Martin J.
    Norman, Timothy J.
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2009, 19 (02) : 124 - 152
  • [32] A normative programming language for multi-agent organisations
    Huebner, Jomi F.
    Boissier, Olivier
    Bordini, Rafael H.
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 62 (1-2) : 27 - 53
  • [33] Contextualizing Normative Open Multi-Agent Systems
    Felicissimo, Carolina
    Chopinaud, Caroline
    Briot, Jean-Pierre
    Seghrouchni, Amal El Fallah
    Lucena, Carlos
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 52 - +
  • [34] Trust and Normative Control in Multi-Agent Systems
    Urbano, Joana
    Cardoso, Henrique Lopes
    Rocha, Ana Paula
    Oliveira, Eugenio
    ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, 2012, 1 (01): : 43 - 52
  • [35] THOMAS: An agent platform for supporting normative multi-agent systems
    Criado, Natalia
    Argente, Estefania
    Botti, Vicente
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (02) : 309 - 333
  • [36] Belief change and argumentation in multi-agent scenarios
    Dix, Juergen
    Hansson, Sven Ove
    Kern-Isberner, Gabriele
    Simari, Guillermo R.
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2016, 78 (3-4) : 177 - 179
  • [37] Belief change and argumentation in multi-agent scenarios
    Jürgen Dix
    Sven Ove Hansson
    Gabriele Kern-Isberner
    Guillermo R. Simari
    Annals of Mathematics and Artificial Intelligence, 2016, 78 : 177 - 179
  • [38] A fibred belief logic for multi-agent systems
    Liu, CC
    Ozols, MA
    Orgun, MA
    AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3809 : 29 - 38
  • [39] Multi-agent logics of dynamic belief and knowledge
    Schmidt, RA
    Tishkovsky, D
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 38 - 49
  • [40] Iterated belief change in multi-agent systems
    Roorda, JW
    van der Hoek, W
    Meyer, JJ
    LOGIC JOURNAL OF THE IGPL, 2003, 11 (02) : 223 - 246
12345