Sciweavers

IAT
2006
IEEE

Specification and Verification of Dynamics in Cognitive Agent Models

13 years 9 months ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to analyse the dynamics of such processes, often based on differential equations, are not always successful. As an alternative to differential equations, this paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations. A software environment has been developed for TTL, that supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different domains.
Tibor Bosse, Catholijn M. Jonker, Lourens van der
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where IAT
Authors Tibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Alexei Sharpanskykh, Jan Treur
Comments (0)