A language and environment for analysis of dynamics by simulation

International Journal on Artificial Intelligence Tools

Volumn 16, Issue 3, 2007, Pages 435-464

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

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Causal relations; Simulation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATABASE SYSTEMS; DYNAMIC PROGRAMMING;

CAUSAL RELATIONS; DYNAMIC PROCESSES; SOFTWARE ENVIRONMENT;

SOFTWARE ENGINEERING;

EID: 34250326285     PISSN: 02182130     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218213007003357     Document Type: Article

References (38)

1. Barringer, H., Fisher, M., Gabbay, D., Owens, R., and Reynolds, M. The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons, 1996.
2. Forbus, K.D. Qualitative process theory. Artificial Intelligence, volume 24, number 1-3, 1984, pp. 85-168.
3. Port, R.F., and Gelder, T. van (eds.). Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass, 1995.
4. Fisher, M. METATEM: The Story so Far. In: Proceedings of the Third International Workshop on Programming Multi-Agent Systems, ProMAS'03. Lecture Notes in Artificial Intelligence, vol. 3862. Springer Verlag, 2005, pp. 3-22.
5. Fisher, M. (2005). Temporal Development Methods for Agent-Based Systems, Journal of Autonomous Agents and Multi-Agent Systems, vol. 10, pp. 41-66.
6. Galton, A. (2003). Temporal Logic. Stanford Encyclopedia of Philosophy, URL: http://plato.stanford.edu/entries/logic-temporal/.
7. Galton, A. (2006). Operators vs Arguments: The Ins and Outs of Reification. Synthese, vol. 150, 2006, pp. 415-441.
8. Kelso, J.A.S. (1995). Dynamic Patterns: the Self-Organisation of Brain and Behaviour. MIT Press, Cambridge, Mass.
9. Ashby, W.R. (1952). Design for a Brain. Chapman & Hall, London. Revised edition 1960.
10. Meyer, J.J.Ch., and Treur, J. (volume eds.) Agent-based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems (D. Gabbay and Ph. Smets, series eds.), vol. 7. Kluwer Academic Publishers, 2002.
11. Manzano, M. Extensions of First Order Logic, Cambridge University Press, 1996.
12. Blarney, S. Partial Logic, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, 1-70, Reidel, Dordrecht, 1986.
13. Barringer, H., Fisher, M., Gabbay, D., Owens, R., and Reynolds, M. METATEM: A framework for programming in temporal logic. In: Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Lecture Notes in Computer Science, vol. 430. Springer Verlag, 1989, pp. 94-129.
14. Fisher, M. (1997). A Normal Form for Temporal Logics and its Applications in TheoremProving and Execution. Journal of Logic and Computation, vol. 7, 1997, pp. 429-456.
15. Gabbay, D.M. (1989). The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In B. Banieqbal, H. Barringer, and A. Pnueli, (eds), Proceedings of the 1st Conference on Temporal Logic in Specification. Lecture Notes in Computer Science, vol. 398. Springer Verlag, 1989, pp. 409-448.
16. Gabbay, D.M., Hodkinson, I., Reynolds, M. (1994). Temporal Logic: Mathematical and Computational Aspects, Vol. 1. Clarendon Press, Oxford, 1994.
17. Hodkinson, I., and Reynolds, M. (2005). Separation - Past, Present and Future. In: We Will Show Them: Essays in Honour of Dov Gabbay, Vol 2. S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods (eds.), pp. 117-142, College Publications, 2005.
18. Bosse, T., Delfos, M.F., Jonker, C.M., and Treur, J. Analysis of Adaptive Dynamical Systems for Eating Regulation Disorders. Proceedings of the 25th Annual Conference of the Cognitive Science Society, CogSci 2003. Mahwah, NJ: Lawrence Erlbaum Associates, Inc., 2003, pp. 168-173.
19. Extended version in: Simulation Journal: Transactions of the Society for Modeling and Simulation International, volume 82, issue 3, 2006, pp. 159-171.
20. Bosse, T., Jonker, C.M., Los, S.A., Torre, L. van der, and Treur, J. 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, 2005.
21. Extended version will appear in: Cognitive Systems Research Journal.
22. Bosse, T., Jonker, CM., Schut, M.C., and Treur, J. Simulation and Analysis of Shared Extended Mind. In: Davidsson, P., Gasser, L., Logan, B., and Takadama, K. (eds.), Proc. of the Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, MAMABS'04. Lecture Notes in AI, vol. 3415, Springer Verlag, 2005, pp. 248-264.
23. Extended version in: Simulation Journal: Transactions of the Society for Modeling and Simulation International, volume 81, issue 9, 2005, pp. 719-732.
24. Delfos, M.F. Lost Figure: Treatment of Anorexia, Bulimia and Obesitas (in Dutch). Swets and Zeitlinger Publishers, Lisse, 2002.
25. Machado, A. Learning the Temporal Dynamics of Behaviour. Psychological Review, vol. 104, 1997, pp. 241-265.
26. Zhou, C., Hoare, C.A.R., and Ravn, A.P. A Calculus of Durations, Information Processing Letter, 40, 5, 1991, pp. 269-276.
27. Moszkowski, B., and Manna, Z. Reasoning in Interval Temporal Logic. In Clarke, E., and Kozen, D., editors, Proceedings of the Workshop on Logics of Programs, volume 164 of LNCS, pp. 371-382, Pittsburgh, PA, June 1983. Springer Verlag.
28. Pandya, P.K., Model checking CTL[DC]. In: Proceedings of TACAS 2001, Genova, LNCS 2031, Springer-Verlag, April 2001. Also as Technical Report TCS-00-PKP-2, Tata Institute of Fundamental Research, Mumbai, 2000. http://www.tcs.tifr.res.in/~pandya/dcvalid103.html.
29. Dierks, H. PLC-automata: A new class of implementable real-time automata. In: M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development (ARTS'97), volume 1231 of Lecture Notes in Computer Science, pp. 111-125. Springer-Verlag, 1997.
30. Greenland, S., and Brumback, B.A. An overview of relations among causal modeling methods. International Journal of Epidemiology, 31, pp. 1030-1037, 2002.
31. Berleant, D., and Kuipers, B. Qualitative and quantitative simulation: bridging the gap. Artificial Intelligence Journal, vol. 95, issue 2, 1997, pp. 215-255.
32. Bosse, T., Jonker, C.M., and Treur, J. Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. In: Mira, J., Alvarez, J.R. (eds.), Proc. of the First International Work-conference on the Interplay between Natural and Artificial Computation, IWINAC'05, Lecture Notes in Artificial Intelligence, vol. 3561. Springer Verlag, 2005, pp. 430-439.
33. Extended version in: Cognitive Science Journal, volume 30, issue 1, 2006, in press.
34. Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V., and Wijngaards, W.C.A. Putting Intentions into Cell Biochemistry: An Artificial Intelligence Perspective. Journal of Theoretical Biology, vol. 214, 2002, pp. 105-134.
35. Bosse, T., Jonker, C.M., and Treur, J. Organisation Modelling for the Dynamics of Complex Biological Processes. In: G. Lindemann, D. Moldt, M. Paolucci, B. Yu (eds.), Regulated Agent-Based Social Systems, Proc. of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications, RASTA'02. Lecture Notes in AI, vol. 2934. Springer Verlag, 2004, pp. 92-112.
36. Hoogendoorn, M., Jonker, C.M., Schut, M., and Treur, J. Modelling the Organisation of Organisational Change. In: Giorgini, P., and Winikoff, M., (eds.), Proceedings of the Sixth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS'04), 2004, pp. 29-46.
37. Hoogendoorn, M., Jonker, C.M., Popova, V., Sharpaskykh, A., Xu, L. Formal Modelling and Comparing of Disaster Plans. In: Carle, B., and Walle, B. van de, (eds.), Proceedings of the Second International Conference on Information Systems for Crisis Response and Management ISCRAM'05, 2005, pp. 97-107.
38. Bosse, T., Jonker, C.M., and Treur, J. Analysis of Design Process Dynamics. In: R. Lopez de Mantaras, L. Saitta (eds.), Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'04, 2004, pp. 293-297.