Related Experiment Video
Updated: Jul 10, 2026
07:14
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
Cognitive Processing
|November 2, 2007
Summary
This study proposes an automated method to transform external cognitive agent behavior descriptions into executable formats. This enables simulations and automated analysis of agent actions and their consequences.
Area of Science:
- Cognitive Science
- Artificial Intelligence
- Computer Science
Background:
- Cognitive agent behavior is externally observable via stimulus-response correlations.
- Internal agent dynamics involve causal temporal relations between mental states.
- Analyzing agent behavior requires executable internal state specifications.
Purpose of the Study:
- To propose an automated procedure for transforming external behavioral specifications into executable formats.
- To enable simulation and verification techniques for cognitive agent analysis.
- To demonstrate the applicability of the transformation for diverse behaviors.
Main Methods:
- Developing an automated transformation procedure.
- Representing internal agent dynamics in an executable format.
- Utilizing verification techniques for automated analysis.
Main Results:
- Successful transformation of external specifications to executable formats.
- Demonstration of automated analysis through simulations.
- Validation across various behavioral examples.
Conclusions:
- The proposed automated procedure facilitates in-depth analysis of cognitive agents.
- Executable internal state representations enable robust behavioral simulations and verification.
- This approach bridges the gap between observed behavior and internal dynamics analysis.
Related Concept Videos
01:26Modeling in Therapy
Modeling, a key technique in therapy, uses observational learning to help clients acquire and practice new skills by watching therapists demonstrate desired behaviors. This approach, rooted in Albert Bandura's concept of vicarious learning, plays a significant role in therapeutic interventions for various psychological conditions, including social anxiety, ADHD, and depression.
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...
01:20Introduction to Cognitive Psychology
Cognitive psychology is the field of psychology dedicated to examining how people think. It attempts to explain how and why we think the way we do by studying the interactions among human thinking, emotion, creativity, language, and problem-solving, as well as other cognitive processes. Cognitive psychology studies how information is processed and manipulated in remembering, thinking, and knowing.
This field emerged in the mid-20th century, following a period dominated by behaviorism, which...
This field emerged in the mid-20th century, following a period dominated by behaviorism, which...
01:15Causes of Social Behavior II: Cognitive Processes
Cognitive processes affect social behavior by guiding how individuals perceive, interpret, and respond to social stimuli. These mental processes enable individuals to assess others' behaviors, attribute causes to their actions, and form expectations based on past experiences.Causes of Behavior and Social JudgmentsIndividuals determine the causes of others' behaviors by distinguishing between personal traits and external circumstances. For example, if a friend frequently arrives late, an...
01:21Cognitive Learning
Cognitive learning is based on purposive behavior, incidental learning, and insight 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...
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...
01:14Steps in the Modeling Process
Albert Bandura's theory of observational learning identifies four critical processes: attention, retention, motor reproduction, and reinforcement or motivation.
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...
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...
01:12Observational Learning
Albert Bandura's observational learning, also known as imitation or modeling, occurs when a person observes and imitates another's behavior. It is a quicker process than operant conditioning. A well-known example is the Bobo doll study, where children who saw an adult acting aggressively towards the doll were more likely to act aggressively when left alone, compared to those who observed a nonaggressive adult. Many psychologists view observational learning as a form of latent learning because...