Formal Analysis of Cognitive Agent Behavior: formal theoretical basis
MetadataShow full item record
In cognitive systems the behavior of an actor (an agent) can be considered from both an external and an internal perspective. This paper contributes an automated procedure for translating a given external behavioral specification into an executable specification of internal dynamics, by which the external behavioral properties are entailed. Having an executable internal dynamics specification allows automated analysis of an agent's behavior, based on model checking techniques. By a paradigmatic example it is shown how the developed approach can be applied.