Data-Informed Knowledge and Strategies (Extended Abstract)

Data-Informed Knowledge and Strategies (Extended Abstract)

Junli Jiang, Pavel Naumov

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Journal Track. Pages 6910-6914. https://doi.org/10.24963/ijcai.2023/781

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 Baltag and 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.
Keywords:
Knowledge Representation and Reasoning: KRR: Reasoning about actions
Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief