ACL RD-TEC 1.0 Summarization of J81-1005
Paper Title:
TECHNICAL CORRESPONDENCE: ON THE UTILITY OF COMPUTING INFERENCES IN DATA BASE QUERY SYSTEMS
TECHNICAL CORRESPONDENCE: ON THE UTILITY OF COMPUTING INFERENCES IN DATA BASE QUERY SYSTEMS
Primarily assigned technology terms:
- artificial intelligence
- bottom-up parsing
- computational linguistics
- computer programming
- data base
- database
- heuristic search
- information system
- language processing
- language understanding
- logic programming
- logical inference
- natural language processing
- natural language understanding
- parsing
- pre-processing
- problem solving
- processing
- prolog
- search
- theorem prover
- theorem proving
- top-down parsing
Other assigned terms:
- axioms
- belief system
- binary relations
- clausal form
- computational linguist
- concept
- fact
- formalism
- grammar
- heuristic
- heuristics
- implementation
- input text
- intelligence
- knowledge
- linguist
- linguistics
- lisp
- logic
- meta-language
- natural language
- network structure
- prolog implementation
- relation
- representation structure
- resolution theorem
- semantic
- semantic networks
- sentence
- syntax
- syntax and semantics
- text
- textbook
- theorem
- theories
- theory
- topics
- understanding
