Evidence Logics with Relational Evidence

被引：1
|
作者：
Baltag, Alexandru [1 ]
Occhipinti, Andres [2 ]
机构：
[1] Univ Amsterdam, Amsterdam, Netherlands
[2] Tech Univ Denmark, DTU Compute, Copenhagen, Denmark
来源：
LOGIC, RATIONALITY, AND INTERACTION, LORI 2017 | 2017年 / 10455卷
关键词：
Evidence logic; Dynamic epistemic logic; Belief revision; BELIEF;
D O I：
10.1007/978-3-662-55665-8_2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.
引用
收藏
页码：17 / 32
页数：16
相关论文
共 50 条
  • [1] Stratified Evidence Logics
    Balbiani, Philippe
    Fernandez-Duque, David
    Herzig, Andreas
    Lorini, Emiliano
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1523 - 1529
  • [2] Relating Logics of Justifications and Evidence
    Sedlar, Igor
    LOGICA YEARBOOK 2013, 2014, : 207 - 222
  • [3] Pragmatic logics for hypotheses and evidence
    Carrara, Massimiliano
    Chiffi, Daniele
    De Florio, Ciro
    LOGIC JOURNAL OF THE IGPL, 2021, 29 (04) : 585 - 600
  • [4] EVIDENCE FOR RELATIONAL TRANSPOSITION
    LAWRENCE, DH
    DERIVERA, J
    JOURNAL OF COMPARATIVE AND PHYSIOLOGICAL PSYCHOLOGY, 1954, 47 (06): : 465 - 471
  • [5] The relational features of evidence use
    Rickinson, Mark
    Edwards, Anne
    CAMBRIDGE JOURNAL OF EDUCATION, 2021, 51 (04) : 509 - 526
  • [6] Relational logics and their applications
    Golinska-Pilarek, Joanna
    Orlowska, Ewa
    THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS II, 2006, 4342 : 125 - +
  • [7] LOGICS FOR THE RELATIONAL SYLLOGISTIC
    Pratt-Hartmann, Ian
    Moss, Lawrence S.
    REVIEW OF SYMBOLIC LOGIC, 2009, 2 (04): : 647 - 683
  • [8] Dynamic Logics of Evidence-Based Beliefs
    van Benthem, J.
    Pacuit, E.
    STUDIA LOGICA, 2011, 99 (1-3) : 61 - 92
  • [9] Dynamic Logics of Evidence-Based Beliefs
    J. van Benthem
    E. Pacuit
    Studia Logica, 2011, 99
  • [10] Uncertain Evidence for Probabilistic Relational Models
    Gehrke, Marcel
    Braun, Tanya
    Moeller, Ralf
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, 11489 : 80 - 93
12345