Accession Number : ADA131479

Title :   Design of a System That Understands Informal Specifications.

Descriptive Note : Interim technical rept.,


Personal Author(s) : Weischedel,Ralph M ; Chester,Daniel L

PDF Url : ADA131479

Report Date : Apr 1983

Pagination or Media Count : 17

Abstract : This paper investigates an artificial intelligence to combining the advantages of both formal and natural languages. The long-term goal is a system which could take as input an English definition of a module, and generate an equivalent formal specification. In addition, the system should generate an English paraphrase of its understanding of the input, so that the user may easily check the system's understanding. The remainder of the paper describes the design decisions made in implementing a prototype to understand English texts defining data structures. Section 2 enumerates some of the reasons we feel are most important for using natural language. Section 3 defines the target specification language and the motivation in selecting it. Section 4 relates our experience in using a parser for texts defining data structures. Section 5 deals with semantic issues such as interpreting spatial metaphors and selecting precise translations of vague English terms. Related work and our conclusions are presented in sections 6 and 7.

Descriptors :   *Computer programs, *Natural language, *Specifications, *Information processing, Language translation, Motivation, Text processing, Word organized storage, Words(Language), Modules(Electronics), Semantics, Syntax

Subject Categories : Information Science
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE