1 |
Lexical Link Analysis Application: Improving Web Service to Acquisition Visibility Portal
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
2 |
Applications of Lexical Link Analysis Web Service for Large-Scale Automation, Validation, Discovery, Visualization, and Real-Time Program Awareness
|
|
|
|
In: DTIC (2012)
|
|
BASE
|
|
Show details
|
|
3 |
Portable Language-Independent Adaptive Translation From OCR
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
4 |
Portable Language-Independent Adaptive Translation from OCR
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
5 |
Portable Language-Independent Adaptive Translation from OCR. Phase 1
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
6 |
Coherence of Off-Topic Responses for a Virtual Character
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
7 |
Portable Language-Independent Adaptive Translation from OCR
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
8 |
Portable Language-Independent Adaptive Translation From OCR
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
9 |
A GH-Based Ontology to Support Applications for Automating Decision Support
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
10 |
The Case for Using Semantic Nets as a Convergence Format for Symbolic Information Fusion
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
12 |
Consolidating the Results of the CIRCSIM-Tutor Project and Further Consolidation of the Results of the CIRCSIM-Tutor Project
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
14 |
TRAINS: Dialogue Transcription Tools.
|
|
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
16 |
Detection and Correction of Repairs in Human-Computer Dialog
|
|
|
|
In: DTIC (1992)
|
|
BASE
|
|
Show details
|
|
18 |
A Nonclausal Connection-Graph Resolution Theorem-Proving Program
|
|
|
|
In: DTIC (1982)
|
|
Abstract:
This paper describes the theory behind, and features of, a new theorem-proving program that combines the use of nonclausal resolution and connection graphs. The program is being developed as a reasoning component of a natural-language-understanding system. The most important characteristics of the program are as follows: (1) nonclausal resolution is used as the inference system, which eliminates some of the redundancy and unreadability of clause-based systems; (2) a connection graph is used to represent permitted resolution operations, which restricts the search space and facilitates the use of graph searching for efficient deduction; and (3) heuristic search and special logical connectives are used for program control. This paper describes these aspects of the program, citing their advantages and disadvantages, and reviews the program's implementation and future status. ; Pub. in the Proceedings of the AAAI 1982 National Conference on Artificial Intelligence, p229-233, Aug 1982. Presented at the AAAI National Conference on Artificial Intelligence held in Pittsburgh, PA, in Aug 1982. Sponsored in part by the Defense Advanced Research Projects Agency (DARPA). Technical Note 268.
|
|
Keyword:
*COMPUTATIONAL LINGUISTICS; *CONNECTION GRAPHS; *GRAPHS; *INFORMATION PROCESSING; *LEARNING MACHINES; *NATURAL LANGUAGE; *NONCLAUSAL RESOLUTION; Cybernetics; DIALOGIC COMPUTER PROGRAM; EFFICIENCY; GRAPH SEARCHING; HEURISTIC METHODS; Linguistics; LINK SCHEDULING; LINKAGES; MACHINE AIDED INDEXING; MICROKLAUS COMPUTER PROGRAM; NATURAL DEDUCTION; NONCLAUSAL CONNECTION-GRAPH RESOLUTION; PREDICATE VARIABLES; REDUNDANCY; RESOLUTION; SCHEDULING; SEARCHING; SEMANTICS; THEOREM PROVERS; THEOREM-PROVING PROGRAMS
|
|
URL: http://www.dtic.mil/docs/citations/ADA460606 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA460606
|
|
BASE
|
|
Hide details
|
|
19 |
Adaptive Understanding: Correcting Erroneous Inferences.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
|
|