TY  - RPRT
T1  - Plan generation using a method of deductive program synthesis 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1990 
A1  - Biundo,Susanne
Y1  - 2011/04/07
N2  - In this paper we introduce a planning approach based on a method of deductive program synthesis. The program synthesis system we rely upon takes first-order specifications and from these derives recursive programs automatically. It uses a set of transformation rules whose applications are guided by an overall strategy. Additionally several heuristics are involved which considerably reduce the search space. We show by means of an example taken from the blocks world how even recursive plans can be obtained with this method. Some modifications of the synthesis strategy and heuristics are discussed, which are necessary to obtain a powerful and automatic planning system. Finally it is shown how subplans can be introduced and generated separately. 
KW  - Künstliche Intelligenz
KW  - Programmsynthese
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3558
ER  -