9 |
Portability in the Janus Natural Language Interface
|
|
|
|
In: DTIC (1989)
|
|
BASE
|
|
Show details
|
|
10 |
Research and Development in Natural Language Understanding as Part of the Strategic Computing Program
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
12 |
Out of the Laboratory: A Case Study with the IRUS Natural Language Interface
|
|
|
|
In: DTIC (1986)
|
|
BASE
|
|
Show details
|
|
14 |
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
15 |
Handling Ill-Formed Input: Session Introduction
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
16 |
Design of a System That Understands Informal Specifications.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
17 |
Mapping between Semantic Representations Using Horn Clauses.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
18 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
19 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
Abstract:
This report investigates in a preliminary study whether it is feasible in the foreseeable future to have software tools which under user guidance would aid in developing precise, rigorous specifications from English ones and in detecting ambiguity and vagueness in English specifications. This report identifies four substantial sources of modules which have been specified both in English and a formal language. Portions of one, the specification of KSOS, have been studied under this contract to determine which problems are most formidable for a natural language understanding system. The most difficult problems identified by this report are ambiguity in modifier placement, nominal compounds, quantification, definite reference, and the inference of unstated relationships. Problems that prove not to be as significant are lexical gaps, lexical ambiguity, conjunction, and parenthetical expressions. The work has also identified patterns of English expression in software specification and four areas for further study. Several practical suggestions for better documentation and for more understandable formal specifications are covered at length in a separate report. A sampling of that document is presented here.
|
|
Keyword:
*NATURAL LANGUAGE; COMPUTER APPLICATIONS; Computer Programming and Software; COMPUTER PROGRAMS; CONTROL SYSTEMS; ENGLISH LANGUAGE; Formal languages; GRAMMARS; Human Factors Engineering & Man Machine System; INFORMATION PROCESSING; INPUT; Linguistics; MACHINE TOOLS; PE61102F; PROGRAMMING LANGUAGES; SPECIFICATIONS; WUAFOSR2304A2
|
|
URL: http://www.dtic.mil/docs/citations/ADA089711 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA089711
|
|
BASE
|
|
Hide details
|
|
|
|