Specification and verification of dynamics in cognitive agent models

Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06

Volumn , Issue , 2006, Pages 247-254

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

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; SPECIFICATIONS; VERIFICATION;

FORMAL SPECIFICATION; SOFTWARE ENVIRONMENT; TEMPORAL TRACE LANGUAGE (TTL);

SOFTWARE AGENTS;

EID: 38949084577     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAT.2006.112     Document Type: Conference Paper

References (25)

1. Andreka, H., Nemeti, I., and van Benthem, J. (1998). Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic, 27(3): 217-274, 1998.
2. Barringer, H., M. Fisher, D. Gabbay, R. Owens, & M. Reynolds (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons.
3. Benthem, J.F.A.K., van (1983). The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Reidel, Dordrecht.
4. Bonabeau, J. Dorigo, M. and Theraulaz, G. (1999). Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press, New York.
5. Bosse, T., Jonker, C.M., Los, S.A., Torre, L. van der, and Treur, J. (2005). Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: Mueller, J.P. and Zambonelli, F. (eds.), Proceedings of the Sixth International Workshop on Agent-Oriented Software Engineering, AOSE'05, pp. 157-168.
6. Bosse, T., Jonker, C.M., Meij, L. van der, and Treur, J. (2005). LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Eymann, T., et al. (eds.), Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. LNAI, vol. 3550. Springer Verlag, pp. 165-178
7. Bosse, T., Jonker, C.M., Schut, M.C., and Treur, J. (2004). Simulation and Analysis of Shared Extended Mind. Simulation Journal (Transactions of the Society for Modelling and Simulation), vol. 81, 2005, pp. 719-732.
8. Bosse, T., Jonker, C.M., and Treur, J. (2006). An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents. In: Proc. of the 39th Annual Simulation Symposium. IEEE Computer Society Press, pp. 312-319.
9. Bosse, T., Jonker, C.M., and Treur, J. (2005). Representational Content and the Reciprocal Interplay of Agent and Environment. In: Leite, J., Omincini, A., Torroni, P., and Yolum, P. (eds.), Proc. of the Second Int. Workshop on Declarative Agent Languages and Technologies, DALT'04. LNAI, vol. 3476. Springer Verlag, pp. 270-288.
10. Bosse, T., Jonker, C.M., and Treur, J. (2006). Formalization and Analyisis of Reasoning by Assumption. Cognitive Science Journal, vol. 30, issue 1, pp. 147-180.
11. Broy, M., and Jahnichen, S. (1995). KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report. LNCS, vol. 1009. Springer Verlag.
12. Clarke, E.M., Grumberg, O., and Peled, D.A. (2000). Model Checking. MIT Press.
13. Gleitman, H. (1999). Psychology. W.W. Norton & Company, New York.
14. Goldblatt, R. (1992). Logics of Time and Computation, 2nd edition, CSLI Lecture Notes 7.
15. Kim, J. (1996). Philosophy of Mind. Westview Press.
16. Kowalski, R., and Sergot, M. (1986). A logic-based calculus of events, New Generation Computing, 4: 67-95.
17. Los, S.A. and Heuvel, C.E, van den. (2001). Intentional and Unintentional Contributions to Nonspecific Preparation During Reaction Time Foreperiods. Journal of Experimental Psychology: Human Perception and Performance, vol. 27, pp. 370-386.
18. Machado, A. (1997). Learning the Temporal Dynamics of Behaviour. Psychological Review, vol. 104, pp. 241-265.
19. Manna, Z., and Pnueli, A. (1995). Temporal Verification of Reactive Systems: Safety. Springer Verlag.
20. Pearson, C.E. (1986). Numerical Methods in Engineering and Science. CRC Press.
21. Port, R.F., Gelder, T. van (eds.) (1995). Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass.
22. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, Cambridge MA: MIT Press.
23. Sharpanskykh, A. and Treur, J. (2005). Verifying Interlevel Relations within Multi-Agent Systems: Formal Theoretical Basis, Technical Report TR-1701AI. VU Amsterdam, 2005. http://hdl.handle.net/1871/9777
24. Stirling, C. (2001). Modal and Temporal Properties of Processes. Springer Verlag.
25. Wolper, P. (1983). Temporal logic can be more expressive. Information and Control, vol. 56(1-2), pp. 72-99.