Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study

被引:0
|
作者
Baral, Chitta [1 ]
Tran Cao Son [2 ]
Pontelli, Enrico [2 ]
机构
[1] Arizona State Univ, Dept Comp Sci & Engn, Tempe, AZ 85287 USA
[2] New Mexico State Univ, Dept Comp Sci, Las Cruces, NM 88003 USA
关键词
LOGIC;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper investigates the use of action languages, originally developed for representing and reasoning about single-agent domains, in modeling multi-agent domains. We use the action language C and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.
引用
收藏
页码:46 / +
页数:3
相关论文
共 50 条
  • [1] An action language for multi-agent domains
    Baral, Chitta
    Gelfond, Gregory
    Pontelli, Enrico
    Tran Cao Son
    [J]. ARTIFICIAL INTELLIGENCE, 2022, 302
  • [2] Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
    Baral, Chitta
    Gelfond, Gregory
    Pontelli, Enrico
    Son, Tran Cao
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, 2013, 8143 : 290 - 306
  • [3] Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using C
    Baral, Chitta
    Son, Tran Cao
    Pontelli, Enrico
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 409 - +
  • [4] Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains
    Loc Pham
    Tran Cao Son
    Pontelli, Enrico
    [J]. 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, 2023, : 957 - 964
  • [5] Reasoning about Time, Action and Knowledge in Multi-Agent Systems
    Ruan, Ji
    [J]. KUNSTLICHE INTELLIGENZ, 2011, 25 (01): : 75 - 76
  • [6] Reasoning about Multi-Agent Systems Using Stochastic Petri Nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    [J]. TRENDS IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS AND SUSTAINABILITY: THE PAAMS COLLECTION, 2015, 372 : 75 - 86
  • [7] Reasoning about Concurrent Actionsin Multi-Agent Systems
    樊晓聪
    徐殿祥
    侯建民
    郑国梁
    [J]. Journal of Computer Science & Technology, 1999, (04) : 422 - 428
  • [8] Reasoning about Adaptivity of Agents and Multi-Agent Systems
    Smith, Graeme
    Sanders, J. W.
    Winter, Kirsten
    [J]. 2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 341 - 350
  • [9] Reasoning about concurrent actions in multi-agent systems
    Fan X.
    Xu D.
    Hou J.
    Zheng G.
    [J]. Journal of Computer Science and Technology, 1999, 14 (4) : 422 - 428
  • [10] 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