Formal modeling of dynamic environments for real-time agents

被引：0
|
作者：
Rebollo, M [1 ]
Botti, V [1 ]
Onaindía, E [1 ]
机构：
[1] Univ Politecn Valencia, Dept Sistemas Informat & Computac, E-46071 Valencia, Spain
来源：
MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS | 2003年 / 2691卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Application of agent technology to dynamic environments makes developers to take into account some considerations that common agent-based systems need not meet. ARTIS agent architecture is our proposal for agent-based systems that require bounded response times. This kind of systems are characterised by their sensitivity to the moment in which the response is obtained. If the answer does not arrive on time, the consequences for the systems are catastrophic. They are hard, real-time systems. This paper proposes a formalisation, using an extension of RTCTL logic, to specify the ARTIS agent behaviour. It does not pretend to be a formal validation prove for the agent, but a way that allows the designer to check the fulfilment of the agent's design goals.
引用
收藏
页码：475 / 484
页数：10
相关论文
共 50 条
  • [1] Real-time path planning for virtual agents in dynamic environments
    Sud, Avneesh
    Andersen, Erik
    Curtis, Sean
    Lin, Ming
    Manocha, Dinesh
    IEEE VIRTUAL REALITY 2007, PROCEEDINGS, 2007, : 91 - +
  • [2] Issues in designing physical agents for dynamic real-time environments world modeling, planning, learning, and communicating
    Visser, Ubbo
    Doherty, Patrick
    AI Magazine, 2004, 25 (02) : 137 - 138
  • [3] Degradation modeling for real-time estimation of residual lifetimes in dynamic environments
    Bian, Linkan
    Gebraeel, Nagi
    Kharoufeh, Jeffrey P.
    IIE TRANSACTIONS, 2015, 47 (05) : 471 - 486
  • [4] Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environments
    Rachuy, Carsten
    Visser, Ubbo
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 979 - 980
  • [5] RTTES: Real-time search in dynamic environments
    Cagatay Undeger
    Faruk Polat
    Applied Intelligence, 2007, 27 : 113 - 129
  • [6] Dynamic Terrain for Multiuser Real-Time Environments
    Ellis, Christopher
    Babenko, Pavel
    Goldiez, Brian
    Daly, Jason
    Martin, Glenn A.
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 2010, 30 (01) : 80 - 84
  • [7] RTTES: Real-time search in dynamic environments
    Undeger, Cagatay
    Polat, Faruk
    APPLIED INTELLIGENCE, 2007, 27 (02) : 113 - 129
  • [8] Formal modeling for a real-time scheduler and schedulability analysis
    Kim, SJ
    Choi, JY
    PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 253 - 258
  • [9] A Formal Modeling and Verification Approach for Real-Time System
    Yan, Fei
    Tang, Tao
    2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 204 - 208
  • [10] Formal modeling and verification of real-time concurrent systems
    Yan, Fei
    Tang, Tao
    2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS, 2007, : 219 - 224
12345