Skip to main content
SpringerLink
Log in
Book cover

Foundations of Bayesianism pp 241–260Cite as

Integrating Probabilistic and Logical Reasoning

  • Chapter

  • 956 Accesses

Part of the book series: Applied Logic Series ((APLS,volume 24))

Abstract

The ability to perform reasoning with uncertainty is a prerequisite for intelligent behaviour. Consequently there has been considerable Artificial Intelligence (AI) research into representing and reasoning with uncertainty. Given that there have been several centuries of successful applications of probability to uncertain reasoning, it would seem a natural tool for uncertainty in AI. However, in 1969 McCarthy and Hayes produced an influential paper [McCarthy and Hayes, 1969], which proclaimed that probabilities were “epistemologically inadequate” and much early AI work on uncertainty accepted this argument.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Martin Abadi and Joseph Y. Halpern. Decidability and expressiveness for first-order logics of probability. Information and Computation, 112 (1): 1–36, 1994.

    Article  Google Scholar 

  2. Steven Abney. Stochastic attribute-value grammars. Computational Linguistics, 23 (4): 597–618, 1997.

    Google Scholar 

  3. Fahiem Bacchus, Adam Grove, Joseph Y. Halpern, and Daphne Koller. From statistics to belief. Artificial Intelligence, 87: 75–143, 1996.

    Article  Google Scholar 

  4. Craig Boutilier, Nir Friedman, Moises Goldszmidt, and Daphne Koller. Context-specific independence in Bayesian networks. In Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence (UAI-96), pages 115–123, Portland, Oregon, 1996.

    Google Scholar 

  5. K.L. Clark and F.G. McCabe. PROLOG: a language for implementing expert systems. In J.E. Hayes, Donald Michie, and Y-H Pao, editors, Machine Intelligence, volume 10, chapter 23, pages 455–470. Ellis Horwood, Chichester, 1982.

    Google Scholar 

  6. James Cussens. Deduction, induction and probabilistic support. Synthese, 108 (1): 110, July 1996.

    Google Scholar 

  7. James Cussens. Integrating probabilistic and logical reasoning. Electronic Transactions on Artificial Intelligence,3(B):79–103, 1999. Selected Articles from the Machine Intelligence 16 Workshop.

    Google Scholar 

  8. James Cussens. Loglinear models for first-order probabilistic reasoning. In Kathryn B. Laskey and Henri Prade, editors, Proceedings of the Fifteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-99), pages 126–133, Stockholm, 1999. Morgan Kaufmann.

    Google Scholar 

  9. James Cussens. Attribute-value and relational learning: A statistical viewpoint. In Luc De Raedt and Stefan Kramer, editors, Proceedings of the ICML-2000 Workshop on Attribute-Value and Relational Learning: Crossing the Boundaries, pages 35–39, 2000.

    Google Scholar 

  10. James Cussens. Stochastic logic programs: Sampling, inference and applications. In Craig Boutilier and Moisés Goldszmidt, editors, Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2000), pages 115–122, Stanford, CA, 2000. Morgan Kaufmann.

    Google Scholar 

  11. James Cussens. Parameter estimation in stochastic logic programs. Machine Learning, 44 (3): 245–271, 2001.

    Article  Google Scholar 

  12. James Cussens. Statistical aspects of stochastic logic programs. In Tommi Jaakkola and Thomas Richardson, editors, Artificial Intelligence and Statistics 2001: Proceedings of the Eighth International Workshop, pages 181–186, Key West, Florida, January 2001. Morgan Kaufmann.

    Google Scholar 

  13. S. Della Pietra, V. Della Pietra, and J. Lafferty. Inducing features of random fields. IEEE Transactions on Pattern Analysis and Machine Intelligence,19(4):380–393, April 1997.

    Google Scholar 

  14. Andreas Eisele. Towards probabilistic extensions of constraint-based grammars. Contribution to DYANA-2 Deliverable R1.2B, DYANA-2 project, 1994.

    Google Scholar 

  15. Peter Haddaway. An overview of some recent developments in Bayesian problem solving techniques. Al Magazine, Spring 1999.

    Google Scholar 

  16. Joseph Y. Halpern. An analysis of first-order logics of probability. Artificial Intelligence, 46: 311–350, 1990.

    Article  Google Scholar 

  17. Manfred Jaeger. Relational Bayesian networks. In Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-97),pages 266–273, San Francisco, CA, 1997. Morgan Kaufmann Publishers.

    Google Scholar 

  18. Daphne Koller and Avi Pfeffer. Learning probabilities for noisy first-order rules. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August 1997.

    Google Scholar 

  19. K. Lai and S.J. Young. The estimation of stochastic context-free grammars using the Inside-Outside algorithm. Computer Speech and Language, 4: 35–56, 1990.

    Article  Google Scholar 

  20. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, Edinburgh, 1969.

    Google Scholar 

  21. S.H. Muggleton. Stochastic logic programs. In L. de Raedt, editor, Advances in Inductive Logic Programming, pages 254–264. IOS Press, 1996.

    Google Scholar 

  22. S.H. Muggleton. Semantics and derivation for stochastic logic programs. In Richard Dybowski, editor, Proceedings of the UAI-2000 Workshop on Fusion of Domain Knowledge with Data for Decision Support, 2000.

    Google Scholar 

  23. Raymond Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, I01 (2): 150–201, 1992.

    Article  Google Scholar 

  24. Raymond Ng and V.S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. Journal of Automated Reasoning, 10 (2): 191–235, 1993.

    Article  Google Scholar 

  25. Raymond Ng and V.S. Subrahmanian. Stable semantics for probabilistic databases. Information and Computation, 110 (1): 42–83, 1994.

    Article  Google Scholar 

  26. L. Ngo and Peter Haddaway. Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science, 171:147–171, 1997.

    Google Scholar 

  27. Liem Ngo, Peter Haddawy, and James Helwig. A theorectical framework for context-sensitive temporal probability model construction with application to plan projection. In Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence (UAI-95),pages 419–426, Montreal, Quebec, Canada, 1995.

    Google Scholar 

  28. Fernando C. N. Pereira and Stuart M. Shieber. Prolog and Natural-Language Analysis. CLSI, Stanford, 1987.

    Google Scholar 

  29. Karl R. Popper and David Miller. Why probabilistic support is not inductive. Philosophical Transactions of the Royal Society of London, 321: 569–591, 1987.

    Google Scholar 

  30. Stefan Riezler. Probabilistic constraint logic programming. Arbeitsberichte des SFB 340 Bericht Nr. 117, Universität Tübingen, 1997.

    Google Scholar 

  31. Stefan Riezler. Probabilistic Constraint Logic Programming. PhD thesis, Universität Tübingen, 1998. AIMS Report 5(1), 1999, IMS, Universität Stuttgart.

    Google Scholar 

  32. Glenn Shafer. The Art of Causal Conjecture. MIT Press, Cambridge, Mass., 1996.

    Google Scholar 

  33. Ehud Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In Proc. If CAI-83, pages 529–532, 1983.

    Google Scholar 

  34. D. Spiegelhalter, A. Thomas, N. Best, and W. Gilks. BUGS 0.5 Bayesian inference using Gibbs Sampling Manual. MRC Biostatistics Unit, Cambridge, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of York, UK

    James Cussens

Authors
  1. James Cussens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Philosophy, King’s College, London, UK

    David Corfield  & Jon Williamson  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Cussens, J. (2001). Integrating Probabilistic and Logical Reasoning. In: Corfield, D., Williamson, J. (eds) Foundations of Bayesianism. Applied Logic Series, vol 24. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1586-7_10

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-1586-7_10

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5920-8

  • Online ISBN: 978-94-017-1586-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation