Concurrent Reasoning with Inference Graphs.
Daniel R. SchlegelStuart C. ShapiroPublished in: AAAI (2013)
Keyphrases
- inference engine
- deductive reasoning
- hypothetical reasoning
- backward chaining
- logical inference
- inference process
- plausible reasoning
- evidential reasoning
- abductive inference
- knowledge representation
- consistency checking
- knowledge base
- graph theory
- nonmonotonic inference
- representing knowledge
- bayesian networks
- automated reasoning
- expert systems
- probabilistic reasoning
- graph representation
- graph databases
- reasoning under uncertainty
- qualitative reasoning
- graph mining
- graph matching
- probabilistic inference
- causal reasoning
- spanning tree
- inference mechanism
- model based diagnosis
- possibilistic networks
- mutual exclusion
- graph structure
- graph model
- structured objects
- representational power
- reasoning systems
- fuzzy reasoning
- spatial reasoning