Two-Layered Logics for Paraconsistent Probabilities.
Marta BílkováSabine FrittellaDaniil KozhemiachenkoOndrej MajerPublished in: WoLLIC (2023)
Keyphrases
- inference rules
- valued semantics
- logic programming
- truth values
- probability theory
- modal logic
- conditional probabilities
- classical logic
- expressive power
- inconsistent knowledge
- belief networks
- valued logic
- rare events
- propositional calculus
- probability values
- proof theory
- probability distribution
- highest probability
- possibility theory
- conditional logic
- decision procedures
- neural network
- multi valued
- default logic
- bayesian networks
- artificial intelligence