Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Majer, Ondrej"'
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator an
Externí odkaz:
http://arxiv.org/abs/2402.12953
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn logic.
Externí odkaz:
http://arxiv.org/abs/2303.04565
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value to these events. The paper is divided into two parts. In the first pa
Externí odkaz:
http://arxiv.org/abs/2210.09095
Belief and plausibility are weaker measures of uncertainty than that of probability. They are motivated by the situations when full probabilistic information is not available. However, information can also be contradictory. Therefore, the framework o
Externí odkaz:
http://arxiv.org/abs/2205.15159
We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We also formalise reasoning with non-standard probabilities and belief fu
Externí odkaz:
http://arxiv.org/abs/2203.01060
Publikováno v:
In Annals of Pure and Applied Logic October-November 2024 175(9)
This paper presents a thoroughgoing interpretation of a weak relevant logic built over the Dunn-Belnap four-valued semantics in terms of the communication of information in a network of sites of knowledge production (laboratories). The knowledge comm
Externí odkaz:
http://arxiv.org/abs/2101.03593
A recent line of research has developed around logics of belief based on evidence. The approach of B\'ilkov\'a et al understands belief as based on information confirmed by a reliable source. We propose a finer analysis of how belief can be based on
Externí odkaz:
http://arxiv.org/abs/2003.12906
Belnap-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 ac
Externí odkaz:
http://arxiv.org/abs/2003.07408