Reasoning with Computers: Inference Vs. Backtracking.
Brian HarveyPublished in: Int. J. Comput. Math. Learn. (1998)
Keyphrases
- deductive reasoning
- inference engine
- probabilistic reasoning
- logical inference
- plausible reasoning
- hypothetical reasoning
- inference process
- abductive inference
- reasoning under uncertainty
- backward chaining
- evidential reasoning
- search algorithm
- bayesian networks
- reasoning systems
- constraint satisfaction
- inference mechanism
- rule based reasoning
- knowledge base
- dependency directed backtracking
- knowledge representation
- automated reasoning
- reasoning tasks
- probabilistic inference
- consistency checking
- forward chaining
- representing knowledge
- possibilistic networks
- bayesian inference
- computer technology
- qualitative reasoning
- spatial reasoning
- search tree
- belief networks
- backtracking algorithm
- knowledge based systems
- case based reasoning
- search space
- knowledge representation languages
- default reasoning
- nonmonotonic inference