Cognitive Processing

, Volume 9, Issue 3, pp 189–208 | Cite as

Formal modeling and analysis of cognitive agent behavior

Research Report


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.


Modeling of behavior Analysis Cognitive agents Simulation Verification Model checking 


  1. Allen C, Bekoff M, (1997) Species of mind: the philosophy and biology of cognitive ethology. MIT Press, CambridgeGoogle Scholar
  2. Anderson JR (1996) ACT: a simple theory of complex cognition. Am Psychol 51:355–365CrossRefGoogle Scholar
  3. Arnold A (1994) Finite transition systems. Semantics of communicating systems. Prentice-Hall, Englewood CliffsGoogle Scholar
  4. Balkenius C, Moren J (1999) Dynamics of a classical conditioning model. Auton Robots 7:41–56CrossRefGoogle Scholar
  5. Carew TJ, Walters ET, Kandel ER (1981) Classical conditioning in a simple withdrawal reflex in Aplysia californica. J Neurosci 1(12):1426–1437PubMedGoogle Scholar
  6. Clarke EM, Grumberg EM, Peled DA (1999) Model checking. MIT Press, CambridgeGoogle Scholar
  7. Damasio A (1999) The feeling of what happens: body. Emotion and the making of consciousness. Harcourt Brace, New YorkGoogle Scholar
  8. Dennett DC (1991) Consciousness explained. Little, Brown & Company. Published by Penguin BooksGoogle Scholar
  9. Dennett DC (2001) Are we explaining consciousness yet? Cognition 79:221–237PubMedCrossRefGoogle Scholar
  10. Dennett DC (2005) Sweet dreams: philosophical obstacles to a science of consciousness. MIT Press, CambridgeGoogle Scholar
  11. Di Ferdinando A, Parisi D (2004) Internal representations of sensory input reflect the motor output with which organisms respond to the input. In: Carsetti A (ed) Seeing, thinking and knowing. Kluwer, Dordrecht, pp 115–141CrossRefGoogle Scholar
  12. Dudai Y (1990) The neurobiology of memory. Concepts, findings, trends. Oxford University Press, OxfordGoogle Scholar
  13. Fisher M (1996) An introduction to executable temporal logics. Knowl Eng Rev 11(1):3–36Google Scholar
  14. Gollwitzer PM (1999) Implementation intentions-strong effects of simple plans. Am Psychol 54:493–503CrossRefGoogle Scholar
  15. Hawkins J (2004) On intelligence. Henry Gholt and Co Ltd, New York, USAGoogle Scholar
  16. Heil J (2000) Philosophy of mind. Routledge, LondonGoogle Scholar
  17. Hunter WS (1912) The delayed reaction in animals. Behavioral Monogr 2:1–85Google Scholar
  18. Jonker CM, Treur J (2002) Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. Int J Coop Inf Syst 11:51–92CrossRefGoogle Scholar
  19. Jonker CM, Treur J, Vries W de (2002) Temporal analysis of the dynamics of beliefs, desires, and intentions. Cogn Sci Q 2:471–494 (Special Issue on Desires, Goals, Intentions, and Values: Computational Architectures)Google Scholar
  20. Kim J (1996) Philosophy of Mind. Westview Press, BoulderGoogle Scholar
  21. Kokinov B (2003) The mechanisms of episode construction and blending in DUAL and AMBR: interaction between memory and analogy. In: Kokinov B, Hirst W (eds) Constructive memory. NBU Press, SofiaGoogle Scholar
  22. Kowalski R, Sergot M (1986) A logic-based calculus of events. New Generation Comput 4:67–95CrossRefGoogle Scholar
  23. van Linder BW, van der Hoek, Meyer J-J Ch (1998) Formalising abilities and opportunities of agents. Fundam Inf 34(1–2):53–101Google Scholar
  24. Manna Z, Pnueli A (1995) Temporal verification of reactive systems. Springer, BerlinGoogle Scholar
  25. Manzano M (1996) Extensions of first order logic. Cambridge University Press, CambridgeGoogle Scholar
  26. McMillan K (1993) Symbolic model checking. Kluwer, DordrechtGoogle Scholar
  27. Pockett S, Banks WP, Gallagher S (eds) (2006) Does consciousness cause behaviour? MIT Press, CambridgeGoogle Scholar
  28. Putman H (1975) Mind, language, and reality: philosophical papers, vol 2. Cambridge University Press, CambridgeGoogle Scholar
  29. Rao AS, Georgeff MP (1991) Modeling agents within a BDI architecture. In: Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR ’91). Morgan Kaufmann, Cambridge, pp 473–484Google Scholar
  30. Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, CambridgeGoogle Scholar
  31. Roberts AC, Glanzman DL (2003) Learning in Aplysia: looking at synaptic plasticity from both sides. Trends Neurosci 26:662–670PubMedCrossRefGoogle Scholar
  32. Schweiger Gallo I, Gollwitzer PM (2007) Implementation intentions: a look back at fifteen years of progress. Psicothema 19:37–42PubMedGoogle Scholar
  33. Sharpanskykh A, Treur J (2005) Modeling of agent behavior using behavioral specifications (Tech. Rep. 06-02ASRAI; Vrije Universiteit, Amsterdam
  34. Skinner BF (1935) The generic nature of the concepts of stimulus and response. J Gen Psychol 12:40–65CrossRefGoogle Scholar
  35. Skinner BF (1953) Science and human behavior. Macmillan, New YorkGoogle Scholar
  36. van Ham F, van de Wetering H, van Wijk JJ (2002) Interactive visualization of state transition systems. In: IEEE Trans Vis Comput Graph IEEE CS Press, 8(4):319–329Google Scholar
  37. Vardi MY (1996) An automata-theoretic approach to linear temporal logic. In: Proceedings of the VIII Banff higher order workshop, Lecture notes in computer science, vol 1043. Springer, Heidelberg, pp 238–266Google Scholar
  38. Watson JB (1913) Psychology as the behaviorist views it. Psychol Rev 20:158–177CrossRefGoogle Scholar
  39. Wegner DM (2002) The Illusion of Conscious Will. MIT Press, CambridgeGoogle Scholar
  40. Wegner DM (2003) The mind’s best trick: how we experience conscious will. Trends Cogn Sci 7:65–69PubMedCrossRefGoogle Scholar

Copyright information

© Marta Olivetti Belardinelli and Springer-Verlag 2007

Authors and Affiliations

  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Personalised recommendations