Synthese 192 (6):1821-1838 (2015)

Abstract
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
Keywords Uncertainty  Confidence of knowledge  Axiomatic system
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11229-014-0655-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,109
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.

Add more references

Citations of this work BETA

Price of Privacy.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:32-48.

Add more citations

Similar books and articles

A Neural Network Expert System with Confidence Measurements.Stephen I. Gallant & Yoichi Hayashi - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 561--567.
Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.
Knowledge on Treelike Spaces.Konstantinos Georgatos - 1997 - Studia Logica 59 (2):271-301.
Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.

Analytics

Added to PP index
2015-01-11

Total views
27 ( #385,261 of 2,411,471 )

Recent downloads (6 months)
2 ( #346,366 of 2,411,471 )

How can I increase my downloads?

Downloads

My notes