The Logic of Uncertain Justifications

Milnikel, Bob

doi:10.1007/978-3-642-35722-0_21

Cited by 2 publications

(5 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From statement (v) of Lemma 17 it follows that if r ≥ s, then PJ CS P ≥r (u : α) → P ≥s (u : α) and, indeed, this corresponds to Axiom A3 of the logic of uncertain justifications [13]. Moreover, from statement (ii) we get the following corollary, which corresponds to Axiom A2 of [13].…”

Section: (V) Follows By (Iii) and (Iv)mentioning

confidence: 74%

“…Closely related are Milnikel's proposal [13] for a system with uncertain justifications and Ghari's recent preprint [9] introducing fuzzy justification logics.…”

Section: Related Workmentioning

confidence: 99%

“…The logic of uncertain justifications [13] consists of the following axioms (we use the notation and syntactical conventions from [13]):…”

Section: Relations With the Logic Of Uncertain Justificationsmentioning

confidence: 99%

“…The version of axiom necessitation that is studied in [13] cannot be expressed in the logic PJ since in this logic we cannot have iterations of the probability operators.…”

Section: Relations With the Logic Of Uncertain Justificationsmentioning

confidence: 99%

“…The previous theorem corresponds to Axiom A1 of [13]. However, we have to explicitly formulate the additional assumption that the premises are independent.…”

Section: By Lemma 17(ii)mentioning

confidence: 99%

See 4 more Smart Citations

First steps towards probabilistic justification logic

Kokkinis¹,

Maksimovic²,

Ognjanović³

et al. 2015

Logic Jnl IGPL

View full text Add to dashboard Cite

show abstract

Section: (V) Follows By (Iii) and (Iv)mentioning

confidence: 74%

“…Closely related are Milnikel's proposal [13] for a system with uncertain justifications and Ghari's recent preprint [9] introducing fuzzy justification logics.…”

Section: Related Workmentioning

confidence: 99%

“…The logic of uncertain justifications [13] consists of the following axioms (we use the notation and syntactical conventions from [13]):…”

Section: Relations With the Logic Of Uncertain Justificationsmentioning

confidence: 99%

“…The version of axiom necessitation that is studied in [13] cannot be expressed in the logic PJ since in this logic we cannot have iterations of the probability operators.…”

Section: Relations With the Logic Of Uncertain Justificationsmentioning

confidence: 99%

“…The previous theorem corresponds to Axiom A1 of [13]. However, we have to explicitly formulate the additional assumption that the premises are independent.…”

Section: By Lemma 17(ii)mentioning

confidence: 99%

See 3 more Smart Citations

First steps towards probabilistic justification logic

Kokkinis¹,

Maksimovic²,

Ognjanović³

et al. 2015

Logic Jnl IGPL

View full text Add to dashboard Cite

show abstract

Reason-maintenance Belief Logic with Uncertain Information

Fan

Liau

2019

ACM Trans. Comput. Logic

View full text Add to dashboard Cite

In this article, we propose a logic for reasoning about belief based on fusion of uncertain information. The resultant reason-maintenance possibilistic belief logic can represent both implicit and explicit uncertain beliefs of an agent. While implicit beliefs stipulate what are believable, explicit beliefs can trace the process of belief formation by information fusion. To set up the formal framework, we start with developing a basic reason-maintenance belief logic, present its syntax and semantics, and investigate its axiomatization and properties. Then, we extend the basic logic to accommodate the possibilistic uncertainty of information and beliefs, provide a complete axiomatization of the extended logic, and show that it can address the reason-maintenance issue of partially inconsistent beliefs. We also demonstrate the applicability of our formalisms by using several examples in realistic scenarios.

show abstract

The Logic of Uncertain Justifications

Cited by 2 publications

References 17 publications

First steps towards probabilistic justification logic

First steps towards probabilistic justification logic

Reason-maintenance Belief Logic with Uncertain Information

Contact Info

Product

Resources

About