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.
Similar content being viewed by others
References
Artemov, S. (2008). The logic of justification. The Review of Symbolic Logic, 1(04), 477–513.
Burago, D., Burago, Y., & Ivanov, S. (2001). A course in metric geometry (Vol. 33). Providence: American Mathematical Society.
Charrier, T., Ouchet, F., & Schwarzentruber, F. (2014). Big brother logic: Reasoning about agents equipped with surveillance cameras in the plane. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1633–1634). New York: International Foundation for Autonomous Agents and Multiagent Systems.
Halpern, J. Y., & Shoham, Y. (1991). A propositional modal logic of time intervals. Journal of the ACM, 38(4), 935–962.
Hamming, R. W. (1950). Error detecting and error correcting codes. Bell System Technical Journal, 29(2), 147–160.
Khot, S., & Saket, R. (2007). Hardness of embedding metric spaces of equal size. In: Approximation, randomization, and combinatorial optimization. Algorithms and techniques (pp. 218–227). New York: Springer.
Krause, E. F. (2012). Taxicab geometry: An adventure in non-Euclidean geometry. New York: Courier Dover Publications.
Milnikel, R. S. (2014). The logic of uncertain justifications. Annals of Pure and Applied Logic, 165(1), 305–315. The constructive in logic and applications.
Moss, L. S., & Parikh, R. (1992). Topological reasoning and the logic of knowledge: preliminary report. In Proceedings of the 4th Conference on Theoretical Aspects of Reasoning About Knowledge (pp. 95–105). Burlington: Morgan Kaufmann Publishers Inc.
Rudin, W. (1976). Principles of mathematical analysis., International series in pure and applied mathematics Blacklick: McGraw-Hill Science Engineering.
Sahlqvist, H. (1975). Completeness and correspondence in the first and second order semantics for modal logic. Studies in Logic and the Foundations of Mathematics, 82, 110–143.
Sheremet, M., Wolter, F., & Zakharyaschev, M. (2010). A modal logic framework for reasoning about comparative distances and topology. Annals of Pure and Applied Logic, 161(4), 534–559.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Naumov, P., Tao, J. Logic of confidence. Synthese 192, 1821–1838 (2015). https://doi.org/10.1007/s11229-014-0655-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-014-0655-3