ACL RD-TEC 1.0 Summarization of T78-1030
Paper Title:
ON REASONING BY DEFAULT
ON REASONING BY DEFAULT
Primarily assigned technology terms:
- algorithm
- artificial intelligence
- common sense reasoning
- computing
- data base
- decomposition
- forward chaining
- illustration
- knowledge representation
- language understanding
- linking
- logical analysis
- modeling
- natural language question-answering
- natural language understanding
- network representation
- problem solving
- processing
- prolog
- querying
- question-answering
- reasoning
- sense reasoning
- text understanding
- theorem prover
- theorem proving
Other assigned terms:
- accent
- approach
- axioms
- case
- clausal form
- common sense knowledge
- community
- computational complexity
- declarative knowledge
- deduction
- existential quantifier
- fact
- feature
- first order formulae
- first order logic
- first order theory
- frame
- frame schema
- heuristic
- human reasoning
- implementation
- inference rule
- inference rules
- inferences
- intelligence
- interpretation
- interpreter
- knowledge
- knowledge base
- logic
- logical representation
- logical structure
- mathematics
- natural language
- negation
- negation operator
- predicates
- procedure
- process
- quantifier
- query
- relation
- representation language
- schema
- stems
- terminals
- text
- theorem
- theoremhood
- theories
- theory
- understanding
