Relating Cognitive Process Models to Behavioural Models of Agents

2010

Brain Informatics

Self Cite

Abstract. In this paper the issue of relating a specification of the internal processes within an agent to a specification of the behaviour of the agent is addressed. A previously proposed approach for automated generation of behavioural specifications from an internal specification was limited to stratified specifications of internal processes. Therefore, it cannot be applied to mutually interacting cognitive and affective processes described by interacting loops. However, such processes are not rare in agent models addressing integration of cognitive and affective processes and agent learning. In this paper a novel approach is proposed which addresses this issue. The proposed technique for loop abstraction is based on identifying dependencies of equilibrium states for interacting loops. The technique is illustrated by an example of an internal agent model with interdependent processes of believing, feeling, and trusting.

Section: Specifying Internal Agent Modelsmentioning

confidence: 99%

“…The set of well-formed RTPL formulae is defined inductively in a standard way using Boolean connectives and quantifiers over variables of RTPL sorts. More details can be found in [12].…”

Section: Specifying Internal Agent Modelsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Behavioural Abstraction of Agent Models Addressing Mutual Interaction of Cognitive and Affective Processes

2010

Brain Informatics

Self Cite

A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems

Specification and Verification of Multi-Agent Systems

2010

This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems. This language supports specification of both qualitative and quantitative aspects, and subsumes languages based on differential equations and temporal logics. TTL has a high expressivity and normal forms that enable automated analysis. Software environments for performing verification of TTL specifications have been developed. TTL proved its value in a number of domains.

Abstraction Relations between Internal and Behavioural Agent Models for Collective Decision Making

Computational Collective Intelligence. Technologies and Applications

2010

Self Cite

Abstract. For agent-based modelling of collective phenomena individual agent behaviours can be modelled either from an agent-internal perspective, in the form of relations involving internal states of the agent, or from an agentexternal, behavioural perspective, in the form of input-output relations for the agent, abstracting from internal states. Illustrated by a case study on collective decision making, this paper addresses how the two types of agent models can be related to each other. First an internal agent model for collective decision making is presented, based on neurological principles. It is shown how by an automated systematic transformation a behavioural model can be obtained, abstracting from the internal states. In addition, an existing behavioural agent model for collective decision making incorporating principles on social diffusion is described. It is shown under which conditions and how by an interpretation mapping the obtained abstracted behavioural agent model can be related to this existing behavioural agent model for collective decision making.