Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
Plan generation using a method of deductive program synthesis
URN: urn:nbn:de:bsz:291-scidok-35587
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3558/
Quelle:
(1990) Kaiserslautern ; Saarbrücken : DFKI, 1990
pdf-Format:
Dokument 1.pdf (8.857 KB)
SWD-Schlagwörter:
Künstliche Intelligenz , Programmsynthese
Institut:
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Bandnummer:
90-09
Sprache:
Englisch
Erstellungsjahr:
1990
Publikationsdatum:
07.04.2011
Kurzfassung auf Englisch:
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.
Lizenz:
Standard-Veröffentlichungsvertrag