Specification and verification of dynamics in agent models

International Journal of Cooperative Information Systems

Volumn 18, Issue 1, 2009, Pages 167-193

  Bosse, Tibor ^a   Jonker, Catholijn M ^b   Van Der Meij, Lourens ^a   Sharpanskykh, Alexei ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Agent model; Dynamics; Specification language; Verification tools

Indexed keywords

EID: 67349225567     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843009001987     Document Type: Article

References (40)

1. H. Andreka, I. Nemeti and J. van Benthem, Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic 27(3) (1998) 217-274.
2. H. Barringer, M. Fisher, D. Gabbay, R. Owens and M. Reynolds, The Imperative Future: Principles of Executable Temporal Logic (Research Studies Press Ltd. and John Wiley & Sons, 1996).
3. J. van Benthem, The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Reidel, Dordrecht, 1983).
4. D. Berleant and B. Kuipers, Qualitative and quantitative simulation: Bridging the gap, Artificial Intelligence Journal 95(2) (1997) 215-255.
5. M. H. Bickhard, Representational content in humans and machines, Journal of Experimental and Theoretical Artificial Intelligence 5 (1993) 285-333.
6. J. Bonabeau, M. Dorigo and G. Theraulaz, Swarm Intelligence: From Natural to Artificial Systems (Oxford University Press, New York, 1999).
7. T. Bosse, C. M. Jonker, S. A. Los, L. van der Torre and J. Treur, Formalisation and analysis of the temporal dynamics of conditioning, eds. J. P. Mueller and F. Zambonelli, in Proceedings of the Sixth International Workshop on Agent-Oriented Software Engineering, AOSE'05 (2005), pp. 157-168. Extended version appeared in: Cognitive Systems Research 8(1) (2007) 36-47.
8. T. Bosse, C. M. Jonker, L. van der Meij and J. Treur, LEADSTO: A Language and Environment for Analysis of Dynamics SimulaTiOn, eds. T. Eymann et al., in Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05, LNAI, Vol. 3550 (Springer Verlag, 2005), pp. 165-178. Extended version appeared in: International Journal of Artificial Intelligence Tools 16(3) (2007) 435-464.
9. T. Bosse, C. M. Jonker, M. C. Schut and J. Treur, Simulation and analysis of shared extended mind, Simulation Journal (Transactions of the Society for Modelling and Simulation) 81 (2005) 719-732.
10. T. Bosse, C. M. Jonker, M. C. Schut and J. Treur, Collective representational content for shared extended mind, Cognitive Systems Research Journal 7 (2006) 151-174.
11. T. Bosse, C. M. Jonker and J. Treur, Representational content and the reciprocal interplay of agent and environment, eds. J. Leite, A. Omincini, P. Torroni and P. Yolum, in Proc. of the Second Int. Workshop on Declarative Agent Languages and Technologies, DALT'04, LNAI, Vol. 3476 (Springer Verlag, 2005), pp. 270-288.
12. T. Bosse, C. M. Jonker and J. Treur, An integrative modelling approach for simulation and analysis of adaptive agents, in Proc. 39th Annual Simulation Symposium (IEEE Computer Society Press), pp. 312-319. Extended version appeared in: Advances in Complex Systems 10(3) (2007) 335-357.
13. T. Bosse, C. M. Jonker and J. Treur, Formalization and analyisis of reasoning by assumption, Cognitive Science Journal 30(1) (2006) 147-180.
14. M. Broy and S. Jahnichen, KORSO: Methods, languages, and tools for the construction of correct software - Final report, LNCS, Vol. 1009 (Springer Verlag, 1995).
15. A. Clark, Being There: Putting Brain, Body and World Together Again (MIT Press, Cambridge, MA, 1997).
16. A. Clark, Reasons, robots and the extended mind, Mind & Language 16 (2001) 121-145.
17. E. M. Clarke, O. Grumberg and D. A. Peled, Model Checking (MIT Press, 2000).
18. J. M. Davoren and A. Nerode, Logics for hybrid systems, in Proceedings of the IEEE 88(7) (2000) 985-1010.
19. H. Gleitman, Psychology (W. W. Norton & Company, New York, 1999).
20. R. Goldblatt, Logics of Time and Computation, 2nd edn. (CSLI Lecture Notes 7, 1992).
21. D. E. Herlea Damian, C. M. Jonker, J. Treur and N. J. E. Wijngaards, Integration of behavioural requirements specification within compositional knowledge engineering, Knowledge-Based Systems Journal 18 (2005) 353-365.
22. P. Jacob, What Minds Can Do? Intentionality in a Non-Intentional World (Cambridge University Press, Cambridge, 1997).
23. F. Jackson and P. Pettit, Program explanation: A general perspective, Analysis 50 (1990) 107-117.
24. C. M. Jonker and J. Treur, A temporal-interactivist perspective on the dynamics of mental states, Cognitive Systems Research 4 (2003) 137-155.
25. J. Kim, Philosophy of Mind (Westview Press, 1996).
26. J. Kim, Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation (MIT Press, Cambridge, Mass, 1998).
27. R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986) 67-95.
28. B. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (MIT Press, Cambridge, MA, 1994).
29. S. A. Los and C. E. van den Heuvel, Intentional and unintentional contributions to nonspecific preparation during reaction time foreperiods, Journal of Experimental Psychology: Human Perception and Performance 27 (2001) 370-386.
30. A. Machado, Learning the temporal dynamics of behaviour, Psychological Review 104 (1997) 241-265.
31. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety (Springer Verlag, 1995).
32. A. Mazurkiewicz, Trace theory, in Advances in Petri Nets II: Applications and Relationships to Other Models of Concurrency, LNCS Vol. 255 (Springer, 1987), pp. 279-324.
33. M. Manzano, Extensions of First Order Logic (Cambridge University Press, 1996).
34. C. E. Pearson, Numerical Methods in Engineering and Science (CRC Press, 1986).
35. R. F. Port and T. van Gelder (eds.), Mind as Motion: Explorations in the Dynamics of Cognition (MIT Press, Cambridge, Mass, 1995).
36. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (MIT Press, Cambridge, MA, 2001).
37. A. Sharpanskykh and J. Treur, Verifying Interlevel Relations within Multi-Agent Systems: Formal Theoretical Basis, Technical Report TR-1701AI, Vrije Universiteit, Amsterdam (2005) http://hdl.handle.net/1871/9777
38. C. Stirling, Modal and Temporal Properties of Processes (Springer Verlag, 2001)
39. B. Teusink, J. Passarge, C. A. Reijenga, E. Esgalhado, C. C. van der Weijden, M. Schepper, M. C. Walsh, B. M. Bakker, K. van Dam, H. V. Westerhoff and J. L. Snoep, Can yeast glycolysis be understood in terms of in vitro kinetics of the constituent enzymes? Testing biochemistry. Eur J Biochem. 267(17) (Sep. 2000) 5313-5329.
40. P. Wolper, Temporal logic can be more expressive, Information and Control 56(1-2) (1983) 72-99.