Dynamics and control in component-based agent models

被引：3
|
作者：
Brazier, FMT [1 ]
Jonker, CM [1 ]
Treur, J [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
来源：
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS | 2002年 / 17卷 / 11期
关键词：
D O I：
10.1002/int.10060
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses specification and semantics of dynamics and control in component-based agent models. Specification is based on a dedicated formal design specification language for agent models. Semantics of the dynamics are defined using temporal traces with composite states. It is shown in what manner control aspects can be specified, and what their semantics is in terms of the temporal traces. An agent model for controlled diagnostic reasoning processes is used to illustrate the approach. (C) 2002 Wiley Periodicals, Inc.
引用
收藏
页码：1007 / 1047
页数：41
相关论文
共 50 条
  • [1] Component-based composition of system dynamics models
    Bauer, C
    Bodendorf, F
    Simulation in Wider Europe, 2005, : 320 - 327
  • [2] Component-based standardisation of agent communication
    Guerin, Frank
    Vasconcelos, Wamberto
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES V, 2008, 4897 : 227 - 244
  • [3] Component-Based Models for Runtime Control and Monitoring of Embedded Systems
    Schwalb, Tobias
    Gaedeke, Tobias
    Schmid, Johannes
    Mueller-Glaser, Klaus D.
    PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 31 - 36
  • [4] Stateful component-based performance models
    Lucia Happe
    Barbora Buhnova
    Ralf Reussner
    Software & Systems Modeling, 2014, 13 : 1319 - 1343
  • [5] Stateful component-based performance models
    Happe, Lucia
    Buhnova, Barbora
    Reussner, Ralf
    SOFTWARE AND SYSTEMS MODELING, 2014, 13 (04): : 1319 - 1343
  • [6] HYBRID AGENT & COMPONENT-BASED MANAGEMENT OF BACKCHANNELS
    Dragone, M.
    O'Hare, G. M. P.
    Lillis, D.
    Collier, R. W.
    ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2009, : 153 - +
  • [7] Extension of Component-Based Models for Control and Monitoring of Embedded Systems at Runtime
    Schwalb, Tobias
    Mueller-Glaser, Klaus D.
    2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 142 - 148
  • [8] Integration of Simulink Models with Component-based Software Models
    Marian, Nicolae
    Top, Soren
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2008, 8 (02) : 3 - 10
  • [9] COMPONENT-BASED MODELS AND SIMULATIONS FOR SUPPORTING VALID MULTI-AGENT SYSTEM SIMULATIONS
    Himmelspach, J.
    Roehl, M.
    Uhrmacher, A. M.
    APPLIED ARTIFICIAL INTELLIGENCE, 2010, 24 (05) : 414 - 442
  • [10] A Component-Based Access Control Monitor
    Liu, Zhiming
    Morisset, Charles
    Stolz, Volker
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 339 - 353
12345