Verifying Systems of Resource-Bounded Agents

被引：0
|
作者：
Alechina, Natasha [1 ]
Logan, Brian [1 ]
机构：
[1] Univ Nottingham, Nottingham, England
来源：
PURSUIT OF THE UNIVERSAL | 2016年 / 9709卷
基金：
英国工程与自然科学研究理事会;
关键词：
MODEL; VERIFICATION; GAMES; LOGIC;
D O I：
10.1007/978-3-319-40189-8_1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents' actions require (and sometimes produce) resources. We briefly survey previous work on the verification of multi-agent systems that takes resources into account, and outline some key challenges for future work.
引用
收藏
页码：3 / 12
页数：10
相关论文
共 50 条
  • [31] Resource-bounded reasoning and paraconsistency
    Allen, M
    Jennings, RE
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 796 - 802
  • [32] Resource-bounded paraconsistent inference
    Marquis, P
    Porquet, N
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2003, 39 (04) : 349 - 384
  • [33] Results on resource-bounded measure
    Buhrman, H
    Fenner, S
    Fortnow, L
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 188 - 194
  • [34] Resource-Bounded Measure and Learnability
    W. Lindner
    R. Schuler
    O. Watanabe
    Theory of Computing Systems, 2000, 33 : 151 - 170
  • [35] On resource-bounded instance complexity
    Fortnow, L
    Kummer, M
    THEORETICAL COMPUTER SCIENCE, 1996, 161 (1-2) : 123 - 140
  • [36] Resource-Bounded Paraconsistent Inference
    Pierre Marquis
    Nadège Porquet
    Annals of Mathematics and Artificial Intelligence, 2003, 39 : 349 - 384
  • [37] Resource-bounded partial evaluation
    Debray, S
    ACM SIGPLAN NOTICES, 1997, 32 (12) : 179 - 192
  • [38] Resource-bounded partial evaluation
    Danvy, O
    Hentze, N
    Malmkjaer, K
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 329 - 332
  • [39] Parameterised Resource-Bounded ATL
    Alechina, Natasha
    Demri, Stephane
    Logan, Brian
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 7040 - 7046
  • [40] A Probabilistic Logic for Resource-Bounded Multi-Agent Systems
    Nguyen, Hoang Nga
    Rakib, Abdur
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 521 - 527
12345