Abstract
AbstractBelnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We provide a sound and complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes’ and Jeffrey updating and also suggest mechanisms for aggregating information from different sources.
Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. Alchourrón, C.E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2), 510–530.
2. Anderson A.R., & Nuel, B.D. (1975). Entailment: The logic of relevance and necessity Vol. I. Princeton: Princeton University Press.
3. Batens, D. (2001). A general characterization of adaptive logics. Logique et Analyse, 44(173-175), 45–68.
4. Belnap, N.D. (1977). A useful four-valued logic. In Modern uses of multiple-valued logic (pp. 5–37): Springer.
5. Belnap, N.D. (2019). How a computer should think, (pp. 35–53). New York: Springer International Publishing. https://doi.org/10.1007/978-3-030-31136-0∖_4.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献