Skip to main content
SpringerLink
Log in

System Properties of Action Theories

  • Conference paper
Artificial Intelligence and Simulation (AIS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arbib, M.: Theories of Abstract Automata. Prentice-Hall, Englewood Cliffs (1969)

    MATH  Google Scholar 

  2. 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, A.: Nonmonotonic Reasoning in the Framework of the Situation Calculus. Artificial Intelligence 49, 5–23 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  4. 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, N., Peppas, P.: System Properties of Action Theories, Working paper downloadable from http://www.cse.unsw.edu.au/ksg/Pubs/ksgworking.html

  6. 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)

    Chapter  Google Scholar 

  7. Hanks, S., McDermott, D.: Nonmonotonic Logic and Temporal Projection. Artificial Intelligence 33, 379–412 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  8. 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, M.: Solving the Frame Problem: a mathematical investigation of the commonsense law of inertia. MIT Press, Cambridge (1997)

    Google Scholar 

  10. Thielscher, M.: From Situation Calculus to Fluent Calculus. Artificial Intelligence 111, 277–299 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  11. 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, 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. 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)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, University of New South Wales, Sydney, NSW 2052, Australia

    Norman Foo

  2. Dept of Business Administration, University of Patras, Patras, 26 500, Greece

    Pavlos Peppas

Authors
  1. Norman Foo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pavlos Peppas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of EECS, Korea Advanced Institute of Science and Technology (KAIST), 373-1 Guseong-dong, Yuseong-gu, Daejeon, Republic of Korea

    Tag Gon Kim

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Foo, N., Peppas, P. (2005). System Properties of Action Theories. 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_45

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30583-5_45

  • 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)

Publish with us

Policies and ethics

Search

Navigation