Modeling of Agent Behavior Using Behavioral Specifications

The behavioral dynamics of a cognitive agent can be considered both from an external and an internal perspective. From the external perspective, behavior is described by specifying (temporal) correlations between input and output states of the agent. From the internal perspective the agent’s dynamics can be characterized by direct (causal) temporal relations between internal, mental states of the agent. The latter type of specifications can be represented in executable format, which allows performing simulations of the agent’s behavior under different (environmental) circumstances. For enabling simulations when only given an external behavioral specification, this has to be transformed first into executable format, and subsequently into a transition system description. An automated procedure for such a transformation is proposed in this paper. The application of the transformation procedure is demonstrated by two simulation examples addressing delayed response behavior and adaptive behavior.