Related Experiment Video
Updated: Jul 10, 2026

Virtual Agent for Real-Time Motivational Interviewing by Integrating Adaptive Nonverbal Behavior and Language Models
Published on: December 23, 2025
Formal modeling and analysis of cognitive agent behavior
Alexei Sharpanskykh1, Jan Treur
1Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands. sharp@few.vu.nl
Abstract:
From an external perspective, cognitive agent behavior can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actions (output states) of the agent. From an internal perspective the agent's dynamics can be characterized by direct (causal) temporal relations between internal and mental states of the agent. The latter type of specifications can be represented in a relatively simple, executable format, which enables different types of analysis of the agent's behavior. In particular, simulations of the agent's behavior under different (environmental) circumstances can be explored. Furthermore, by applying verification techniques, automated analysis of the consequences of the agent's behavior can be carried out. To enable such types of analysis when only given an external behavioral specification, this has to be transformed first into some type of executable format. An automated procedure for such a transformation is proposed in this paper. The application of the transformation procedure is demonstrated for a number of cases, showing examples of the types of analysis as mentioned for different forms of behavior.
Related Concept Videos
Modeling in Therapy
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...
Introduction to Cognitive Psychology
This field emerged in the mid-20th century, following a period dominated by behaviorism, which...
Causes of Social Behavior II: Cognitive Processes
Cognitive Learning
E. C. Tolman's theory of purposive behavior emphasizes that much behavior is goal-directed. He argued that to understand behavior, we must look at the entire sequence of actions leading to a goal. For instance, high school students study hard, not just due to past reinforcement but also to achieve the goal of getting into a good college.
Tolman introduced the idea that behavior is influenced by...
Steps in the Modeling Process
Attention is the first necessary component for observational learning. It involves focusing on what the model is doing and saying. For example, if you decide to take a drawing class to enhance your skills, you need to pay close attention to the instructor's words and hand movements. The characteristics of the model significantly...
Observational Learning
