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
关键词
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 条
  • [41] Data-Informed Ebook Discovery: An Analytical Approach to the User Experience
    Bardeen, Angela
    Spurgin, Kristina
    Triumph, Therese
    Wilcher, Libby
    SERIALS REVIEW, 2017, 43 (3-4) : 231 - 238
  • [42] A data-informed assessment method for the urban underground complex vitality
    Pan, Q.
    Don, Y. H.
    Peng, F. L.
    GEOSHANGHAI 2024 INTERNATIONAL CONFERENCE, VOL 4, 2024, 1333
  • [43] A preliminary evaluation of data-informed mentoring at an Australian medical school
    Bate, Frank
    Fyfe, Sue
    Griffiths, Dylan
    Russell, Kylie
    Skinner, Chris
    Tor, Elina
    ASIA PACIFIC SCHOLAR, 2021, 6 (01): : 60 - 69
  • [44] Data-Informed Professional Learning and Instruction in Integrated Tiered Systems
    Buckman, Mark Matthew
    Oakes, Wendy Peia
    Lane, Kathleen Lynne
    James Royer, David
    Common, Eric Alan
    Briesch, Amy
    Allen, Grant Edmund
    INTERVENTION IN SCHOOL AND CLINIC, 2024, 60 (01) : 39 - 52
  • [45] Watch and wait for rectal cancer: towards data-informed surveillance
    Dossa, Fahima
    Weiser, Martin R.
    LANCET GASTROENTEROLOGY & HEPATOLOGY, 2024, 9 (09): : 781 - 784
  • [46] Data-Informed Lifetime Reliability Prediction for Offshore Wind Farms
    Papatzimos, Alexios Koltsidopoulos
    Thies, Philipp R.
    Lonchampt, Jerome
    Joly, Antoine
    Dawood, Tariq
    2019 IEEE INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (ICPHM), 2019,
  • [47] Assessing the Psychometric Qualities of the Data-Informed School Leadership Survey
    Sun, Jingping
    Xia, Jiangang
    Hua, Cheng
    Man, Kaiwen
    Johnson, Bob L.
    EDUCATIONAL ADMINISTRATION QUARTERLY, 2024, 60 (04) : 531 - 580
  • [48] Data-Informed Decomposition for Localized Uncertainty Quantification of Dynamical Systems
    Subber, Waad
    Ghosh, Sayan
    Pandita, Piyush
    Zhang, Yiming
    Wang, Liping
    VIBRATION, 2021, 4 (01): : 49 - 63
  • [49] A Data-informed Public Health Policy-Makers Platform
    Brdaric, Dario
    Samardzic, Senka
    Huskic, Ivana Mihin
    Dritsakis, Giorgos
    Sessa, Jadran
    Sliwinska-Kowalska, Mariola
    Pawlaczyk-Luszczynska, Malgorzata
    Basdekis, Ioannis
    Spanoudakis, George
    INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, 2020, 17 (09)
  • [50] OnTask: Delivering Data-Informed, Personalized Learning Support Actions
    Pardo, Abelardo
    Bartimote-Aufflick, Kathryn
    Shum, Simon Buckingham
    Dawson, Shane
    Gao, Jing
    Gasevic, Dragan
    Leichtweis, Steve
    Liu, Danny
    Martinez-Maldonado, Roberto
    Mirriahi, Negin
    Moskal, Adon Christian Michael
    Schulte, Jurgen
    Siemens, George
    Vigentini, Lorenzo
    JOURNAL OF LEARNING ANALYTICS, 2018, 5 (03): : 235 - 249