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 条
  • [21] Supporting teachers in data-informed educational design
    McKenney, Susan
    Mor, Yishay
    BRITISH JOURNAL OF EDUCATIONAL TECHNOLOGY, 2015, 46 (02) : 265 - 279
  • [22] STRATEGIES FOR DATA-INFORMED LABOR MARKET RESPONSIVENESS
    Heiland, Linda
    Brown, William
    COMMUNITY COLLEGE JOURNAL OF RESEARCH AND PRACTICE, 2008, 32 (11) : 901 - 903
  • [23] Data-informed calibration of experts in Bayesian framework
    Shirazi, C. H.
    Mosleh, A.
    RELIABILITY, RISK AND SAFETY: THEORY AND APPLICATIONS VOLS 1-3, 2010, : 49 - 55
  • [24] 2017 NC Serials Conference: Being Data-Informed
    Collins, Maria
    SERIALS REVIEW, 2017, 43 (3-4) : 187 - 187
  • [25] Data-Informed Parameter Synthesis for Population Markov Chains
    Hajnal, Matej
    Nouvian, Morgane
    Safranek, David
    Petrov, Tatjana
    HYBRID SYSTEMS BIOLOGY (HSB 2019), 2019, 11705 : 147 - 164
  • [26] Data-Informed Parameter Synthesis for Population Markov Chains
    Hajnal, Matej
    Nouvian, Morgane
    Petrov, Tatjana
    Safranek, David
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2019), 2019, 11773 : 383 - 386
  • [27] Circularly polarized luminescence of helicenes: A data-informed insight
    Cei, Matteo
    Di Bari, Lorenzo
    Zinna, Francesco
    CHIRALITY, 2023, 35 (04) : 192 - 210
  • [28] Reducing Pharmacists' Alert Fatigue: A Data-Informed Approach
    Chan, D.
    CANADIAN JOURNAL OF HOSPITAL PHARMACY, 2021, 74 (02): : 188 - 188
  • [29] DATA-INFORMED CASE FORMULATION WITH THE TRIER TREATMENT NAVIGATOR
    Moggia, Danilo
    Schaffrath, Jana
    Bommer, Jana
    Weinmann-Lutz, Birgit
    Lutz, Wolfgang
    REVISTA DE PSICOTERAPIA, 2022, 33 (123): : 151 - 171
  • [30] A Call for a Health Data-Informed Workforce Among Clinicians
    Doll, Joy
    Anzalone, A. Jerrod
    Clarke, Martina
    Cooper, Kathryn
    Polich, Ann
    Siedlik, Jacob
    JMIR MEDICAL EDUCATION, 2024, 10
12345