Please use this identifier to cite or link to this item:
doi:10.22028/D291-41584 | Title: | Island Planning and Refinement |
| Author(s): | Melis, Erica |
| Language: | English |
| Year of Publication: | 1996 |
| Place of publication: | Saarbrücken |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | Planning for realistic problems in a static and deterministic environment with complete information faces exponential search spaces and, more often than not, should produce plans comprehensible for the user. This article introduces new planning strategies inspired by proof planning examples in order to tackle the search-space-problem and the structured-plan-problem. Island planning and refinement as well as subproblem refinement are integrated into a general planning framework and some exemplary control knowledge suitable for proof planning is given. |
| Link to this record: | urn:nbn:de:bsz:291--ds-415848 hdl:20.500.11880/37834 http://dx.doi.org/10.22028/D291-41584 |
| Series name: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
| Series volume: | 96,10 |
| Date of registration: | 7-Jun-2024 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-Report-SR-96-10_Melis_Island-Planning-and-Refinement.pdf | 1,07 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.