Exploring the future with resource-bounded agents

被引：2
|
作者：
Fisher M. [1 ]
Ghidini C. [2 ]
机构：
[1] Department of Computer Science, University of Liverpool
[2] Fondazione Bruno Kessler - irst
来源：
Journal of Logic, Language and Information | 2009年 / 18卷 / 1期
关键词：
Agent-based systems; Formal specification; Resource-bounded agents;
D O I：
10.1007/s10849-008-9074-5
中图分类号：
学科分类号：
摘要：
We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems. © 2008 Springer Science+Business Media B.V.
引用
收藏
页码：3 / 21
页数：18
相关论文
共 50 条
  • [21] Adaptive coordination of agents for timely and resource-bounded information monitoring
    Liu, RL
    Lin, SY
    FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 175 - 182
  • [22] Partial global flexible scheduling for coordinating resource-bounded agents
    Mouaddib, AI
    INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 453 - 454
  • [23] On the Complexity of Resource-Bounded Logics
    Alechina, Natasha
    Bulling, Nils
    Demri, Stephane
    Logan, Brian
    REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 36 - 50
  • [24] Resource-bounded measure and learnability
    Lindner, W
    Schuler, R
    Watanabe, O
    THEORY OF COMPUTING SYSTEMS, 2000, 33 (02) : 151 - 170
  • [25] On pseudorandomness and resource-bounded measure
    Arvind, V
    Köbler, J
    THEORETICAL COMPUTER SCIENCE, 2001, 255 (1-2) : 205 - 221
  • [26] Resource-bounded fraud detection
    Torgo, Luis
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4874 : 449 - 460
  • [27] On the complexity of resource-bounded logics
    Alechina, N.
    Bulling, N.
    Demri, S.
    Logan, B.
    THEORETICAL COMPUTER SCIENCE, 2018, 750 : 69 - 100
  • [28] 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
  • [29] Resource-bounded paraconsistent inference
    Marquis, P
    Porquet, N
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2003, 39 (04) : 349 - 384
  • [30] Results on resource-bounded measure
    Buhrman, H
    Fenner, S
    Fortnow, L
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 188 - 194
12345