Errors of Reasoning: Naturalizing the Logic of Inference, John Woods. College Publications, London (2013), ISBN: 978-1-84890-114-8.
Matthieu FontainePublished in: J. Appl. Log. (2014)
Keyphrases
- deductive reasoning
- logical inference
- abductive reasoning
- automated reasoning
- nonmonotonic inference
- proof theory
- probabilistic reasoning
- inference engine
- probabilistic logic
- order of magnitude reasoning
- knowledge base
- evidential reasoning
- logic programming
- intuitionistic logic
- theorem proving
- reasoning engine
- hypothetical reasoning
- inference process
- reasoning tasks
- logical framework
- nonmonotonic reasoning
- abductive inference
- digital libraries
- conditional logic
- knowledge representation
- modal logic
- truth maintenance systems
- human reasoning
- reasoning under uncertainty
- representing knowledge
- default reasoning
- computational properties
- inference mechanism
- reasoning systems
- proof theoretic
- bayesian inference
- horn logic
- knowledge representation languages
- bayesian networks
- belief networks
- reasoning about actions
- qualitative reasoning
- theorem prover
- college students
- consistency checking
- multi valued