Multi-agent Explicit Knowledge

Yavorskaya, Tatiana

doi:10.1007/11753728_38

Cited by 7 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Justification Logic, due to Sergei Artemov and originally conceived as a solution to a long-standing open problem concerning the intended semantics of Gödel's provability logic [3], has since developed into a wide-ranging study of the notions of evidence and justification; see, e.g., [1,2,[4][5][6][7][8][9][10]13,[18][19][20][21][23][24][25][29][30][31]33,[42][43][44][45]50,53,54,[59][60][61][62]. By making explicit the "evidence" supporting a given assertion, this formalism can capture one of the main ingredients in the epistemological analysis of knowledge: the epistemic justification underlying the knowledge or belief possessed by an agent endowed with only limited logical resources and bounded rationality.…”

Section: Introductionmentioning

confidence: 99%

The logic of justified belief, explicit knowledge, and conclusive evidence

Baltag

Renne

Smets

2014

Annals of Pure and Applied Logic

View full text Add to dashboard Cite

We present a complete, decidable logic for reasoning about a notion of completely trustworthy ("conclusive") evidence and its relations to justifiable (implicit) belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and "goodness" of a piece of evidence, and is based on an innovative modification of the Fitting semantics for Artemov's Justification Logic designed to preempt Gettier-type counterexamples. We combine this with ideas from belief revision and awareness logics to provide an account for explicitly justified (defeasible) knowledge based on conclusive evidence that addresses the problem of (logical) omniscience.

show abstract

Section: Introductionmentioning

confidence: 99%

The logic of justified belief, explicit knowledge, and conclusive evidence

Baltag

Renne

Smets

2014

Annals of Pure and Applied Logic

View full text Add to dashboard Cite

show abstract

“…4. In this paper, we consider the case of one agent only, although several multiagent Justification Logic systems have already been developed (Artemov, 2006;Artemov & Nogina, 2005;Yavorskaya, 2006).…”

mentioning

confidence: 99%

The Logic of Justification

Artëmov

2008

The Review of Symbolic Logic

199

134

View full text Add to dashboard Cite

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the Goldman–Kripke ‘Red Barn’ paradox and analyze Russell’s ‘prime minister example’ in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning.

show abstract

The Logic of Justification

Artëmov

2016

Readings in Formal Epistemology

View full text Add to dashboard Cite

Multi-agent Explicit Knowledge

Cited by 7 publications

References 6 publications

The logic of justified belief, explicit knowledge, and conclusive evidence

The logic of justified belief, explicit knowledge, and conclusive evidence

The Logic of Justification

The Logic of Justification

Contact Info

Product

Resources

About