Precise Propagation of Upper and Lower Probability Bounds in System P
Subject: Mathematics - Probability
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 bas... View more
Adams, E. W. 1975. The Logic of Conditionals. Dordrecht, Netherlands: Reidel.
Adams, E. W. 1986. On the logic of high probability, Journal of Philosophical Logic 15: 255-279.
Benferhat, S.; Dubois, D.; and Prade, H. 1997. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence 92(1-2): 259-276.
Biazzo, V.; and Gilio A. 1999. A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments. International Journal of Approximate Reasoning. Forthcoming.
Bourne, R.; and Parsons, S. 1998. Propagating probabilities in System P. In Proceedings of the 11th International FLAIRS Conference, 440-445.
Capotorti, A.; and Vantaggi, B. 1999. A general interpretation of conditioning and its implication on coherence. Soft Computing 3/3: 148-153.
Coletti, G. 1994. Coherent numerical and ordinal probabilistic assessments. IEEE Trans. on Systems, Man, and Cybernetics 24(12): 1747-1754.
Coletti, G.; and Scozzafava, R. 1996. Characterization of coherent conditional probabilities as a tool for their assessment and extension. Journal of Uncertainty, Fuzziness and Knowledge-based Systems 4(2): 103-127.
Coletti, G.; and Scozzafava, R. 1999. Conditioning and inference in intelligent systems. Soft Computing 3/3: 118-130.
Dubois, D.; and Prade, H. 1991. Semantic consideration on order of magnitude reasoning. In Decision support systems and qualitative reasoning, Singh, M. G.; and Trave-Massuyes L. eds., 223-228. Elsevier Science Publishers B. V., North Holland.