Data-informed knowledge and strategies (extended abstract)
Data-informed knowledge and strategies (extended abstract)
The article proposes a new approach to reasoning about knowledge and strategies in multiagent systems. It emphasizes data, not agents, as the source of strategic knowledge. The approach brings together Armstrong’s functional dependency expression from database theory, a data-informed knowledge modality based on a recent work by Baltagand van Benthem, and a newly proposed data informed strategy modality. The main technical result is a sound and complete logical system that describes the interplay between these three logical operators.
International Joint Conferences on Artificial Intelligence
Jiang, Junli
af312ed1-a6ac-4a36-aa76-3f228cc1f123
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
August 2023
Jiang, Junli
af312ed1-a6ac-4a36-aa76-3f228cc1f123
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Jiang, Junli and Naumov, Pavel
(2023)
Data-informed knowledge and strategies (extended abstract).
In Proceedings of the 32nd International Joint Conference on Artificial Intelligence.
International Joint Conferences on Artificial Intelligence.
5 pp
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The article proposes a new approach to reasoning about knowledge and strategies in multiagent systems. It emphasizes data, not agents, as the source of strategic knowledge. The approach brings together Armstrong’s functional dependency expression from database theory, a data-informed knowledge modality based on a recent work by Baltagand van Benthem, and a newly proposed data informed strategy modality. The main technical result is a sound and complete logical system that describes the interplay between these three logical operators.
Text
2023-ijcai-jn
- Version of Record
Restricted to Repository staff only
Request a copy
More information
Published date: August 2023
Venue - Dates:
32nd International Joint Conference on Artificial Intelligence, , Cape Town, South Africa, 2023-08-19 - 2023-08-25
Identifiers
Local EPrints ID: 478255
URI: http://eprints.soton.ac.uk/id/eprint/478255
PURE UUID: 6f85f7e9-3c4f-48bc-a337-3b8277d6a198
Catalogue record
Date deposited: 26 Jun 2023 17:05
Last modified: 17 Mar 2024 04:10
Export record
Contributors
Author:
Junli Jiang
Author:
Pavel Naumov
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