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 条
  • [1] Executable specifications of resource-bounded agents
    Michael Fisher
    Chiara Ghidini
    Autonomous Agents and Multi-Agent Systems, 2010, 21 : 368 - 396
  • [2] A logic of situated resource-bounded agents
    Alechina N.
    Logan B.
    Journal of Logic, Language and Information, 2009, 18 (1) : 79 - 95
  • [3] Decision Theory with Resource-Bounded Agents
    Halpern, Joseph Y.
    Pass, Rafael
    Seeman, Lior
    TOPICS IN COGNITIVE SCIENCE, 2014, 6 (02) : 245 - 257
  • [4] 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
  • [5] Verifying Systems of Resource-Bounded Agents
    Alechina, Natasha
    Logan, Brian
    PURSUIT OF THE UNIVERSAL, 2016, 9709 : 3 - 12
  • [6] Executable specifications of resource-bounded agents
    Fisher, Michael
    Ghidini, Chiara
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 21 (03) : 368 - 396
  • [7] The control of reasoning in resource-bounded agents
    Schut, M
    Wooldridge, M
    KNOWLEDGE ENGINEERING REVIEW, 2001, 16 (03): : 215 - 240
  • [8] Timed Memory in Resource-Bounded Agents
    Costantini, Stefania
    Formisano, Andrea
    Pitoni, Valentina
    AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 15 - 29
  • [9] Memory Management in Resource-Bounded Agents
    Pitoni, Valentina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 452 - 460
  • [10] Memory Management in Resource-Bounded Agents
    Costantini, Stefania
    Pitoni, Valentina
    ADVANCES IN ARTIFICIAL INTELLIGENCE, AI*IA 2019, 2019, 11946 : 46 - 58
12345