Information Technology Reference
In-Depth Information
3 The Detailed Agent Model for Believing and Feeling
Informally described theories in scientific disciplines, for example, in biological or
neurological contexts, often are formulated in terms of causal relationships or in
terms of dynamical systems. To adequately formalise such a theory the hybrid dy-
namic modelling language LEADSTO has been developed that subsumes qualitative
and quantitative causal relationships, and dynamical systems; cf. (Bosse, Jonker,
Meij and Treur, 2007). This language has been proven successful in a number of
contexts, varying from biochemical processes that make up the dynamics of cell
behaviour (cf. Jonker, Snoep, Treur, Westerhoff, Wijngaards, 2008) to neurological
and cognitive processes (e.g., Bosse, Jonker, Los, Torre, and Treur, 2007; Bosse,
Jonker, and Treur, 2007, 2008). Within LEADSTO the temporal relation
a
→
b
de-
notes that when a state property
a
occurs, then after a certain time delay (which for
each relation instance can be specified as any positive real number), state property
b
will occur. In LEADSTO both logical and numerical calculations can be specified in
an integrated manner, and a dedicated software environment is available to support
specification and simulation.
An overview of the agent model for believing and feeling is depicted in Figure 3.
This picture also shows representations from the detailed specifications explained
below. However, note that the precise numerical relations between the indicated vari-
ables
V
shown are not expressed in this picture, but in the detailed specifications of
properties below, which are labeled by LP1 to LP9 as also shown in the picture.
ƉƌĞƉĂƌĂƚŝŽŶͺ
ƐƚĂƚĞ;ď͕sͿ
ĞĨĨĞĐƚŽƌͺ
ƐƚĂƚĞ;ď͕sͿ
ƐĞŶƐŽƌͺƐƚĂƚĞ;ǁ͕sͿ
ƐƌƐ;ǁ͕sͿ
ǁŽƌůĚͺƐƚĂƚĞ;ǁ͕sͿ
ďĞůŝĞĨ;ǁ͕sͿ
>Wϭ
>WϮ
>Wϯ
>Wϰ
>Wϱ
ƐĞŶƐŽƌͺƐƚĂƚĞ;ď͕sͿ
ƐƌƐ;ď͕sͿ
ĨĞĞůŝŶŐ;ď͕sͿ
>Wϴ
>Wϵ
>Wϲ
>Wϳ
ďŽĚLJͺƐƚĂƚĞ;ď͕sͿ
Fig. 3.
Overview of the agent model
The detailed specification (both informally and formally) of the agent model is
presented below. Here capitals are used for (assumed universally quantified) vari-
ables. First the part is presented that describes the basic mechanisms to generate a
belief state and the associated feeling. The first dynamic property addresses how
properties of the world state can be sensed.
