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 条

[1] Verifying space and time requirements for resource-bounded agents
Alechina, Natasha
Bertoli, Piergiorgio
Ghidini, Chiara
Jago, Mark
Logan, Brian
Serafini, Luciano
MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 19 - +
[2] A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents
Rakib, Abdur
Faruqui, Rokan Uddin
CONTEXT-AWARE SYSTEMS AND APPLICATIONS, (ICCASA 2012), 2013, 109 : 86 - 96
[3] Executable specifications of resource-bounded agents
Michael Fisher
Chiara Ghidini
Autonomous Agents and Multi-Agent Systems, 2010, 21 : 368 - 396
[4] A logic of situated resource-bounded agents
Alechina N.
Logan B.
Journal of Logic, Language and Information, 2009, 18 (1) : 79 - 95
[5] Decision Theory with Resource-Bounded Agents
Halpern, Joseph Y.
Pass, Rafael
Seeman, Lior
TOPICS IN COGNITIVE SCIENCE, 2014, 6 (02) : 245 - 257
[6] Programming resource-bounded deliberative agents
Fisher, M
Ghidini, C
IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 200 - 205
[7] Exploring the future with resource-bounded agents
Fisher M.
Ghidini C.
Journal of Logic, Language and Information, 2009, 18 (1) : 3 - 21
[8] Executable specifications of resource-bounded agents
Fisher, Michael
Ghidini, Chiara
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 21 (03) : 368 - 396
[9] The control of reasoning in resource-bounded agents
Schut, M
Wooldridge, M
KNOWLEDGE ENGINEERING REVIEW, 2001, 16 (03): : 215 - 240
[10] Timed Memory in Resource-Bounded Agents
Costantini, Stefania
Formisano, Andrea
Pitoni, Valentina
AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 15 - 29

← 1 2 3 4 5 →