9,014 research outputs found
Modelling default and likelihood reasoning as probabilistic
A probabilistic analysis of plausible reasoning about defaults and about likelihood is presented. 'Likely' and 'by default' are in fact treated as duals in the same sense as 'possibility' and 'necessity'. To model these four forms probabilistically, a logic QDP and its quantitative counterpart DP are derived that allow qualitative and corresponding quantitative reasoning. Consistency and consequence results for subsets of the logics are given that require at most a quadratic number of satisfiability tests in the underlying propositional logic. The quantitative logic shows how to track the propagation error inherent in these reasoning forms. The methodology and sound framework of the system highlights their approximate nature, the dualities, and the need for complementary reasoning about relevance
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
- …