First steps towards probabilistic justification logic.
Ioannis KokkinisPetar MaksimovicZoran OgnjanovicThomas StuderPublished in: Log. J. IGPL (2015)
Keyphrases
- probabilistic logic
- probability theory
- logical inference
- probabilistic model
- bayesian networks
- generative model
- multi valued
- probabilistic knowledge
- relational databases
- classical logic
- conditional probabilities
- epistemic logic
- set theory
- modal logic
- posterior probability
- data sets
- information theoretic
- logic programming
- artificial intelligence
- real world
- neural network