2013 | OriginalPaper | Buchkapitel
The Logic of Uncertain Justifications
verfasst von : Bob Milnikel
Erschienen in: Logical Foundations of Computer Science
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In Artemov’s Justification Logic, one can make statements interpreted as “
t
is evidence for the truth of formula
F
.” We propose a variant of this logic in which one can say “I have degree
r
of confidence that
t
is evidence for the truth of formula
F
.” After defining both an axiomatic approach and a semantics for this Logic of Uncertain Justifications, we will prove the usual soundness and completeness theorems.