Repository | Zeitschrift | Band | Artikel
Logic of confidence
pp. 1821-1838
Abstrakt
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
Published in:
(2015) Synthese 192 (6).
Seiten: 1821-1838
DOI: 10.1007/s11229-014-0655-3
Referenz:
Naumov Pavel, Tao Jia (2015) „Logic of confidence“. Synthese 192 (6), 1821–1838.