Repository | Journal | Volume | Articles
(2015) Synthese 192 (6).
The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent’s point of view. The main result is a logical system sound and complete with respect to the proposed semantics.
Publication details
DOI: 10.1007/s11229-014-0655-3
Full citation:
Naumov, P. , Tao, J. (2015). Logic of confidence. Synthese 192 (6), pp. 1821-1838.
This document is unfortunately not available for download at the moment.