Abstract
The planning system DPlan is designed as a tool to support the first step of inductive program synthesis - generating finite programs for transforming input examples into the desired output. Because our work is in the context of program synthesis, planning is for small, deterministic domains and completeness and optimality are of more concern than efficiency considerations.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schmid, U. (2003). 3. Constructing Complete Sets of Optimal Plans. In: Inductive Synthesis of Functional Programs. Lecture Notes in Computer Science(), vol 2654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44846-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-44846-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40174-2
Online ISBN: 978-3-540-44846-4
eBook Packages: Springer Book Archive