4 |
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
5 |
Design of a System That Understands Informal Specifications.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
6 |
Knowledge Representation and Natural-Language Semantics.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
7 |
Mapping between Semantic Representations Using Horn Clauses.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
8 |
File Searching Problems in Logic Programming Systems.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
9 |
Two Discourse Generators. A Grammar and a Lexicon for a Text-Production System.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
Abstract:
Computer generation of text, linguistically justified grammars, KDS, PROTEUS, natural language, systemic grammar, text generation. Computer generation of text linguistically justified grammars, knowledge representation methods, PENMAN, natural language, systemic grammar, text generation. Because discourse generation is a relatively new branch of Artificial Intelligence, only a few incomplete discourse generators have been developed. A study of those efforts reveals the nature of the task, what makes it difficult, and how the complexities of discourse generation can be controlled. This report compares two recent discourse generation systems: PROTEUS, by Anthony Davey at the University of Edinburgh, and KDS, by Mann and Moore at USC/Information Sciences Institute. Viewing the systems separately, the author identifies particular techniques in each system that contribute strongly to the quality of the resulting text. A comparison of the two systems follows, with a discussion of their common failings and the possibility of creating a new system that combines the strengths of both PROTEUS and KDS. In a text-production system high and special demands are placed on the grammar and the lexicon. This report views these components in such a system. First, the subcomponents dealing with semantic and syntactic information are presented separately. The problems of relating these two types of information are then identified. Finally, strategies designed to meet the problems are proposed and discussed. One of the issues illustrated is what happens when a systemic linguistic approach is combined with a KL-ONE-like knowledge representation--a novel and hitherto unexplored combination.
|
|
Keyword:
*COMPUTER PROGRAMS; *GRAMMARS; *LEXICOGRAPHY; *TEXT PROCESSING; ARTIFICIAL INTELLIGENCE; COMPARISON; COMPUTER PROGRAMMING; Computer Programming and Software; Discourse generators; KDS system; NATURAL LANGUAGE; PE61102F; Proteus; SYNTAX; Two discourse generators; WORDS(LANGUAGE); WRITING; WUAFOSR2304A2
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA126353 http://www.dtic.mil/docs/citations/ADA126353
|
|
BASE
|
|
Hide details
|
|
13 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
14 |
Maximal Objects and the Semantics of Universal Relation Databases.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
15 |
An Algebraic Structure Theory of Rule Sets. I. A Formalization of Both Production Systems and Decision Tables.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
16 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
17 |
Computer as Author -- Results and Prospects.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
18 |
Translation of Phrase Structured Programming Languages.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
19 |
Acoustic/Linguistic Aspects of Automatic Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
20 |
Acoustic/Linguistic Aspects of Automatic Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
|