Formal modeling and analysis of cognitive agent behavior |
| |
Authors: | Alexei Sharpanskykh Jan Treur |
| |
Institution: | Department 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. |
| |
Keywords: | Modeling of behavior Analysis Cognitive agents Simulation Verification Model checking |
本文献已被 PubMed SpringerLink 等数据库收录! |
|