Linear proofs and linear logic
In  a modification of the Connection Method  called Linear Proofs was introduced which constituted a new logical approach to plan generation. Inspired by this idea in  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.
KeywordsLinear Proofs Linear Logic Logics for Planning
Unable to display preview. Download preview PDF.
- W. Bibel. Automated Theorem Proving. Vieweg, 1982.Google Scholar
- W. Bibel. A Deductive Solution for Plan Generation. New Generation Computing, 6:115–132, 1986.Google Scholar
- B. Fronhöfer. Linear proofs and linear logic. Technical report, Technical University Munich, 1992.Google Scholar
- Jean-Yves Girard. La Logique Lineaire. Pour la Science, Edition française de Scientific American, pages 74–85, April 1990.Google Scholar
- 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
- 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
- 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