Possible Worlds Semantics for Probabilistic Logic Programs

  • Alex Dekhtyar
  • Michael I. Dekhtyar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3132)


In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logic Programs (p-programs) of Ng and Subrahmanian. P-programs represent imprecision using probability intervals. Our semantics, based on the possible worlds semantics, considers all point probability distributions that satisfy a given p-program. In the paper, we provide the exact characterization of such models of a p-program. We show that the set of models of a p-program cannot, in general case, be described by single intervals associated with atoms of the program. We provide algorithms for efficient construction of this set of models and study their complexity.


Logic Program Atomic Function Point Probability Probability Interval Deductive Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baral, C., Gelfond, M., Nelson Rushton, J.: Probabilistic Reasoning With Answer Sets. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 21–33. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Biazzo, V., Gilio, A.: A Generalization of the Fundamental Theorem of de Finetti for Imprecise Conditional Probability Assessments. In: Proc. 1st. Intl. Symposium on Imprecise Probabilities and Their Applications (1999)Google Scholar
  3. 3.
    de Campos, L.M., Huete, J.F., Moral, S.: Probability Intervals: A Tool for Uncertain Reasoning. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS) 2(2), 167–196 (1994)CrossRefGoogle Scholar
  4. 4.
    Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs. Journal of Logic Programming 43(3), 187–250 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Dekhtyar, M.I., Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs: Algorithms and Complexity. In: Proc. of, Conf. on Uncertainty in AI (UAI), pp. 160–169 (1999)Google Scholar
  6. 6.
    Kyburg Jr., H.E.: Interval-valued Probabilities. In: de Cooman, G., Walley, P., Cozman, F.G. (eds.) Imprecise Probabilities Project (1998),
  7. 7.
    Lakshmanan, V.S., Sadri, F.: Modeling Uncertainty in Deductive Databases. In: Karagiannis, D. (ed.) DEXA 1994. LNCS, vol. 856, pp. 724–733. Springer, Heidelberg (1994)Google Scholar
  8. 8.
    Lakshmanan, V.S., Sadri, F.: Probabilistic Deductive Databases. In: Proc. Int. Logic Programming Symp. (ILPS 1994), Ithaca, NY, November 1994, MIT Press, Cambridge (1994)Google Scholar
  9. 9.
    Ng, R., Subrahmanian, V.S.: Probabilistic Logic Programming. Information and Computation 101(2), 150–201 (1993)CrossRefMathSciNetGoogle Scholar
  10. 10.
    Ng, R., Subrahmanian, V.S.: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. Journal of Automated Reasoning 10(2), 191–235 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Ng, R., Subrahmanian, V.S.: Stable Semantics for Probabilistic Deductive Databases. Information and Computation 110(1), 42–83 (1995)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Ngo, L., Haddawy, P.: Probabilistic Logic Programming and Bayesian Networks. In: Kanchanasut, K., Levy, J.-J. (eds.) ACSC 1995. LNCS, vol. 1023, pp. 286–300. Springer, Heidelberg (1995)Google Scholar
  13. 13.
    Poole, D.: Probabilistic Horn Abduction and Bayesian Networks. Artificial Intelligence 64(1), 81–129 (1993)zbMATHCrossRefGoogle Scholar
  14. 14.
    Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, Boca Raton (1991)zbMATHGoogle Scholar
  15. 15.
    Weichselberger, K.: The theory of interval-probability as a unifying concept for uncertainty. In: Proc. 1st International Symp. on Imprecise Probabilities and Their Applications (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Alex Dekhtyar
    • 1
  • Michael I. Dekhtyar
    • 2
  1. 1.Department of Computer ScienceUniversity of Kentucky 
  2. 2.Department of Computer ScienceTver State University 

Personalised recommendations