A Dynamic Logic of Data-Informed Knowledge

被引：2

作者：

Deuser, Kaya ^{[1
]}

Jiang, Junli ^{[2
]}

Naumov, Pavel ^{[3
]}

Zhang, Wenxuan ^{[4
]}

机构：

[1] Cornell Univ, New York, NY USA

[2] Southwest Univ, Inst Logic & Intelligence, Chongqing, Peoples R China

[3] Univ Southampton, Sch Elect & Comp Sci, Southampton, England

[4] Scripps Coll, Claremont, CA USA

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2024年 / 53卷 / 02期

关键词：

CAUSALITY;

D O I：

10.1007/s10992-023-09740-5

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

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.

引用

下载

页码：521 / 557

页数：37

共 50 条

[1] A Dynamic Logic of Data-Informed Knowledge
Kaya Deuser
Junli Jiang
Pavel Naumov
Wenxuan Zhang
Journal of Philosophical Logic, 2024, 53 : 521 - 557
[2] Data-informed knowledge and strategies
Jiang, Junli
Naumov, Pavel
ARTIFICIAL INTELLIGENCE, 2022, 309
[3] Data-Informed Knowledge and Strategies (Extended Abstract)
Jiang, Junli
Naumov, Pavel
PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6910 - 6914
[4] Data-informed deep optimization
Zhang, Lulu
Xu, Zhi-Qin John
Zhang, Yaoyu
PLOS ONE, 2022, 17 (06):
[5] Data-informed language learning
Godwin-Jones, Robert
LANGUAGE LEARNING & TECHNOLOGY, 2017, 21 (03): : 9 - 27
[6] Data-informed influence analysis
Critchley, F
Marriott, P
BIOMETRIKA, 2004, 91 (01) : 125 - 140
[7] Feedback in Scrum: Data-Informed Retrospectives
Matthies, Christoph
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 198 - 201
[8] Data-Informed Geometric Space Selection
Zhang, Shuai
Jiang, Wenqi
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
[9] Data-Informed Advances and Technology Augmentation
Lutz, Wolfgang
COGNITIVE AND BEHAVIORAL PRACTICE, 2022, 29 (03) : 591 - 597
[10] Data-Informed Design: A Call for Theory
Kvan, Thomas
ARCHITECTURAL DESIGN, 2020, 90 (03) : 26 - 31

← 1 2 3 4 5 →