ACL RD-TEC 1.0 Summarization of H86-1003
Paper Title:
OVERVIEW OF THE TACITUS PROJECT
OVERVIEW OF THE TACITUS PROJECT
Primarily assigned technology terms:
- algorithm
- automated deduction
- automatic extraction
- computational linguistics
- computing
- data base
- deduction system
- expert system
- first-order predicate calculus
- forward chaining
- instantiation
- knowledge bases
- knowledge-based processing
- message routing
- natural language system
- processing
- reasoning
- 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
- 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
- terms
- text
- theories
- theory
- vocabulary
- words
- written discourse
