×

A probabilistic logic based on the acceptability of gambles. (English) Zbl 1115.68148

Summary: This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilistic logic has a concrete syntax and a complete inference procedure, and it handles conditional as well as unconditional probabilities. It synthesizes Nilsson’s probabilistic logic and Frisch and Haddawy’s anytime inference procedure with Wilson and Moral’s logic of gambles. Two distinct semantics can be used for our probabilistic logic: (1) the measure-theoretic semantics used by the prior logics already mentioned and also by the more expressive logic of Fagin, Halpern, and Meggido and (2) a behavioral semantics. Under the measure-theoretic semantics, sentences of our probabilistic logic are interpreted as assertions about a probability distribution over interpretations of the underlying logic. Under the behavioral semantics, these sentences are interpreted only as asserting the acceptability of gambles, and this suggests different directions for generalization.

MSC:

68T37 Reasoning under uncertainty in the context of artificial intelligence
03B48 Probability and inductive logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in system P, Journal of Applied Non-Classical Logics, 12, 2, 189-213 (2002) · Zbl 1038.03023
[2] Chandru, Vijay; Hooker, John N., Optimization Methods for Logical Inference (1999), John Wiley & Sons, Inc.: John Wiley & Sons, Inc. New York · Zbl 0997.90506
[3] Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod, A logic for reasoning about probabilities, Information and Control, 87, 78-128 (1990) · Zbl 0811.03014
[4] Frisch, Alan; Haddawy, Peter, Anytime deduction for probabilistic logic, Artificial Intelligence, 69, 93-122 (1994) · Zbl 0809.03016
[5] Halpern, Joseph Y., Reasoning about Uncertainty (2003), The MIT Press: The MIT Press Cambridge, MA · Zbl 1090.68105
[6] Joseph Y. Halpern, Riccardo Pucella, A logic for reasoning about upper probabilities, in: Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, 2001, pp. 203-210.; Joseph Y. Halpern, Riccardo Pucella, A logic for reasoning about upper probabilities, in: Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, 2001, pp. 203-210.
[7] Joseph Y. Halpern, Riccardo Pucella, Reasoning about expectation, in: Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence, 2002, pp. 207-215.; Joseph Y. Halpern, Riccardo Pucella, Reasoning about expectation, in: Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence, 2002, pp. 207-215. · Zbl 1292.68140
[8] Lukasiewicz, Thomas, Weak nonmonotonic probabilistic logics, Artificial Intelligence, 168, 1, 119-161 (2005) · Zbl 1132.68737
[9] Nering, D. E., Linear Algebra and Matrix Theory (1970), John Wiley & Sons · Zbl 0238.15001
[10] Nilsson, Nils J., Probabilistic logic, Artificial Intelligence, 28, 71-87 (1986) · Zbl 0589.03007
[11] Shafer, Glenn, The Art of Causal Conjecture (1996), The MIT Press: The MIT Press Cambridge, MA · Zbl 0874.60003
[12] Shafer, Glenn; Gillett, Peter R.; Scherl, Richard, The logic of events, Annals of Mathematics and Artificial Intelligence, 28, 315-389 (2000) · Zbl 1052.68726
[13] Shafer, Glenn; Gillett, Peter R.; Scherl, Richard B., A new understanding of subjective probability and its generalization to lower and upper prevision, International Journal of Approximate Reasoning, 33, 1-49 (2003) · Zbl 1092.68098
[14] Shafer, Glenn; Vovk, Vladimir, Probability and Finance: It’s only a Game! (2001), John Wiley & Sons, Inc.: John Wiley & Sons, Inc. New York · Zbl 0985.91024
[15] Walley, Peter, Statistical Reasoning with Imprecise Probabilities (1991), Chapman & Hall: Chapman & Hall London · Zbl 0732.62004
[16] Nic Wilson, A logic of extended probability, in: Proceedings of the 1st International Symposium on Imprecise Probabilities and Their Applications, Ghent, Belgium, 29 June-2 July, 1999.; Nic Wilson, A logic of extended probability, in: Proceedings of the 1st International Symposium on Imprecise Probabilities and Their Applications, Ghent, Belgium, 29 June-2 July, 1999. · Zbl 1100.68110
[17] Wilson, Nic; Moral, Serafín, A logical view of probability, (Proceedings of the 11th European Conference on Artificial Intelligence (1994), John Wiley & Sons, Ltd.) · Zbl 0859.68097
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.