ACL RD-TEC 1.0 Summarization of J86-3006
Paper Title:
THE FINITE STRING NEWSLETTER: SITE REPORT ANOTHER FROM THE DARPA SERIES, OVERVIEW OF THE TACITUS PROJECT
THE FINITE STRING NEWSLETTER: SITE REPORT ANOTHER FROM THE DARPA SERIES, OVERVIEW OF THE TACITUS PROJECT
Primarily assigned technology terms:
- algorithm
- automated deduction
- automatic extraction
- computational linguistics
- data base
- deduction system
- domain knowledge acquisition
- encoding
- expert system
- first-order predicate calculus
- forward chaining
- instantiation
- knowledge acquisition
- knowledge bases
- knowledge-based processing
- message routing
- natural language system
- processing
- reasoning
- recognition
- semantic translation
- syntactic analysis
- unification
- vocabulary acquisition
Other assigned terms:
- abstract machine
- ambiguity
- approach
- axioms
- case
- commonsense knowledge
- compound nominal
- compound noun
- concept
- concepts
- constructive proof
- deduction
- device
- discourse
- discourse structure
- domain knowledge
- english syntax
- evaluation function
- head noun
- implementation
- interpretation
- knowledge
- knowledge base
- language discourse
- lexical items
- linguistics
- logical expression
- logical form
- measure
- message
- metonymy
- natural language
- natural language discourse
- nominals
- noun phrase
- nouns
- ontologies
- phrase
- phrase attachment
- predicate calculus
- predicates
- prepositional phrase
- prepositional phrase attachment
- process
- relation
- representations
- semantic
- sentence
- sentences
- syntactic ambiguity
- syntax
- temporal structure
- terms
- text
- theories
- theory
- user
- vocabulary
- words
- written discourse
