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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.
A Modal Logic Framework for Reasoning About Comparative Distances and Topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
Citations of this work BETA
Similar books and articles
From Knowledge to Individual Action. Confidence, the Hidden Face of Uncertainty. A Rereading of the Works of Knight and Keynes.Samira Guennif - 2002 - Mind and Society 3 (2):13-28.
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.
Decision Making and Confidence Given Uncertain Advice.Michael D. Lee & Matthew J. Dry - 2006 - Cognitive Science 30 (6):1081-1095.
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.
Preferential Semantics for Plausible Subsumption in Possibility Theory.Guilin Qi & Zhizheng Zhang - 2013 - Minds and Machines 23 (1):47-75.
Vagueness, Uncertainty and Degrees of Clarity.Paul Égré & Denis Bonnay - 2010 - Synthese 174 (1):47 - 78.
Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
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 )
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
