Skip to main content
SpringerLink
Log in

Belief update, the Markovian situation calculus, and discrete event systems

  • Knowledge Representation and Reasoning
  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence (AI 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1342))

Included in the following conference series:

  • 123 Accesses

Abstract

Imposing a markovian condition on the situation calculus enables the embedding of situation calculus theories into the DEVS (discrete event system specification) modelling and simulation framework. DEVS has an algebraic formalism relying on classical systems theory, and has been used to good effect in practical domains. The demonstrated correspondence between the situation calculus and DEVS is based upon an independently interesting translation from the semantics of circumscription into a simpler semantics based on belief updates.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrew B. Baker. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence, 49:5–23, 1991.

    Article  MathSciNet  Google Scholar 

  2. G. Neelakantan Kartha. Two counterexamples related to baker's approach to the frame proble m. Artificial Intelligence, 69:379–391, 1994.

    Article  Google Scholar 

  3. Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge and revising it. In Peter Gardenfors, editor, Belief Revision. Cambridge U.P., 1991.

    Google Scholar 

  4. Rob Miller and Murray Shanahan. Narratives in the situation calculus. Journal of Logic & Computation, 4(5):513–530, October 1994.

    Google Scholar 

  5. Javier Pinto and Raymond Reiter. Reasoning about time in the situation calculus. Annals of Mathematical and Artifical Intelligence, 14:251–268, September 1995.

    Article  Google Scholar 

  6. Raymond Reiter. Proving properties of states in the situation calculus. Artifical Intelligence, 64:337–351, 1994.

    Article  Google Scholar 

  7. Erik Sandewall. Filter preferential entailmentfor the logic of action in almost con tinuous worlds. In Proceedings of IJCAI '89. Morgan Kaufmann, 1989.

    Google Scholar 

  8. Murray Shanahan. Solving the Frame Problem. MIT Press, 1997.

    Google Scholar 

  9. Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of the American Association for Artifical Intelligence Conference, pages 89–93, 1988.

    Google Scholar 

  10. Marianne Winslett. Sometimes updates are circumscription. In Proceedings of the International Joint Conference for Artifical Intelligence, pages 859–863, 1989.

    Google Scholar 

  11. Bernard P. Zeigler. Theory of Modelling and Simualation. Wiley, New York, 1976.

    Google Scholar 

  12. Bernard P. Zeigler. Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems. Academic Press, Boston, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Knowledge Systems Group Department of Artificial Intelligence, University of New South Wales, Australia

    Tyrone O'Neill & Norman Foo

Authors
  1. Tyrone O'Neill
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norman Foo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Abdul Sattar

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

O'Neill, T., Foo, N. (1997). Belief update, the Markovian situation calculus, and discrete event systems. In: Sattar, A. (eds) Advanced Topics in Artificial Intelligence. AI 1997. Lecture Notes in Computer Science, vol 1342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63797-4_73

Download citation

  • DOI: https://doi.org/10.1007/3-540-63797-4_73

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63797-4

  • Online ISBN: 978-3-540-69649-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation