LiEP CIS-2000-022: Precise Propagation of Upper and Lower Probability Bounds in System P.

Linköping University Electronic Press: Electronic Articles in Computer and Information Science

Precise Propagation of Upper and Lower Probability Bounds in System P.

Title:	Precise Propagation of Upper and Lower Probability Bounds in System P.
Authors:	Angelo Gilio
Series:	Linköping Electronic Articles in Computer and Information Science ISSN 1401-9841
Issue:	Vol. 5 (2000): nr 022
URL:	http://www.ep.liu.se/ea/cis/2000/022/

Abstract:	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.
Keywords:

Abstract:

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.

Keywords:

First posting 1999-04-06	In ETAI Newsletter and Decision and Reasoning under Uncertainty
Original publication 2000-12-21	Postscript part I -- Checksum Postscript part II -- Checksum II
Info from authors
Third-party information

This article was first posted on the Internet as specified under "First posting", and appeared on the E-press server on the date specified under "Original publication".

[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se