Reasoning with belief functions over Belnap-Dunn logic.
Marta BílkováSabine FrittellaDaniil KozhemiachenkoOndrej MajerSajad NazariPublished in: Ann. Pure Appl. Log. (2024)
Keyphrases
- belief functions
- probability theory
- evidential reasoning
- uncertain information
- probabilistic logic
- dempster shafer theory
- dempster shafer
- logical framework
- automated reasoning
- proof theory
- uncertain reasoning
- deductive reasoning
- order of magnitude reasoning
- intuitionistic logic
- computational properties
- probability function
- proof theoretic
- markov tree
- knowledge base
- reasoning engine
- combination rule
- knowledge representation
- logic programming
- horn logic
- reasoning about actions
- inference rules
- modal logic
- distributive lattices
- artificial intelligence
- fuzzy numbers
- theorem prover
- logical formulas
- data mining