Skip to main content
SpringerLink
Log in

Query Answering in Belief Logic Programming

  • Conference paper
Book cover Scalable Uncertainty Management (SUM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5785))

Included in the following conference series:

Abstract

In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of information. Based on this semantics, we develop efficient algorithms that can answer queries for non-ground programs with the help of an SLD-like procedure. We also analyze the computational complexity of the algorithms and illustrate their uses.

This work is part of the SILK (Semantic Inference on Large Knowledge) project sponsored by Vulcan, Inc.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  4. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of logic in artificial intelligence and logic programming, nonmonotonic reasoning and uncertain reasoning, vol. 3, pp. 439–513. Oxford University Press, Inc., Oxford (1994)

    Google Scholar 

  5. Grosof, B.N.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report Supplementary Update Follow-On to RC 21472, IBM (July 1999)

    Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. of Logic Programming 12(3,4), 335–367 (1992)

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  9. Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Trans. on Computational Logic 2(3), 289–339 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell. 4(B), 141–153 (2000)

    MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  12. Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective probabilities in deductive databases. J. of Automated Reasoning 10(2), 191–235 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  13. Pearce, D., Wagner, G.: Logic programming with strong negation. In: Proceedings of the international workshop on Extensions of logic programming, pp. 311–326. Springer-Verlag New York, Inc., New York (1991)

    Chapter  Google Scholar 

  14. Poole, D.: The independent choice logic and beyond. In: Probabilistic Inductive Logic Programming, pp. 222–243 (2008)

    Google Scholar 

  15. De Raedt. L, Kersting, K.: Probabilistic inductive logic programming. In: Probabilistic inductive logic programming, pp. 1–27 (2008)

    Google Scholar 

  16. Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol. 3350, pp. 67–82. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. of Artificial Intelligence Research 15, 391–454 (2001)

    MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  19. 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 

  20. Shortliffe, E.H.: Computer Based Medical Consultations: MYCIN. American Elsevier, Amsterdam (1976)

    Google Scholar 

  21. Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Symposium on Logic Programming (SLP), pp. 173–182 (1987)

    Google Scholar 

  22. Wan, H., Grosof, B.N., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: Intl. Conf. on Logic Programming (2009)

    Google Scholar 

  23. Wan, H., Kifer, M.: Belief logic programming: Uncertainty reasoning with correlation of evidence. In: Intl. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR (2009)

    Google Scholar 

  24. 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, USA

    Hui Wan & Michael Kifer

Authors
  1. Hui Wan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Kifer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Articial Intelligence Reseach Institute (IIIA), Spanish National Research Council (CSIC), Campus de la Universitat, 08193, Bellaterra, Spain

    Lluís Godo

  2. Department of Electronics, Computer Science and Systems, University of Calabria, Via P. Bucci, 41C, 87036, Rende (CS), Italy

    Andrea Pugliese

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wan, H., Kifer, M. (2009). Query Answering in Belief Logic Programming . In: Godo, L., Pugliese, A. (eds) Scalable Uncertainty Management. SUM 2009. Lecture Notes in Computer Science(), vol 5785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04388-8_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04388-8_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04387-1

  • Online ISBN: 978-3-642-04388-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation