A logic for reasoning about upper probabilities

Journal of Artificial Intelligence Research

Volumn 17, Issue , 2002, Pages 57-81

  Halpern, Joseph Y ^a   Pucella, Riccardo ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; POLYNOMIALS; PROBABILITY; SEMANTICS; SET THEORY; THEOREM PROVING;

AXIOMATIZATION; PROPOSITIONAL LOGIC; REASONING; SUBSETS;

FORMAL LOGIC;

EID: 1842839056     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.985     Document Type: Article

References (25)

1. Anger, B., & Lembcke, J. (1985). Infinitely subadditive capacities as upper envelopes of measures. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 68, 403-414.
2. Chvátal, V. (1983). Linear Programming. W. Freeman and Co., San Francisco, Calif.
3. Conway, J. B. (1990). A Course in Functional Analysis (Second edition). No. 96 in Graduate Texts in Mathematics. Springer-Verlag.
4. Dempster, A. P. (1967). Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics, 38(2), 325-339.
5. Dickson, L. E. (1913). Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. American Journal of Mathematics, 55(4), 413-422.
6. Fagin, R., & Halpern, J. Y. (1991). Uncertainty, belief and probability. Computational Intelligence, 7(3), 160-173.
7. Fagin, R., Halpern, J. Y., & Megiddo, N. (1990). A logic for reasoning about probabilities. Information and Computation, 87 (1,2), 78-128.
8. Giles, R. (1982). Foundations for a theory of possibility. In Gupta, M. M., & Sanchez, E. (Eds.), Fuzzy Information and Decision Processes, pp. 183-195. North-Holland.
9. Halpern, J. Y. (2002). Reasoning about uncertainty. Book manuscript.
10. Halpern, J. Y., & Pucella, R. (2002). Reasoning about expectation. In Proc. Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI 2002).
11. Huber, P. J. (1976). Kapazitäten statt Wahrscheinlichkeiten? Gedanken zur Grundlegung der Statistik. Jber. Deutsch. Math.-Verein, 78, 81-92.
12. Huber, P. J. (1981). Robust Statistics. Wiley Interscience.
13. Kyburg, Jr., H. E. (1987). Bayesian and non-Bayesian evidential updating. Artificial Intelligence, 31, 271-293.
14. Lorentz, G. G. (1952). Multiply subadditive functions. Canadian Journal of Mathematics, 4(4), 455-462.
15. Mendelson, E. (1964). Introduction to Mathematical Logic. Van Nostrand, New York.
16. Popkorn, S. (1994). First Steps in Modal Logic. Cambridge University Press, Cambridge; New York.
17. Rudin, W. (1976). Principles of Mathematical Analysis (Third edition). McGraw-Hill.
18. Shafer, G. (1976). A Mathematical Theory of Evidence. Princeton University Press, Princeton, NJ.
19. Shores, T. (1999). Applied Linear Algebra and Matrix Analysis (Second edition). McGraw-Hill.
20. Smith, C. A. B. (1961). Consistency in statistical inference and decision. Journal of the Royal Statistical Society, Series B, 23, 1-25.
21. Walley, P. (1981). Coherent lower (and upper) probabilities. Manuscript, Dept. of Statistics, University of Warwick.
22. Walley, P. (1991). Statistical Reasoning with Imprecise Probabilities. Chapman and Hall.
23. Williams, P. M. (1976). Indeterminate probabilities. In Przelecki, M., Szaniawski, K., & Wójciki, E. (Eds.), Formal Methods in the Methodology of Empirical Sciences, pp. 229-246.
24. Wilson, N., & Moral, S. (1994). A logical view of probability. In Proc. 11th European Conference on Artificial Intelligence (ECAI-94), pp. 71-95.
25. Wolf, G. (1977). Obere und Untere Wahrscheinlichkeiten. Doctoral dissertation, Eidgenössischen Technischen Hochschule, Zurich. (Diss. ETH 5884).