2001). Thus, physical and cognitive systems in HD-
CAs are unified in the common language of differen-
tial equations, which is critical to the HDCA learning
demonstrations in section 3.3.
Along with the continuous evolutions of cog-
nitive activations and physical variables, discrete
changes —e.g., transitions from one task or behavior
to another— can occur when activations reach pre-
specified thresholds. Thus, we formally model an
HDCA as a hybrid dynamical system (hybrid system,
for short) (Alur et al., 2000). Discrete task transitions
also illuminate the roles of intentions and sequencing
intentions (see section 2.1) in our HDCAs: Conceptu-
ally, sequencing intentions have activations that rep-
resent intentions to perform tasks in a temporal rela-
tionship (e.g., to perform X beforeY), as distinct from
standard intentions associated with individual tasks.
(In this paper, we consider only HDCAs with one
intention for each task.) Sequencing intentions are
critical elements of guards —threshold conditions for
when discrete transitions occur— in agents’ hybrid
systems, so dynamical task re-sequencing emerges or-
ganically from continuous cognition.
As a motivating example for the ideas in this pa-
per, consider a child playing Tag, avoiding a player
designated as It as well as other obstacles. She wants
to accomplish many things before the game ends: ac-
tively protect a friend in the game for a while; ac-
tively try to become It and tag an adversary; and
reach several bases, locations where she cannot be
tagged by It. She can only do one of these tasks at
a time, so she begins with an intended task sequence
that achieves her goals, but as the game proceeds, she
re-sequences tasks in response to her environment.
Moreover, while playing, her behavior shows sensi-
ble subtleties, such as making decisions a bit more
quickly when she’s comfortably near her goal.
In demonstrations for this paper, such a player is
implemented as an HDCA in an interactive, animated
Tag game, illuminating the capabilities of integrated
dynamical intelligence. In conventional agents, for
example, task re-sequencing such as the child per-
forms is deliberative, but in HDCAs, it arises from
sub-deliberative cognitive evolution. Moreover, our
integrated modeling enables moment-by-moment in-
teractions among elements considered cognitive and
those considered physical, which evoke micro-scale
effects that can cascade into observable effects (see
section 3.2). We also demonstrate how an HDCA can
learn a multi-faceted Tag strategy, perhaps based on
user input during a game, extending previous HDCA
learning methods to this application domain.
2 HYBRID DYNAMICAL
COGNITIVE AGENTS
HDCAs can be viewed as having physical and cogni-
tive sub-systems, composed of the differential equa-
tions and variables describing the behavior conven-
tionally considered physical or cognitive, respec-
tively; BDI elements are thus considered cognitive,
while xy-location and heading angle φ are physi-
cal. HDCAs are implemented by augmenting phys-
ical systems with cognitive BDI elements and their
activation values. For this paper, cognitive activa-
tions are within [−10, 10], where near-zero values in-
dicate low salience and greater magnitudes indicate
greater intensity of associated concepts—e.g., more
active intentions represent more commitment to the
related tasks. Negative values indicate salience of the
opposing concept, so, e.g., a moderate desire to not
cycle the bases and strong commitment to protect a
friend could be encoded by value −3 on a desire for
runBases
and value 9 on an intention for
protect
.
Our HDCAs’ cognitive activations are intercon-
nected in differential equations. A partial cognitive
system —with many equations omitted and terms
elided in equations shown— is in equation 1, in which
beliefs, desires, and intentions are represented by
variables beginning with b, d, and i, and time deriva-
tive variables are on the left in each equation:
˙
dRun = −c
1
· bAmIt+ c
3
· iRun+ . . . (1)
˙
iTag = d
1
· bAmIt− d
3
· dRun+ d
4
· iTag+ . . .
˙
iRun = −e
1
· bAmIt− e
2
· dTag+ e
5
· iRun+ . . .
This illustrates interconnectedness: Elements have
excitatory or inhibitory influence on activations by in-
creasing or decreasing derivatives. In equation 1, vari-
ables stand for activations of cognitive elements such
as the desire to run around the bases (dRun) and the
belief that the agent is It (bAmIt); coefficients repre-
sent the impacts of the connections between elements.
2.1 Our HDCA Implementation
Because HDCA behavior consists of switching
among multiple, continuous behaviors, our HDCA
implementation is based on a hybrid automaton (Alur
et al., 2000), a state-transition model of hybrid sys-
tems. Each hybrid automaton has discrete modes rep-
resenting individual behaviors or tasks, each having
differential equations that govern variables’ evolution
in that mode, and guard constraints describing when
mode transitions occur (see Figure 2). We straight-
forwardly implemented and simulated our HDCAs as
hybrid systems in MATLAB, with modes as functions
containing guards for mode transitions and dynamical
INTEGRATED DYNAMICAL INTELLIGENCE FOR INTERACTIVE EMBODIED AGENTS
297