Type: Conference Paper
Distributed knowledge with justifications
Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (03029743)Year: 2012Volume: 7415Issue: Pages: 91 - 108
DOI:10.1007/978-3-642-31467-4_7Language: English
Abstract
In this paper, we introduce justification counterparts of distributed knowledge logics. Our justification logics include explicit knowledge operators of the form [[t]] iF and , which are interpreted respectively as "t is a justification that agent i accepts for F", and "t is a justification that all agents implicitly accept for F". We present Kripke style models and prove the completeness theorem. Finally, we give a semantical proof of the realization theorem. © 2012 Springer-Verlag.