Skip to main content
SpringerLink
Log in

Belief Logic Programming

  • Conference paper
Logic Programming (ICLP 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5649))

Included in the following conference series:

Abstract

Various forms of quantitative logic programming have been widely used for dealing with uncertainty and inconsistency in knowledge representation. A less explored issue in quantitative logic programming is combining correlated pieces of information. Most works disregard correlation or assume that all sources are independent. Others make an effort to take some forms of correlation into account, but in an ad hoc manner.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

References

  1. Baldwin, J.F.: Support logic programming. Intl. Journal of Intelligent Systems 1, 73–104 (1986)

    Article  MATH  Google Scholar 

  2. Baldwin, J.F.: Evidential support logic programming. Fuzzy Sets and Systems 24(1), 1–26 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. J. of Logic Programming 43, 391–405 (1997)

    MathSciNet  MATH  Google Scholar 

  4. Dempster, A.P.: Upper and lower probabilities induced by a multi-valued mapping. Ann. Mathematical Statistics 38 (1967)

    Google Scholar 

  5. Elkan, C.: The paradoxical success of fuzzy logic. In: IEEE Expert, pp. 698–703 (1993)

    Google Scholar 

  6. Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)

    MATH  Google Scholar 

  7. Kersting, K., De Raedt, L.: Bayesian logic programs. Technical report, Albert-Ludwigs University at Freiburg (2001)

    Google Scholar 

  8. Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Gyssens, M., Van Gucht, D., Paredaens, J. (eds.) ICDT 1988. LNCS, vol. 326, pp. 102–117. Springer, Heidelberg (1988)

    Google Scholar 

  9. Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Trans. on Knowledge and Data Engineering 13(4), 554–570 (2001)

    Article  Google Scholar 

  10. Ng, R.T.: Reasoning with uncertainty in deductive databases and logic programs. Intl. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(3), 261–316 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ruthven, I., Lalmas, M.: Using dempster-shafers theory of evidence to combine aspects of information use. J. of Intelligent Systems 19, 267–301 (2002)

    Google Scholar 

  12. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)

    MATH  Google Scholar 

  13. Shenoy, P.P., Shafer, G.: Axioms for probability and belief-function propagation. In: Uncertainty in Artificial Intelligence, pp. 169–198. North-Holland, Amsterdam (1990)

    Chapter  Google Scholar 

  14. Zadeh, L.A.: Fuzzy sets. Information Control 8, 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State University of New York at Stony Brook, Stony Brook, NY, 11794, U.S.A.

    Hui Wan

Authors
  1. Hui Wan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, University of Leeds, LS2 9JT, Leeds, UK

    Patricia M. Hill

  2. Deptartment of Computer Science, Stony Brook University, 11794-4400, Stony Brook, NY, USA

    David S. Warren

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wan, H. (2009). Belief Logic Programming. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_57

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02846-5_57

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02845-8

  • Online ISBN: 978-3-642-02846-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation