489 research outputs found
Recommended from our members
Logics of Imprecise Comparative Probability
This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability andcomparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating sets of probability measures
Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
Recently, it has been shown that probabilistic entailment under coherence is
weaker than model-theoretic probabilistic entailment. Moreover, probabilistic
entailment under coherence is a generalization of default entailment in System
P. In this paper, we continue this line of research by presenting probabilistic
generalizations of more sophisticated notions of classical default entailment
that lie between model-theoretic probabilistic entailment and probabilistic
entailment under coherence. That is, the new formalisms properly generalize
their counterparts in classical default reasoning, they are weaker than
model-theoretic probabilistic entailment, and they are stronger than
probabilistic entailment under coherence. The new formalisms are useful
especially for handling probabilistic inconsistencies related to conditioning
on zero events. They can also be applied for probabilistic belief revision.
More generally, in the same spirit as a similar previous paper, this paper
sheds light on exciting new formalisms for probabilistic reasoning beyond the
well-known standard ones.Comment: 10 pages; in Proceedings of the 9th International Workshop on
Non-Monotonic Reasoning (NMR-2002), Special Session on Uncertainty Frameworks
in Nonmonotonic Reasoning, pages 265-274, Toulouse, France, April 200
Precise Propagation of Upper and Lower Probability Bounds in System P
In this paper we consider the inference rules of System P in the framework of
coherent imprecise probabilistic assessments. Exploiting our algorithms, we
propagate the lower and upper probability bounds associated with the
conditional assertions of a given knowledge base, automatically obtaining the
precise probability bounds for the derived conclusions of the inference rules.
This allows a more flexible and realistic use of System P in default reasoning
and provides an exact illustration of the degradation of the inference rules
when interpreted in probabilistic terms. We also examine the disjunctive Weak
Rational Monotony of System P+ proposed by Adams in his extended probability
logic.Comment: 8 pages -8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000,
April 9-11, Breckenridge, Colorad
- …