Plan generation with the linear connection method

Article type: Research Article

Authors: Fronhöfer, Bertram

Affiliations: Institut für Informatik, TU München, D – 80290 München. E-mail: [email protected]

Abstract: The paper introduces to plan generation and the attempts and problems encountered with solutions by deductive methods. It presents the Linear Connection Method as a possibility to overcome the traditional shortcomings of logic for this application, which are discussed in great detail. This is followed by a guide to the research work carried out on the Linear Connection Method and related frameworks.

Keywords: logics for plan generation, linear connection method, situation calculus, fluent calculus

DOI: 10.3233/INF-1997-8101

Journal: Informatica, vol. 8, no. 1, pp. 3-22, 1997