The University of Southampton
University of Southampton Institutional Repository

Logic of confidence

Logic of confidence
Logic of confidence
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.
Axiomatic system, Confidence of knowledge, Uncertainty
0039-7857
1821-1838
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056

Naumov, Pavel and Tao, Jia (2015) Logic of confidence. Synthese, 192 (6), 1821-1838. (doi:10.1007/s11229-014-0655-3).

Record type: Article

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.

This record has no associated files available for download.

More information

Accepted/In Press date: 30 December 2014
Published date: 1 June 2015
Additional Information: Publisher Copyright: © 2015, Springer Science+Business Media Dordrecht.
Keywords: Axiomatic system, Confidence of knowledge, Uncertainty

Identifiers

Local EPrints ID: 476024
URI: http://eprints.soton.ac.uk/id/eprint/476024
ISSN: 0039-7857
PURE UUID: f7b4bca4-c9c5-48f6-8849-f22581433b31
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 04 Apr 2023 16:47
Last modified: 06 Jun 2024 02:12

Export record

Altmetrics

Contributors

Author: Pavel Naumov ORCID iD
Author: Jia Tao

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×