Abstract
In realistic circumstances reasoning almost always encounters changes in time. In [BIB 86] a logical calculus—the so-called linear proofs—was proposed, which integrates such changes in the form of transition rules into a classical logic framework. This paper presents three ways towards the semantics for this calculus. First, we prove its soundness through a translation into a suitable situational calculus. Second, we interpret it in a particular modal semantics. Third, we propose how to extend the semantics of first-order logic for the expression of planning problems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bibel, W.: Automated Theorem Proving, Vieweg 1982.
Bibel,W.: A Deductive Solution for Plan Generation, New Generation Computing 4 (1986) 115–132.
Fariñas del Cerro, L., Herzig, A.: An Automated Modal Logic of Elementary Changes. In: Non-Standard Logics for Automated Reasoning, Mamdani, Smets, Dubois and Prade Eds., Academic Press, 1988, pp. 63–79.
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.
Fronhöfer, B.: Linearity and Plan Generation, New Generation Computing 5 (1987) 213–225.
Fronhöfer, B.: PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming, IJCAI–87, 10th International Joint Conference on Artificial Intelligence, Milan, Italy, August 1987, pp. 15–17
Ginsberg, M., Smith, D.: Reasoning about Action I: A possible Worlds Approach. Artificial Intelligence 35, June 1988.
Harel D.: Dynamic Logic. In: Handbook of Philosophical Logic, (D.Gabbay, F.Guenthner, eds. ), D.Reidel 1984.
Kowalski, R.: Logic for Problem solving, North-Holland, Amsterdam 1979.
Lifschitz, V.: On the semantics of STRIPS. In: M.P. Georgeff and A.L. Lansky, editors, Reasoning about Actions and Plans, Morgan Kaufmann, Los Altos, 1986, pp. 1–8.
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: B. Meitzer and D. Michie, editors, Machine Intelligence, vol 4, pp. 463–502, Edinburgh University Press, Edinburgh, 1969.
Nilsson, N.J.: Principles of Artificial Intelligence, Springer 1980. [ROS 81] Rosenschein, S.: Plan Synthesis: A Logic Perspective, IJCAI–81, pp. 331–337.
Shoham, Y.: What is the Frame Problem, in: Reasoning about Actions and Plans, Morgan & Kaufmann 1986, pp. 83–98.
Shoham, Y.: Chronological Ignorance. In: Nonmonotonic Reasoning, M. Ginsberg, ed., Morgan Kaufmann, 1987, pp. 396–409.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bibel, W., Fariñas del Cerro, L., Fronhöfer, B., Herzig, A. (1989). Plan Generation by Linear Proofs: On Semantics. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive