Artificial Intelligence
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Uncertainty, belief, and probability
Computational Intelligence
Modal logics for qualitative possibility and beliefs
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
An analysis of first-order logics of probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Epistemic logics, probability, and the calculus of evidence
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
On modal logics for qualitative possibility in a fuzzy setting
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Introducing Grades in Deontic Logics
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Logics for belief functions on MV-algebras
International Journal of Approximate Reasoning
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Hi-index | 0.00 |
In this paper we introduce a new logical approach to reason explicitly about Dempster-Shafer belief functions. We adopt the following view: one just starts with Boolean formulas ϕ and a belief function on them; the belief of ϕ is taken to be the truth degree of the (fuzzy) proposition B ϕ standing for ϕ is believed. For our complete axiomatization (Hylbert-style) we use one of the possible definitions of belief, namely as probability of (modal) necessity. This enables us to define a logical system combining the modal logic S5 with an already proposed fuzzy logic approach to reason about probabilities. In particular, our fuzzy logic is the logic ŁΠ½ which puts Lukasiewicz and Product fuzzy logics together.