Accession Number : ADA131531

Title :   Mapping between Semantic Representations Using Horn Clauses.

Descriptive Note : Technical rept.,

Corporate Author : DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES

Personal Author(s) : Weischedel,Ralph M

PDF Url : ADA131531

Report Date : Jun 1983

Pagination or Media Count : 10

Abstract : Even after a unambiguous semantic interpretation has been computed for a sentence in context, there are at least three reasons that a system may map the semantic representation R into another from S: (1) The terms of R. while reflecting the user view, many require deeper understanding, e.g. may require a version S where metaphors have been analyzed; (2) Transformations of R may be more appropriate for the underlying application system, e.g. S may be a more nearly optimal form (These transformations may not be linguisticly motivated); (3) Some transformations may depend on non-structural context. Design considerations may favor factoring the processing into two stages, for reasons of understandability or for easier transportability of the components. This paper describes the use of Horn clauses for the three classes of transformations listed above. The transformations are part of a system that converts the English description of a software module into a formal specification, i.e. an abstract data type.

Descriptors :   *Semantics, Computer programs, Text processing, Natural language, Transformations, Mapping(Transformations)

Subject Categories : Linguistics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE