Abstract
As mentioned before, DPlan is intended as a tool to support the generation of finite programs. That is, plan generation is for small domains - with three or four objects - only. Generation of a universal plan covering all possible states of a domain, as we do with DPlan, is necessarily a complex problem because for most interesting domains the number of states grows exponentially with the number of objects. In the following, we first discuss what extensions and modifications would be needed to make DPlan competitive with state of the art planning systems. Afterwards, we discuss extensions which would improve DPlan as a tool for program synthesis. Finally, we discuss some relations to human problem solving.
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). 5. Conclusions and Further Research. 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_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-44846-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40174-2
Online ISBN: 978-3-540-44846-4
eBook Packages: Springer Book Archive