Skip to main content
SpringerLink
Log in

An abstract machine for reasoning about situations, actions, and causality

  • Conference paper
  • First Online:
Extensions of Logic Programming (ELP 1996)

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

Included in the following conference series:

Abstract

Over the last years several new approaches for modeling situations, actions, and causality within a deductive framework were proposed. These new approaches treat the facts about a situation as resources, which are consumed and produced by actions. In this paper we extend one of these approaches, viz. an equational logic approach, by reifying actions to become resources as well. Using the concept of a membrane we show how abstractions and hierarchical planning can be modeled in such an equational logic. Moreover, we rigorously prove that the extended equational logic program can be mapped onto the so-called chemical abstract machine [1]. As this machine is a model for parallel processes this may lead to a parallel computational model for reasoning about situations, actions, and causality.

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. G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 81–94, 1990.

    Google Scholar 

  2. W. Bibel. A deductive solution for plan generation. New Generation Computing, 4:115–132, 1986.

    Google Scholar 

  3. A. de Waal and M. Thielscher. Solving deductive planning problems using program analysis and transformation. In M. Proietti, editor, Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR). Springer, September 1995.

    Google Scholar 

  4. K. Eder. A resource-oriented deductive approach towards hierarchical planning. Diplomarbeit, Technische Universität Dresden, Fakultät Informatik, May 1995.

    Google Scholar 

  5. G. Große, S. Hölldobler, and J. Schneeberger. Linear deductive planning. Journal of Logic and Computation, 1996. (To appear).

    Google Scholar 

  6. J. Y. Girard. Linear logic. Journal of Theoretical Computer Science, 50(1):1–102, 1987.

    Google Scholar 

  7. S. Hölldobler and J. Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225–244, 1990. A short version appeared in the Proceedings of the German Workshop on Artificial Intelligence, Informatik Fachberichte 216, pages 63–73, 1989.

    Google Scholar 

  8. S. Hölldobler and M. Thielscher. Computing change and specificity with equational logic programs. Annals of Mathematics and Artificial Intelligence, 14(1):99–133, 1995.

    Google Scholar 

  9. J. McCarthy. Situations and actions and causal laws. Stanford Artificial Intelligence Project: Memo 2, 1963.

    Google Scholar 

  10. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, 1969.

    Google Scholar 

  11. A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4:258–282, 1982.

    Google Scholar 

  12. M. Masseron, C. Tollu, and J. Vauzielles. Generating plans in linear logic. In Foundations of Software Technology and Theoretical Computer Science, pages 63–75. Springer, LNCS 472, 1990.

    Google Scholar 

  13. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness resul for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation — Papers in Honor of John McCarthy, pages 359–380. Academic Press, 1991.

    Google Scholar 

  14. E. D. Sacerdoti. Planning in a hierarchy of abstraction spaces. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 412–422, 1973.

    Google Scholar 

  15. J. C. Shepherdson. SLDNF-resolution with equality. Journal of Automated Reasoning, 8:297–306, 1992.

    Google Scholar 

  16. M. Thielscher. On the completeness of SLDENF-resolution. Journal of Automated Reasoning, 1996. (To appear Fall '96).

    Google Scholar 

  17. D. H. D. Warren. An abstract Prolog instruction set. Technical Report 306, SRI International, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bristol, Queen's Building, University Walk, BS8 1TR, Bristol, UK

    Kerstin Eder

  2. Wissensverarbeitung, Informatik, TU Dresden, D-01062, Dresden, Germany

    Steffen Hölldobler

  3. International Computer Science Institute, 1947 Center Street, 94704-1198, Berkeley, CA, USA

    Michael Thielscher

Authors
  1. Kerstin Eder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steffen Hölldobler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Thielscher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Roy Dyckhoff Heinrich Herre Peter Schroeder-Heister

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag

About this paper

Cite this paper

Eder, K., Hölldobler, S., Thielscher, M. (1996). An abstract machine for reasoning about situations, actions, and causality. In: Dyckhoff, R., Herre, H., Schroeder-Heister, P. (eds) Extensions of Logic Programming. ELP 1996. Lecture Notes in Computer Science, vol 1050. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60983-0_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-60983-0_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49751-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation