The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

A dynamic logic of data-informed knowledge

A dynamic logic of data-informed knowledge
A dynamic logic of data-informed knowledge
With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a model checking algorithm.
0022-3611
521-557
Deuser, Kaya
23a1de64-9965-4ce3-9cf5-33546306002b
Jiang, Junli
46fed9d5-30a9-40d9-9d6c-5fb2fd159992
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Zhang, Wenxuan
648801da-645c-4add-8c28-c05f5d424d32
Deuser, Kaya
23a1de64-9965-4ce3-9cf5-33546306002b
Jiang, Junli
46fed9d5-30a9-40d9-9d6c-5fb2fd159992
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Zhang, Wenxuan
648801da-645c-4add-8c28-c05f5d424d32

Deuser, Kaya, Jiang, Junli, Naumov, Pavel and Zhang, Wenxuan (2024) A dynamic logic of data-informed knowledge. Journal of Philosophical Logic, 53 (2), 521-557. (doi:10.1007/s10992-023-09740-5).

Record type: Article

Abstract

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a model checking algorithm.

Text
2024-jpl-djnz - Version of Record
Available under License Creative Commons Attribution.
Download (915kB)

More information

Accepted/In Press date: 15 December 2023
e-pub ahead of print date: 16 January 2024
Published date: April 2024
Additional Information: Publisher Copyright: © The Author(s) 2023.
Learn more about Agents, Interactions and Complexity research

Identifiers

Local EPrints ID: 486309
URI: http://eprints.soton.ac.uk/id/eprint/486309
DOI: doi:10.1007/s10992-023-09740-5
ISSN: 0022-3611
PURE UUID: 6bb65927-9852-4764-b7b6-5d4994d366a3
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 17 Jan 2024 17:32
Last modified: 02 May 2024 02:00

Export record

Altmetrics

Contributors

Author: Kaya Deuser
Author: Junli Jiang
Author: Pavel Naumov ORCID iD
Author: Wenxuan Zhang

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

Library staff additional information
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.

×