Domain-based program synthesis using planning and derivational analogy

In this thesis, I propose a domain-based, integrated framework for program synthesis that emphasizes the reuse of software components and past experience in solving problems. A crucial component of the framework is a concept dictionary that contains a description of domain related components. This forms a basis for communicating with a user in a high-level, application-oriented terms; for constructing generic, problem-solving rules, and for reasoning by analogy. The other components of the framework include a library of reusable subroutines, cliches, and derivation histories of previously solved problems, a layered rulebase, a hierarchical planner, and an analogical reasoner based on Carbonell's derivational analogy paradigm.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Bhansali, Sanjay

Contributors dc:contributor

• Harandi, Mehdi T.

• Computer Science

Statement dc:rights

• Copyright 1991 Bhansali, Sanjay

Language dc:language

eng

Identifier

AAI9136544
(UMI)AAI9136544

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/21384