A Qualitative Belief Logic.
David HarmanecPetr HájekPublished in: Int. J. Uncertain. Fuzziness Knowl. Based Syst. (1994)
Keyphrases
- probability theory
- order of magnitude reasoning
- modal operators
- belief functions
- truth values
- possibility theory
- qualitative reasoning
- proof theory
- classical logic
- qualitative and quantitative
- quantitative and qualitative
- neural network
- probabilistic logic
- asynchronous circuits
- predicate logic
- causal reasoning
- truth maintenance systems
- data sets
- multi valued
- modal logic
- belief revision
- case study
- defeasible logic
- digital circuits
- automated reasoning
- logic programming
- qualitative information
- bayesian networks
- subjective probabilities
- knowledge base
- sound and complete axiomatization