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 条

[31] A Logic for Reasoning about Counterfactual Emotions
Lorini, Emiliano
Schwarzentruber, Francois
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 867 - 872
[32] A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
Axelsen, Holger Bock
Gluck, Robert
Kaarsgaard, Robin
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 52 - 67
[33] Reasoning about Intuitionistic Computation Tree Logic
Catta, Davide
Malvone, Vadim
Murano, Aniello
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 391 : 42 - 48
[34] A Framework for Reasoning about the Semantics of Logic Programs
Bull Eur Assoc Theor Comput Sci, 59 (426):
[35] A TEMPORAL LOGIC FOR MULTILEVEL REASONING ABOUT HARDWARE
MOSZKOWSKI, B
COMPUTER, 1985, 18 (02) : 10 - 19
[36] A Logic for Reasoning about Justified Uncertain Beliefs
Fan, Tuan-Fang
Liau, Churn-Jung
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2948 - 2954
[37] A simple logic for reasoning about incomplete knowledge
Banerjee, Mohua
Dubois, Didier
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (02) : 639 - 653
[38] MOMO: A modal logic for reasoning about mobility
De Nicola, R
Loreti, M
FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 95 - 119
[39] Reasoning in Dynamic Logic about program termination
Leivant, Daniel
PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 441 - 456
[40] TUTORIAL NOTES - REASONING ABOUT LOGIC PROGRAMS
BUNDY, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 252 - 277

← 1 2 3 4 5 →