On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems.
Angelo GilioDavid E. OverNiki PfeiferGiuseppe SanfilippoPublished in: CoRR (2023)
Keyphrases
- inference rules
- modal logic
- conditional logic
- intuitionistic logic
- anti unification
- expressive power
- data driven
- probability theory
- probabilistic model
- generative model
- probabilistic logic
- uncertain data
- inheritance reasoning
- proof theoretic
- classical logic
- default reasoning
- bayesian networks
- real time
- context sensitive
- posterior probability
- theorem proving
- probabilistic reasoning
- nonmonotonic reasoning
- conditional probabilities
- belief revision
- information systems
- probabilistic approaches
- proof search
- neural network
- data sets
- database