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 条

[41] A logic for reasoning about fuzzy truth values
Liau, CJ
1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 903 - 908
[42] A Logic for Reasoning about Actions and Explicit Observations
Rens, Gavin
Varzinczak, Ivan
Meyer, Thomas
Ferrein, Alexander
AI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2010, 6464 : 395 - +
[43] A basic logic for reasoning about connector reconfiguration
Clarke, Dave
FUNDAMENTA INFORMATICAE, 2008, 82 (04) : 361 - 390
[44] Unitizing Predicates and Reasoning About the Logic of Proofs
Dawkins, Paul Christian
Roh, Kyeong Hah
JOURNAL FOR RESEARCH IN MATHEMATICS EDUCATION, 2024, 55 (02) : 76 - 95
[45] Reasoning about knowledge using defeasible logic
Walton, Douglas
ARGUMENT & COMPUTATION, 2011, 2 (2-3) : 131 - 155
[46] Qualitative Reasoning about Space with Hybrid Logic
Norgela, Stanislovas
Andrikonis, Julius
Stockus, Arunas
Databases and Information Systems VII, 2013, 249 : 279 - 286
[47] The Logic ILP for Intuitionistic Reasoning About Probability
Ilic-Stepic, Angelina
Ognjanovic, Zoran
Perovic, Aleksandar
STUDIA LOGICA, 2024, 112 (05) : 987 - 1017
[48] Logic for Reasoning about Components of Persuasive Actions
Budzynska, Katarzyna
Kacprzak, Magdalena
Rembelski, Pawel
FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2009, 5722 : 201 - +
[49] A STIT Logic for Reasoning About Social Influence
Emiliano Lorini
Giovanni Sartor
Studia Logica, 2016, 104 : 773 - 812
[50] A navigational logic for reasoning about graph properties
Navarro, Marisa
Orejas, Fernando
Pino, Elvira
Lambers, Leen
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 118

← 1 2 3 4 5 →