Unifying logical and probabilistic reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3571 LNAI, Issue , 2005, Pages 788-799

  Haenni, Rolf ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; PROBABILITY;

AUTOMATED REASONING; INTELLIGENT SYSTEMS; PROBABILISTIC REASONING; PROBABILITY THEORY;

PROBABILISTIC LOGICS;

EID: 26944447856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11518655_66     Document Type: Conference Paper

References (38)

1. E. W. Adams. A Primer of Probability Logic. CSLI Publications, Stanfort, 1998.
2. L. J. Cohen. The Probable and the Provable. Clarendon Press, Oxford, 1977.
3. A. P. Dempster. A generalization of Bayesian inference. Journal of the Royal Statistical Society, 30:205-247, 1968.
4. R. Fagin and J. Y. Halpern. Uncertainty, belief, and probability. Computational Intelligence, 7(3):160-173, 1991.
5. R. Fagin, J. Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Information and Computation, 87(1/2):78-128, 1990.
6. P. Gärdenfors. Probabilistic reasoning and evidentiary value. In P. Gärdenfors, B. Hansson, and N. E. Sahlin, editors, Evidentiary Value: Philosophical, Judicial and Psychological Aspects of a Theory, pages 44-57. C. W. K. Gleerups, Lund, Sweden, 1983.
7. R. Haenni. Using probabilistic argumentation for key validation in public-key cryptography. International Journal of Approximate Reasoning, 38(3):355-376, 2005.
8. R. Haenni, B. Anrig, J. Kohlas, and N. Lehmann. A survey on probabilistic argumentation. In ECSQARU'01, 6th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, Workshop on Adventures in Argumentation, Toulouse, France, 2001.
9. R. Haenni, J. Kohlas, and N. Lehmann. Probabilistic argumentation systems. In J. Kohlas and S. Moral, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning, pages 221-288. Kluwer, Dordrecht, 2000.
10. R. Haenni and N. Lehmann. Probabilistic argumentation systems: a new perspective on Dempster-Shafer theory. International Journal of Intelligent Systems (Special Issue: the Dempster-Shafer Theory of Evidence), 18(1):93-106, 2003.
11. T. Hailperin. Probability logic. Notre Dame Journal of Formal Logic, 25(3):198-212, 1984.
12. T. Hailperin. Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications. Lehigh University Press, 1996.
13. J. Y. Halpern. An analysis of first-order logics of probability. Artificial Intelligence, 46:311-350, 1990.
14. M. J. Hill, J. B. Paris, and G. M. Wilmers. Some observations on induction in predicate probabilistic reasoning. Journal of Philosophical Logic, 31:43-75, 2002.
15. C. Howson. Probability and logic. Journal of Applied Logic, 1(3-4): 151-165, 2003.
16. J. Kohlas. Probabilistic argumentation systems: A new way to combine logic with probability. Journal of Applied Logic, 1(3-4):225-253, 2003.
17. J. Kohlas and P. A. Monney. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence, volume 425 of Lecture Notes in Economics and Mathematical Systems. Springer-Verlag, 1995.
18. J. Kohlas and P. A. Monney. Statistical information and assumption-based inference: Continuous models. Technical Report 04-08, Department of Informatics, University of Fribourg, 2004.
19. J. Kohlas and P. A. Monney. Statistical information and assumption-based inference: Discrete models. Technical Report 04-07, Department of Informatics, University of Fribourg, 2004.
20. A. N. Kolmogorov. Foundations of the Theory of Probability. Chelsea Publishing Company, New York, 1950.
21. H. E. Kyburg. Higher order probabilities and intervals. International Journal of Approximate Reasoning, 2:195-209, 1988.
22. H. E. Kyburg. Interval-valued probabilities. In G. de Cooman and P. Walley, editors, The Imprecise Probabilities Project. IPP Home Page, available at http://ippserv.rug.ac.be, 1998.
23. N. J. Nilsson. Probabilistic logic. Artificial Intelligence, 28(1):71-87, 1986.
24. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Mateo, CA, 1988.
25. C. S. Peirce. The probability of induction. Popular Science Monthly, 12:705-718, 1878.
26. E. Ruspini, J. Lowrance, and Th. Strat. Understanding evidential reasoning. International Journal of Approximate Reasoning, 6(3):401-424, 1992.
27. E. H. Ruspini. The logical foundations of evidential reasoning. Technical Report 408, AI Center, SRI International, Menlo Park, CA, 1986.
28. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 2nd edition, 2003.
29. G. Shafer. The Mathematical Theory of Evidence. Princeton University Press, 1976.
30. Ph. Smets. Probability of provability and belief functions. Journal de la Logique et Analyse, 133:177-195, 1991.
31. Ph. Smets and R. Kennes. The transferable belief model. Artificial Intelligence, 66:191-234, 1994.
32. B. Tessem. Interval probability propagation. International Journal of Approximate Reasoning, 7:95-120, 1992.
33. P. Walley. Statistical Reasoning with Imprecise Probabilities. Monographs on Statistics and Applied Probability 42. Chapman and Hall, London, UK, 1991.
34. P. Walley. Towards a unified theory of imprecise probability. International Journal of Approximate Reasoning, 24(2-3):125-148, 2000.
35. K. Weichselberger. The theory of interval-probability as a unifying concept for uncertainty. International Journal of Approximate Reasoning, 24(2-3):149-170, 2000.
36. J. Williamson. Probability logic. In D. Gabbay, R. Johnson, H. J. Ohlbach, and J. Woods, editors, Handbook of the Logic of Argument and Inference: the Turn Toward the Practical, pages 397-424. Elsevier, Amsterdam, 2002.
37. J. Williamson. Bayesian Nets and Causality: Philosophical and Computational Foundations. Oxford University Press, 2005.
38. R. R. Yager and V. Kreinovich. Decision making under interval probabilities. International Journal of Approximate Reasoning, 22:195-215, 1999.