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
关键词
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 条
  • [41] Multi-agent Belief Revision Using Multisets
    Georgatos, Konstantinos
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 466 - 479
  • [42] Multi-agent Belief Revision with Linked Preferences
    van Eijck, Jan
    Sietsma, Floor
    LOGIC AND THE FOUNDATIONS OF GAME AND DECISION THEORY - LOFT 8, 2010, 6006 : 174 - 189
  • [43] The Algebra of Multi-Agent Dynamic Belief Revision
    Baltag, Alexandru
    Sadrzadeh, Mehrnoosh
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (04) : 37 - 56
  • [44] Distributed Belief Propagation in Multi-agent Environment
    Das, Subrata
    Ascano, Ria
    ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY, 2015, 9086 : 53 - 65
  • [45] Probabilistic reasoning in a distributed multi-agent environment
    Wong, SKM
    Butz, CJ
    INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 341 - 348
  • [46] Multi-Agent Planning and Diagnosis with Commonsense Reasoning
    Son, Tran Cao
    Yeoh, William
    Stern, Roni
    Kalech, Meir
    2023 5TH INTERNATIONAL CONFERENCE ON DISTRIBUTED ARTIFICIAL INTELLIGENCE, DAI 2023, 2023,
  • [47] A Distributed Normative Infrastructure for Situated Multi-agent Organisations
    Okuyama, Fabio Y.
    Bordini, Rafael H.
    da Rocha Costa, Antonio Carlos
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2009, 5397 : 29 - +
  • [48] Runtime revision of sanctions in normative multi-agent systems
    Davide Dell’Anna
    Mehdi Dastani
    Fabiano Dalpiaz
    Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [49] NORMATIVE MULTI-AGENT SYSTEM FOR INTELLIGENT BUILDING CONTROL
    Duangsuwan, Jarunee
    Liu, Kecheng
    2009 PACIFIC-ASIA CONFERENCE ON KNOWLEDGE ENGINEERING AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 197 - 200
  • [50] A model of normative multi-agent systems and dynamic relationships
    López, FLY
    Luck, M
    REGULATED AGENT-BASED SOCIAL SYSTEMS, 2004, 2934 : 259 - 280