Some Simplified Forms of Reasoning with Distance-Based Entailments.
Ofer ArieliAnna ZamanskyPublished in: Canadian Conference on AI (2008)
Keyphrases
- knowledge base
- logical reasoning
- computational properties
- information retrieval
- resource bounded
- model based reasoning
- consistency checking
- reasoning tasks
- qualitative reasoning
- meta level
- distance measure
- case study
- probabilistic reasoning
- inference rules
- automated reasoning
- outlier detection
- euclidean distance
- case based reasoning
- data sets