Domain-Independent Automatic Programming

An automatic programming system is distinguished from a conventional programming system by its use of an explicit semantic model of the application domain to structure the dialogue between the system and the user, to understand the user's responses, and to translate these into actions. The major differences between the design effort reported here (and the project's main focuses) and other automatic programming projects are: first, its independence of any particular domain and its dialogue-driven acquisition of the domain to produce a Loose Model; second, the informal and typically ill-structured manner in which both this Loose Model and the task to be programmed are specified and their translation into a directly interpretable Precise Model.