Premium
Dynamics and control in component‐based agent models
Author(s) -
Brazier Frances M. T.,
Jonker Catholijn M.,
Treur Jan
Publication year - 2002
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.10060
Subject(s) - computer science , component (thermodynamics) , semantics (computer science) , programming language , formal specification , specification language , dynamics (music) , control (management) , formal semantics (linguistics) , artificial intelligence , theoretical computer science , physics , acoustics , thermodynamics
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. © 2002 Wiley Periodicals, Inc.