A logic for reasoning about evidence

Journal of Artificial Intelligence Research

Volumn 26, Issue , 2006, Pages 1-34

  Halpern, Joseph Y ^a   Pucella, Riccardo ^b  

^a Department of Obstetrics Gynecology   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DECISION THEORY; MATHEMATICAL MODELS; NUMERICAL METHODS;

AXIOMATIZATION; DECISION PROBLEM; QUANTIFICATION; REASONING;

FORMAL LOGIC;

EID: 33749005420     PISSN: 10769757     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.1838     Document Type: Article

References (31)

1. Ben-Or, M., Kozen, D., & Reif, J. H. (1986). The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(1), 251-264.
2. Canny, J. F. (1988). Some algebraic and geometric computations in PSPACE. In Proc. 20th Annual ACM Symposium on the Theory of Computing (STOC'88), pp. 460-467.
3. Carnap, R. (1962). Logical Foundations of Probability (Second edition). University of Chicago Press.
4. Casella, G., & Berger, R. L. (2001). Statistical Inference (Second edition). Duxbury.
5. Chan, H., & Darwiche, A. (2005). On the revision of probabilistic beliefs using uncertain evidence. Artificial Intelligence, 163, 67-90.
6. de Alfaro, L. (1998). Formal Verification of Probabilistic Systems. Ph.D. thesis, Stanford University. Available as Technical Report STAN-CS-TR-98-1601.
7. Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.
8. Fagin, R., & Halpern, J. Y. (1994). Reasoning about knowledge and probability. Journal of the ACM, 41(2), 340-367.
9. Fagin, R., Halpern, J. Y., & Megiddo, N. (1990). A logic for reasoning about probabilities. Information and Computation, 87(1/2), 78-128.
10. Pischer, M. J., & Zuck, L. D. (1988). Reasoning about uncertainty in fault-tolerant distributed systems. Technical report YALEU/DCS/TR-643, Yale University.
11. Good, I. J. (1950). Probability and the Weighing of Evidence. Charles Griffin & Co. Ltd.
12. Good, I. J. (1960). Weights of evidence, corroboration, explanatory power, information and the utility of experiments. Journal of the Royal Statistical Society, Series B, 22, 319-331.
13. Halpern, J. Y., & Fagin, R. (1992). Two views of belief: belief as generalized probability and belief as evidence. Artificial Intelligence, 54, 275-317.
14. Halpern, J. Y., Moses, Y., & Tuttle, M. R. (1988). A knowledge-based analysis of zero knowledge. In Proc. 20th Annual ACM Symposium on the Theory of Computing (STOC'88), pp. 132-147.
15. Halpern, J. Y., & Pucella, R. (2003). A logic for reasoning about evidence. In Proc. 19th Conference on Uncertainty in Artificial Intelligence (UAI'03), pp. 297-304.
16. Halpern, J. Y., & Pucella, R. (2005a). Evidence with uncertain likelihoods. In Proc. 21th Conference on Uncertainty in Artificial Intelligence (UAI'05), pp. 243-250.
17. Halpern, J. Y., & Pucella, R. (2005b). Probabilistic algorithmic knowledge. Logical Methods in Computer Science, 1(3:1).
18. Halpern, J. Y., & Tuttle, M. R. (1993). Knowledge, probability, and adversaries. Journal of the ACM, 40(4), 917-962.
19. He, J., Seidel, K., & McIver, A. (1997). Probabilistic models for the guarded command language. Science of Computer Programming, 28(2-3), 171-192.
20. Jeffrey, R. C. (1992). Probability and the Art of Judgement. Cambridge University Press.
21. Kyburg, Jr., H. E. (1983). Recent work in inductive logic. In Machan, T., & Lucey, K. (Eds.), Recent Work in Philosophy, pp. 87-150. Rowman & Allanheld.
22. Milne, P. (1996). log[p(h|eb)/p(h|b)] is the one true measure of confirmation. Philosophy of Science, 63, 21-26.
23. Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann.
24. Popper, K. R. (1959). The Logic of Scientific Discovery. Hutchinson.
25. Renegar, J. (1992). On the computational complexity and geometry of the first order theory of the reals. Journal of Symbolic Computation, 13(3), 255-352.
26. Shafer, G. (1976). A Mathematical Theory of Evidence. Princeton University Press.
27. Shafer, G. (1982). Belief functions and parametric models (with commentary). Journal of the Royal Statistical Society, Series B, 44, 322-352.
28. Shoenfield, J. R. (1967). Mathematical Logic. Addison-Wesley, Reading, Mass.
29. Tarski, A. (1951). A Decision Method for Elementary Algebra and Geometry (2nd edition). Univ. of California Press.
30. Vardi, M. Y. (1985). Automatic verification of probabilistic concurrent finite-state programs. In Proc. 26th IEEE Symposium on the Foundations of Computer Science (FOCS'85), pp. 327-338.
31. Walley, P. (1987). Belief function representations of statistical evidence. Annals of Statistics, 18(4:), 1439-1465.