RES: A formalism for reasoning with relative-strength defaults.
Z. AnMary McLeishPublished in: ECSQARU (1993)
Keyphrases
- knowledge representation
- default reasoning
- computational properties
- knowledge representation formalisms
- reasoning mechanisms
- probabilistic reasoning
- expressive power
- default rules
- default logic
- logical framework
- temporal knowledge
- causal reasoning
- reasoning services
- first order logic
- knowledge base
- modular ontologies
- description logics
- reasoning systems
- reasoning tasks
- truth maintenance systems
- model based reasoning
- analogical reasoning
- causal knowledge
- automated reasoning
- point algebra
- logic programs
- expert systems
- reasoning mechanism
- natural language
- logic programs with negation
- qualitative spatial reasoning
- commonsense reasoning
- legal reasoning
- default theories
- graphical representation
- knowledge structures
- situation calculus