Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Dekhtyar, A., Subrahmanian, V.S.: Hybrid Probabilistic Programs. Journal of Logic Programming 43(3), 187–250 (2000)
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)
Kyburg Jr., H.E.: Interval-valued Probabilities. In: de Cooman, G., Walley, P., Cozman, F.G. (eds.) Imprecise Probabilities Project (1998), http://ippserv.rug.ac.be/documentation/intervalprob/intervalprob.html
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)
Lakshmanan, V.S., Sadri, F.: Probabilistic Deductive Databases. In: Proc. Int. Logic Programming Symp. (ILPS 1994), Ithaca, NY, November 1994, MIT Press, Cambridge (1994)
Ng, R., Subrahmanian, V.S.: Probabilistic Logic Programming. Information and Computation 101(2), 150–201 (1993)
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)
Ng, R., Subrahmanian, V.S.: Stable Semantics for Probabilistic Deductive Databases. Information and Computation 110(1), 42–83 (1995)
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)
Poole, D.: Probabilistic Horn Abduction and Bayesian Networks. Artificial Intelligence 64(1), 81–129 (1993)
Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, Boca Raton (1991)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dekhtyar, A., Dekhtyar, M.I. (2004). Possible Worlds Semantics for Probabilistic Logic Programs. In: Demoen, B., Lifschitz, V. (eds) Logic Programming. ICLP 2004. Lecture Notes in Computer Science, vol 3132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27775-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-27775-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22671-0
Online ISBN: 978-3-540-27775-0
eBook Packages: Springer Book Archive