Advertisement

System Properties of Action Theories

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

Abstract

Logic-based theories of action and automata-based systems theories share concerns about state dynamics that are however not reflected by shared insights. As an example of how to remedy this we examine a simple variety of situation calculus theories from the viewpoint of system-theoretic properties to reveal relationships between them. These provide insights into relationships between logic-based solution policies, and are suggestive of similar relationships for more complex versions.

Keywords

Action Theory System Property Markov Property Situation Calculus Situation Tree 
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. [Arbib 1969a]
    Arbib, M.: Theories of Abstract Automata. Prentice-Hall, Englewood Cliffs (1969)zbMATHGoogle Scholar
  2. [Arbib 1969b]
    Arbib, M.: Automata Theory: the rapprochement with control theory. In: Kalman, R., Falb, P., Arbib, M. (eds.) Topics in Mathematical Systems Theory, McGraw-Hill, New York (1969)Google Scholar
  3. [Baker 1991]
    Baker, A.: Nonmonotonic Reasoning in the Framework of the Situation Calculus. Artificial Intelligence 49, 5–23 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  4. [Foo, et.al 2000]
    Foo, N., Peppas, P., Vo, Q.B., Zhang, D.: Circumscriptive Models and Automata. In: Proceedings NRAC 2001 Workshop. 17th International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle (August 2001)Google Scholar
  5. [Foo and Peppas 2004]
    Foo, N., Peppas, P.: System Properties of Action Theories, Working paper downloadable from http://www.cse.unsw.edu.au/ksg/Pubs/ksgworking.html
  6. [Foo, et.al 2001]
    Foo, N., Nayak, A., Pagnucco, M., Zhang, D.: State Minimization Revisited. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS (LNAI), vol. 2256, pp. 153–164. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. [Hanks and McDermott 1987]
    Hanks, S., McDermott, D.: Nonmonotonic Logic and Temporal Projection. Artificial Intelligence 33, 379–412 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  8. [Lifschitz 1994]
    Lifschitz, V.: Circumscription. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) The Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, vol. 3, pp. 297–352. Oxford University Press, Oxford (1994)Google Scholar
  9. [Shanahan 1997]
    Shanahan, M.: Solving the Frame Problem: a mathematical investigation of the commonsense law of inertia. MIT Press, Cambridge (1997)Google Scholar
  10. [Thielscher 1999]
    Thielscher, M.: From Situation Calculus to Fluent Calculus. Artificial Intelligence 111, 277–299 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  11. [Winslett 1988]
    Winslett, M.: Reasoning about actions using a possible models approach. In: Proc.Seventh National Artificial Intelligence Conference, AAAI 1988, San Mateo, CA, Morgan Kaufmann Publishers, San Francisco (1988)Google Scholar
  12. [Zeigler, et.al. 2000]
    Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation:integrating discrete event and continuous complex dynamic systems, 2nd edn. Academic Press, San Diego (2000)Google Scholar
  13. [Zhang and Foo 1996]
    Winslett, M.: Reasoning about actions using a possible models approach. In: Proc.Seventh National Artificial Intelligence Conference, AAAI 1988, San Mateo, CA, Morgan Kaufmann Publishers, San Francisco (1988)MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

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

Personalised recommendations