Alone together: compositional reasoning and inference for weak isolation.
Gowtham KakiKartik NagarMahsa NajafzadehSuresh JagannathanPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- meta level
- abductive inference
- artificial intelligence
- probabilistic inference
- bayesian inference
- evidential reasoning
- grammatical inference
- inference process
- logical inference
- case based reasoning
- bayesian networks
- knowledge base
- reasoning systems
- backward chaining
- deductive reasoning
- reasoning under uncertainty
- representing knowledge
- abductive reasoning
- forward chaining
- inference mechanism
- analogical reasoning
- neural network
- efficient learning
- bayesian model
- probabilistic reasoning
- random fields
- graphical models
- genetic algorithm