Alone Together: Compositional Reasoning and Inference for Weak Isolation.
Gowtham KakiKartik NagarMahsa NajafzadehSuresh JagannathanPublished in: CoRR (2017)
Keyphrases
- deductive reasoning
- inference engine
- logical inference
- plausible reasoning
- abductive inference
- probabilistic reasoning
- evidential reasoning
- inference process
- reasoning under uncertainty
- knowledge base
- backward chaining
- hypothetical reasoning
- nonmonotonic inference
- bayesian networks
- abductive reasoning
- probabilistic inference
- reasoning process
- automated reasoning
- knowledge representation
- random fields
- qualitative reasoning
- reasoning systems
- representing knowledge
- forward chaining
- model based reasoning
- analogical reasoning
- possibilistic networks
- consistency checking
- model based diagnosis
- bayesian inference
- efficient learning
- graphical models