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 downloading and filling out the Internet Distribution Consent Agreement. You may also contact the project coordinator Kerri Bottorff 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

PDF

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

Accessibility Status

Searchable text

This document is currently not available here.

Share

COinS