A Logic for Reasoning about Evidence

Details A Logic for Reasoning about Evidence A Logic for Reasoning about Evidence

2004-05-26

arxiv.org/abs/cs/0405098v3

Journal of Artificial Intelligence Research 26, pp. 1-34, 2006

Computer Science

Artificial Intelligence

34 pages. A preliminary version appeared in Proc. 19th Conference on Uncertainty in Artificial Intelligence (UAI'03)

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Logic for Reasoning about Evidence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Logic for Reasoning about Evidence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Logic for Reasoning about Evidence will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-78858