Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cohn, P.M.: Universal Algebra (Mathematics and Its Applications). Kluwer Academic Publishers, Dordrecht (1981)
Fikes, R.E., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2, 189–208 (1971)
Foo, N.: Homomorphic Simplification of Systems, Doctoral Dissertation, Computer and Communication Sciences, University of Michigan (1974)
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, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)
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, 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, P., Koutras, C.D., Williams, M.-A.: Prolegomena to Concise Theories of Action. Studia Logica 67(3), 403–418 (2002)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Sandewall, E.: Features and Fluents – The Representation of Knowledge about Dynamical Systems. Series: Oxford Logic Guides, vol. 1. Clarendon Press, Oxford (1995)
Thielscher, M.: Ramification and Causality. Artificial Intelligence Journal 89(1-2), 317–364 (1997)
Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Foo, N., Peppas, P. (2005). Systems Theory: Melding the AI and Simulation Perspectives. In: Kim, T.G. (eds) Artificial Intelligence and Simulation. AIS 2004. Lecture Notes in Computer Science(), vol 3397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30583-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-30583-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24476-9
Online ISBN: 978-3-540-30583-5
eBook Packages: Computer ScienceComputer Science (R0)