Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach.
Atocha Aliseda-LleraPublished in: Synth. (2003)
Keyphrases
- abductive reasoning
- reasoning tasks
- probabilistic logic
- nonmonotonic reasoning
- logic programs
- inference rules
- causal inference
- logical representation
- natural language understanding
- logic programming
- plan recognition
- temporal reasoning
- description logics
- default reasoning
- automated reasoning
- situation calculus
- probabilistic reasoning
- fuzzy logic
- prime implicates
- knowledge representation
- machine learning