Classification problem solving in the domain of automatic programming
Abstract
Classification problem solving is a methodology for constructing knowledgebased systems, which we have applied to the task of program synthesis in the domain of automatic programming. However, an automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems may be specified by the user. Therefore, the TQ specification language has been designed as a formalism for specifying programming problems, not programs, by end users. To demonstrate the feasibility and potential of our approach, we have designed and implemented a prototype system called TOAD, which consists of a graphical user interface and an English generator for TQ and a problem solver based on classification problem solving. The problem solver contains two modules: a planner which constructs algorit~ms from the TQ specifications and a code generator which produces dBASE programs from the algorithms. Code generators could also be built for other high-level languages, such as COBOL or Ada. In addition to verifying the system's ability to generate programs for several different types of problems, we have conducted an inform.al experiment with naive users to test TQ and the user interface. All of the subjects were able to correctly specify one or more problems from our sample set. In contrast with previous efforts in automatic programming, our approach is intended particularly for end users, who can use TQ to describe problems rather than having to specify programs to solve those .problems. Most importantly program synthesis is completely automatic; the planner and code generator are able to construct procedural programs entirely from non-procedural specifications.
Notes
This item is only available in print in the UCF Libraries. If this is your thesis or dissertation, you can help us make it available online for use by researchers around the world by STARS for more information.
Graduation Date
1989
Semester
Summer
Advisor
Gomez, Fernando
Degree
Master of Science (M.S.)
College
College of Arts and Sciences
Department
Computer Science
Format
Pages
209 p.
Language
English
Length of Campus-only Access
None
Access Status
Masters Thesis (Open Access)
Identifier
DP0027223
Subjects
Arts and Sciences -- Dissertations Academic; Dissertations, Academic -- Arts and Sciences
STARS Citation
Wingate, O. P. Viva, "Classification problem solving in the domain of automatic programming" (1989). Retrospective Theses and Dissertations. 4247.
https://stars.library.ucf.edu/rtd/4247
Accessibility Status
Searchable text