Concurrent Reasoning with Inference Graphs.
Daniel R. SchlegelStuart C. ShapiroPublished in: GKR (2013)
Keyphrases
- deductive reasoning
- logical inference
- plausible reasoning
- inference engine
- nonmonotonic inference
- reasoning under uncertainty
- evidential reasoning
- probabilistic reasoning
- backward chaining
- abductive inference
- graph matching
- inference process
- knowledge base
- possibilistic networks
- graph theoretic
- graph theory
- expert systems
- knowledge representation
- reasoning process
- hypothetical reasoning
- abductive reasoning
- inference mechanism
- probabilistic inference
- automated reasoning
- qualitative reasoning
- bayesian networks
- reasoning tasks
- legal reasoning
- graph mining
- consistency checking
- bayesian inference
- graph model
- forward chaining
- case based reasoning
- graphical structure
- artificial intelligence
- knowledge representation languages
- graph databases
- truth maintenance systems
- graph structure
- representing knowledge
- fuzzy reasoning
- spatial reasoning
- graph representation
- graph partitioning
- production rules
- model based diagnosis