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

Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science

The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

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
Intended publication 1999-12-21	Postscript part I -- Checksum Postscript part II -- Checksum II
Info from authors
Third-party information

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

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