Specification and Verification of Dynamics in Cognitive Agent Models

Specification and Verification of Dynamics in Cognitive Agent Models (2006)

Cached

Download Links

[www.few.vu.nl]
[www.cs.vu.nl]
[www.few.vu.nl]

Other Repositories/Bibliography

DBLP

by Tibor Bosse , Catholijn M. Jonker , Lourens Van Der Meij , Alexei Sharpanskykh , Jan Treur

Venue:	In: Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06. IEEE Computer
Citations:	60 - 53 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Specification and Verification of Dynamics in Cognitive Agent Models	SVM HeaderParse 0.2
AUTHOR NAME	Tibor Bosse	SVM HeaderParse 0.2
AUTHOR AFFIL	2 Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information,	SVM HeaderParse 0.2
AUTHOR ADDR	Montessorilaan 3, 6525 HR Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Catholijn M. Jonker	SVM HeaderParse 0.2
AUTHOR AFFIL	2 Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information,	SVM HeaderParse 0.2
AUTHOR ADDR	Montessorilaan 3, 6525 HR Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Lourens Van Der Meij	SVM HeaderParse 0.2
AUTHOR AFFIL	2 Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information,	SVM HeaderParse 0.2
AUTHOR ADDR	Montessorilaan 3, 6525 HR Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Alexei Sharpanskykh	SVM HeaderParse 0.2
AUTHOR AFFIL	2 Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information,	SVM HeaderParse 0.2
AUTHOR ADDR	Montessorilaan 3, 6525 HR Nijmegen, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Jan Treur	SVM HeaderParse 0.2
AUTHOR AFFIL	2 Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information,	SVM HeaderParse 0.2
AUTHOR ADDR	Montessorilaan 3, 6525 HR Nijmegen, The Netherlands	SVM HeaderParse 0.2
ABSTRACT	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. 1.	SVM HeaderParse 0.2
YEAR	2006	INFERENCE
VENUE	In: Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06. IEEE Computer	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	247--254	INFERENCE
CITATIONS	25 found	ParsCit 1.0