Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation

Details Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation

2003-12-17

arxiv.org/abs/cs/0312037v2

Computer Science

Artificial Intelligence

To appear in Journal of the ACM

Scientific paper

Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying representation of uncertainty. We give sound and complete axiomatizations for the logic in the case that the underlying representation is (a) probability, (b) sets of probability measures, (c) belief functions, and (d) possibility measures. We show that this logic is more expressive than the corresponding logic for reasoning about likelihood in the case of sets of probability measures, but equi-expressive in the case of probability, belief, and possibility. Finally, we show that satisfiability for these logics is NP-complete, no harder than satisfiability for propositional logic.

Affiliated with

Also associated with

No associations

Rating

Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation 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 Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-592188