Advertisement

Systems Theory: Melding the AI and Simulation Perspectives

  • Norman Foo
  • Pavlos Peppas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3397)

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.

Keywords

Frame Problem Query Answering Situation Calculus Event Calculus Experimental Frame 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Cohn 81]
    Cohn, P.M.: Universal Algebra (Mathematics and Its Applications). Kluwer Academic Publishers, Dordrecht (1981)Google Scholar
  2. [Fikes and Nilsson 71]
    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)zbMATHCrossRefGoogle Scholar
  3. [Foo 74]
    Foo, N.: Homomorphic Simplification of Systems, Doctoral Dissertation, Computer and Communication Sciences, University of Michigan (1974)Google Scholar
  4. [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
  5. [Kowalski and Sergot]
    Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing 4, 67–95 (1986)CrossRefGoogle Scholar
  6. [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
  7. [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
  8. [Peppas, et.al. 01]
    Peppas, P., Koutras, C.D., Williams, M.-A.: Prolegomena to Concise Theories of Action. Studia Logica 67(3), 403–418 (2002)CrossRefMathSciNetGoogle Scholar
  9. [Reiter 01]
    Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)zbMATHGoogle Scholar
  10. [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
  11. [Thielscher 97]
    Thielscher, M.: Ramification and Causality. Artificial Intelligence Journal 89(1-2), 317–364 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  12. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Norman Foo
    • 1
  • Pavlos Peppas
    • 2
  1. 1.National ICT Australia, and The School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia
  2. 2.Dept of Business AdministrationUniversity of PatrasPatrasGreece

Personalised recommendations