Update as Evidence: Belief Expansion

TitleUpdate as Evidence: Belief Expansion
Publication TypeBook Chapter
Year of Publication2013
AuthorsKuznets, R, Studer, T
EditorArtemov, S, Nerode, A
Book TitleLogical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013, Proceedings
Series TitleLecture Notes in Computer Science
AbstractWe introduce a justification logic with a novel constructor for evidence terms, according to which the new information itself serves as evidence for believing it. We provide a sound and complete axiomatization for belief expansion and minimal change and explain how the minimality can be graded according to the strength of reasoning. We also provide an evidential analog of the Ramsey axiom.