Systems Theory: Melding the AI and Simulation Perspectives
The discipline of modelling and simulation (MaS) preceded artificial intelligence (AI) chronologically. Moreover, the workers in one area are typically unfamiliar with, and sometimes unsympathetic to, those in the other. One reason for this is that in MaS the formal tools tend to center around analysis and probability theory with statistics, while in AI there is extensive use of discrete mathematics of one form or another, particularly logic. Over the years however, MaS and AI developed many frameworks and perspectives that are more similar than their respective practitioners may care to admit. We will argue in this paper that these parallel developments have led to some myopia that should be overcome because techniques and insights borrowed from the other discipline can be very beneficial.
KeywordsFrame Problem Query Answering Situation Calculus Event Calculus Experimental Frame
Unable to display preview. Download preview PDF.
- [Cohn 81]Cohn, P.M.: Universal Algebra (Mathematics and Its Applications). Kluwer Academic Publishers, Dordrecht (1981)Google Scholar
- [Fikes and Nilsson 71]
- [Foo 74]Foo, N.: Homomorphic Simplification of Systems, Doctoral Dissertation, Computer and Communication Sciences, University of Michigan (1974)Google Scholar
- [Foo, et.al. 01]Foo, N., Zhang, D., Vo, Q.B., Peppas, P.: Circumscriptive Models and Automata, working paper, downloadable from, http://www.cse.unsw.edu.au/ksg/Pubs/ksgworking.html
- [Kowalski and Sergot]
- [Pagnucco and Peppas 01]Pagnucco, M., Peppas, P.: Causality and Minimal Change Demystified. In: Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI 2001), August 2001, Seattle, pp. 125-130. Morgan Kaufmann,san Francisco (2001), downloadable from http://www.cse.unsw.edu.au/ksg/Abstracts/Conf/ijcai01-DeMystify.html
- [Peppas 93]Peppas, P.: Belief Change and Reasoning about Action – An Axiomatic Approach to Modelling Inert Dynamic Worlds and the Connection to the Logic of Theory Change, Doctoral Thesis, Computer Science, University of Sydney (1993), downloadable from http://www.cse.unsw.edu.au/ksg/Abstracts/Thesis/pavlos.PhD.html
- [Peppas, et.al. 01]
- [Reiter 01]
- [Sandewall 95]Sandewall, E.: Features and Fluents – The Representation of Knowledge about Dynamical Systems. Series: Oxford Logic Guides, vol. 1. Clarendon Press, Oxford (1995)Google Scholar
- [Thielscher 97]
- [Zeigler, et.al. 2000]Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)Google Scholar