An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic.
Tommaso FlaminioLluís GodoSara UgoliniPublished in: SUM (2022)
Keyphrases
- classical logic
- formal theory
- probability theory
- logic programming
- quantum computation
- probability distribution
- predicate logic
- multi valued
- sound and complete with respect
- proof theory
- modal operators
- qualitative reasoning
- modal logic
- conditional probabilities
- automated reasoning
- causal reasoning
- asynchronous circuits
- integrity checking
- case study
- databases
- computational properties
- posterior probability
- model checking
- neural network
- complete axiomatization