Linear proofs and linear logic

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


In [3] a modification of the Connection Method [2] called Linear Proofs was introduced which constituted a new logical approach to plan generation. Inspired by this idea in [7] a similar approach based on Linear Logic was presented. The present paper analyses the relationship of these two approaches and shows to which extent they are equivalent and where they differ.


Linear Proofs Linear Logic Logics for Planning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Arnon Avron. The Semantics and Proof Theorie of Linear Logic. Theoretical Computer Science, (57):161–184, 1988.CrossRefGoogle Scholar
  2. [2]
    W. Bibel. Automated Theorem Proving. Vieweg, 1982.Google Scholar
  3. [3]
    W. Bibel. A Deductive Solution for Plan Generation. New Generation Computing, 6:115–132, 1986.Google Scholar
  4. [4]
    B. Fronhöfer. Linear proofs and linear logic. Technical report, Technical University Munich, 1992.Google Scholar
  5. [5]
    Jean-Yves Girard. La Logique Lineaire. Pour la Science, Edition française de Scientific American, pages 74–85, April 1990.Google Scholar
  6. [6]
    Pat Lincoln, John Mitchel, Andre Scedrov, and Natarajan Shankar. Decision problems for propositional linear logic. Technical Report SRI-CSL-90-08, SRI International, 1990.Google Scholar
  7. [7]
    M. Masseron, C. Tollu, and J. Vauzeilles. Generating Plans in Linear Logic. Technical Report 90–11, Université Paris Nord, Département de mathématiques et informatique, Avenue J.B.Clément, F-93430 Villetaneuse, December 1990.Google Scholar
  8. [8]
    J. McCarthy and P. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Bertram Fronhöfer
    • 1
  1. 1.Institute of InformaticsTechnical University MunichMunich 2

Personalised recommendations