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 条
  • [31] Continuous outcome measurement in modern data-informed psychotherapies
    Lutz, Wolfgang
    Rubel, Julian
    Deisenhofer, Anne-Katharina
    Moggia, Danilo
    WORLD PSYCHIATRY, 2022, 21 (02) : 215 - 216
  • [32] DATA-INFORMED METHOD OF DISTRIBUTIONS FOR HYPERBOLIC CONSERVATION LAWS
    Boso, Francesca
    Tartakovsky, Daniel M.
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2020, 42 (01): : A559 - A583
  • [33] The Language of Self-Injury A Data-Informed Commentary
    Hasking, Penelope A.
    Boyes, Mark E.
    Lewis, Stephen P.
    JOURNAL OF NERVOUS AND MENTAL DISEASE, 2021, 209 (04) : 233 - 236
  • [34] Measurement-Based and Data-Informed Psychological Therapy
    Lutz, Wolfgang
    Schwartz, Brian
    Delgadillo, Jaime
    ANNUAL REVIEW OF CLINICAL PSYCHOLOGY, 2022, 18 : 71 - 98
  • [35] Monitoring and data-informed approaches for the assessment of existing structures
    Strauss, Alfred
    Bergmeister, Konrad
    Daro, Paola
    Mancini, Giuseppe
    Sattler, Fabian
    Bigaj-van Vliet, Agnieszka
    STRUCTURAL CONCRETE, 2023, 24 (04) : 4433 - 4445
  • [36] DATA-INFORMED SAFETY ASSESSMENT OF EXISTING TRANSPORT INFRASTRUCTURES
    Daro, Paola
    Longo, Monica
    Mancini, Giuseppe
    Negri, Serena
    Bigaj-van Vliet, Agnieszka
    Allaix, Diego Lorenzo
    EUROPEAN ASSOCIATION ON QUALITY CONTROL OF BRIDGES AND STRUCTURES, EUROSTRUCT 2023, VOL 6, ISS 5, 2023, : 528 - 536
  • [37] Towards data-informed co-design in digital fabrication
    Skoury, Lior
    Treml, Simon
    Opgenorth, Nils
    Amtsberg, Felix
    Wagner, Hans Jakob
    Menges, Achim
    Wortmann, Thomas
    AUTOMATION IN CONSTRUCTION, 2024, 158
  • [38] SQAPlanner: Generating Data-Informed Software Quality Improvement Plans
    Rajapaksha, Dilini
    Tantithamthavorn, Chakkrit
    Jiarpakdee, Jirayus
    Bergmeir, Christoph
    Grundy, John
    Buntine, Wray
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (08) : 2814 - 2835
  • [39] Data-informed debriefing for cardiopulmonary arrest: A randomized controlled trial
    Cheng, Adam
    Davidson, Jennifer
    Wan, Brandi
    St-Onge-St-Hilaire, Alexandra
    Lin, Yiqun
    RESUSCITATION PLUS, 2023, 14
  • [40] Data-informed Curriculum Sequences for a Curriculum-Integrated Game
    Akintunde, Ruth Okoilu
    Shabrina, Preya
    Catete, Veronica
    Barnes, Tiffany
    Lynch, Collin
    Rutherford, Teomara
    LAK20: THE TENTH INTERNATIONAL CONFERENCE ON LEARNING ANALYTICS & KNOWLEDGE, 2020, : 635 - 644
12345