Default connections in a modal planning framework

  • Bertram Fronhöfer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 522)


We present a framework for plan generation based on rather ordinary modal logic. To overcome the frame problem which is due to the monotonicity of traditional logic, this framework is enhanced by a particular kind of “default reasoning”, which is enabled by the particular way we have chosen to specify plan generation problems. We claim that the proposed framework translates the essential ideas of linear proofs [BIB 86b] into modal logic.


logics for plan generation application of modal logic frame problem 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BIB 86a]
    Bibel, W.: Automated Theorem Proving, (second edition), Vieweg 1986.Google Scholar
  2. [BIB 86b]
    Bibel, W.: A Deductive Solution for Plan Generation, New Generation Computing, 4 (1986) 115–132.MATHCrossRefGoogle Scholar
  3. [FRO 83]
    Fronhöfer, B.: On Refinements of the Connection Method, COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 42, Algebra, Combinatorics and Logic in Computer Science, Györ, Hungary, 1983, pp. 391–401.Google Scholar
  4. [FRO 87]
    Fronhöfer, B.: Linearity and Plan Generation, New Generation Computing 5 (1987) 213–225.MATHGoogle Scholar
  5. [FRO 89]
    Fronhöfer, B.: Default Connections in a Modal Planning Framework, Technical Report FKI-108-89, Institut für Informatik, TU München.Google Scholar
  6. [JAC 87]
    Jackson, P.; Reichgelt, H.: A General Proof Method for First-Order Logic, IJCAI-87, 10th International Joint Conference on Artificial Intelligence, Milan, Italy, August 87 (J.McDermott, ed.) pp. 942–944.Google Scholar
  7. [OHL 88]
    Ohlbach, H.-J.: A Resolution Calculus for Modal Logics, CADE-88, Argonne, Illinois, USA, May 1988 (E. Lusk, R. Overbeek, eds.) pp. 500–516.Google Scholar
  8. [WAL 87]
    Wallen, L.: Matrix Proof Methods for Modal Logics, IJCAI-87, 10th International Joint Conference on Artificial Intelligence, Milan, Italy, August 87 (J. McDermott, ed.) pp. 917–923.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Bertram Fronhöfer
    • 1
  1. 1.Institut für InformatikTechnische UniversitÄt MünchenMünchen 2West Germany

Personalised recommendations