Please use this identifier to cite or link to this item:
doi:10.22028/D291-24812
Title: | Plan generation using a method of deductive program synthesis |
Author(s): | Biundo, Susanne |
Language: | English |
Year of Publication: | 1990 |
OPUS Source: | Kaiserslautern ; Saarbrücken : DFKI, 1990 |
SWD key words: | Künstliche Intelligenz Programmsynthese |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
Abstract: | 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. |
Link to this record: | urn:nbn:de:bsz:291-scidok-35587 hdl:20.500.11880/24868 http://dx.doi.org/10.22028/D291-24812 |
Series name: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Series volume: | 90-09 |
Date of registration: | 7-Apr-2011 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
RR_90_09.pdf | 8,86 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.