A logic for reasoning about evidence

被引：0
|
作者：
Halpern, Joseph Y. [1 ]
Pucella, Riccardo [2 ]
机构：
[1] Cornell University, Ithaca, NY 14853, United States
[2] Northeastern University, Boston, MA 02115, United States
来源：
Journal of Artificial Intelligence Research | 2006年 / 26卷
关键词：
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete axiomatization for the logic; and consider the complexity of the decision problem. Although the reasoning in the logic is mainly propositional; we allow variables representing numbers and quantification over them. This expressive power seems necessary to capture important properties of evidence. © 2006 AI Access Foundation. All rights reserved;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：1 / 34
相关论文
共 50 条
  • [1] A logic for reasoning about evidence
    Halpern, Joseph Y.
    Pucella, Riccardo
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2006, 26 : 1 - 34
  • [2] A Logic for Reasoning about Evidence and Belief
    Fan, Tuan-Fang
    Liau, Churn-Jung
    2017 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE (WI 2017), 2017, : 509 - 516
  • [3] Reasoning About Belief and Evidence with Extended Justification Logic
    Fan, Tuan-Fang
    Liau, Churn-Jung
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1600 - 1601
  • [4] A Probabilistic Temporal Logic That Can Model Reasoning about Evidence
    Doder, Dragan
    Markovic, Zoran
    Ognjanovic, Zoran
    Perovic, Aleksandar
    Raskovic, Miodrag
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 9 - +
  • [5] A LOGIC FOR REASONING ABOUT PROBABILITIES
    FAGIN, R
    HALPERN, JY
    MEGIDDO, N
    INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 78 - 128
  • [6] A LOGIC FOR REASONING ABOUT SECURITY
    GLASGOW, J
    MACEWEN, G
    PANANGADEN, P
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
  • [7] A logic for reasoning about ambiguity
    Halpern, Joseph Y.
    Kets, Willemien
    ARTIFICIAL INTELLIGENCE, 2014, 209 : 1 - 10
  • [8] A logic for reasoning about responsibility
    de Lima, Tiago
    Royakkers, Lamber
    Dignum, Frank
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 99 - 117
  • [9] REASONING ABOUT UPDATE LOGIC
    VANEIJCK, J
    DEVRIES, FJ
    JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (01) : 19 - 45
  • [10] LOGIC FOR REASONING ABOUT KNOWLEDGE
    ORLOWSKA, E
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (06): : 559 - 572
12345