Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 243-249

  Baral, Chitta ^a   Hunsaker, Matt ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROBABILISTIC REASONING; PROGRAMMING STYLES;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION;

LOGIC PROGRAMMING;

EID: 84880896814     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. F. Bacchus, A. Grove, J. Halpern, and D. Koller. From statistical knowledge bases to degrees of belief. Artificial Intelligence, 87:75-143, 1996. (Pubitemid 126371217)
2. F. Bacchus. Representing and reasoning with uncertain knowledge. MIT Press, 1990.
3. C. Baral, M. Gelfond, and N. Rushton. Probabilistic reasoning with answer sets. In Proceedings of LPNMR7, pages 21-33, 2004.
4. C. Baral, M. Gelfond, and N. Rushton. Probabilistic reasoning with answer sets, 2005. Draft: http://www.public.asu.edu/?cbaral/papers/plog05.pdf.
5. J. Breese. Construction of belief and decision networks. Technical report, Tech. Memorandom 90, Rockwell International Science Center, Palo Alto, CA, 1990.
6. J. Cussens. Loglinear models for first-order probabilistic reasoning. In Proceedings of the Fifteenth Conference on UAI, pages 126-133, 1999.
7. M. De Vos and D. Vermeir. Dynamically ordered probabilistic choice logic programming. In Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS2000), pages 227-239, 2000.
8. A. Dekhtyar and M. Dekhtyar. Possible worlds semantics for probabilistic logic programs. In ICLP, pages 137-148, 2004.
9. M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295-312, 1985.
10. L. Getoor, N. Friedman, D. Koller, and A. Pfeffer. Learning probabilistic relational models. In Relational data mining, pages 307-335. Springer, 2001.
11. J. Halpern. An analysis of first-order logics of probability. ArtificialIntelligence, 46:311-350, 1990.
12. J. Halpern. Reasoning about Uncertainty. MIT Press, 2003.
13. Kristian Kersting and Luc De Raedt. Bayesian logic programs. In J. Cussens and A. Frisch, editors, Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, pages 138-155, 2000.
14. D. Koller. Probabilistic relational models. In ILP99, pages 3-13, 1999.
15. T. Lukasiewicz. Probabilistic logic programming. In ECAI, pages 388-392, 1998.
16. S. Muggleton. Stochastic logic programs. In L. De Raedt, editor, Proceedings of the 5th International Workshop on Inductive Logic Programming, page 29. Department of Computer Science, Katholieke Universiteit Leuven, 1995.
17. Raymond T. Ng and V. S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150-201, 1992.
18. Raymond T. Ng and V. S. Subrahmanian. Stable semantics for probabilistic deductive databases. Information and Computation, 110(1):42-83, 1994.
19. Liem Ngo and Peter Haddawy. Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science, 171(1-2):147-177, 1997.
20. N. Nilsson. Probabilistic logic. Artificial Intelligence, 28:71-87, 1986.
21. M. Paskin. Maximum entropy probabilistic logic. Tech. Report UCB/CSD-01-1161, Computer Science Division, Univ. of California, Berkeley, CA, 2002.
22. H. Pasula and S. Russell. Approximate inference for first-order probabilistic languages. In Proceedings of IJCAI 01, pages 741-748, 2001.
23. J. Pearl. Causality. Cambridge University Press, 2000.
24. David Poole. Probabilistic horn abduction and bayesian networks. Artificial Intelligence, 64(1):81-129, 1993.
25. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7-56, 1997. (Pubitemid 127371445)
26. D. Poole. Abducing through negation as failure: Stable models within the independent choice logic. Journal of Logic Programming, 44:5-35, 2000.
27. M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62:107-136, 2006. (Pubitemid 43202307)
28. M. Riedel. Cyclic Combinational Circuits. PhD thesis, California Institute of Technology, 2003.
29. S. Riezler. Probabilistic constraint logic programming. PhD thesis, University of Tubingen, Tubingen, Germany, 1998.
30. V. Santos Costa, D. Page, M. Qazi, and J. Cussens. CLP(BN): Constraintlogic programming for probabilistic knowledge. In Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence, pages 517-524, 2003.
31. Nam Tran and Chitta Baral. Encoding probabilistic causal models in probabilistic action language pal. In AAAI'04, 2004.
32. J. Vennekens, S. Verbaeten, and M. Bruynooghe. Logic programs with annotated disjunctions. In ICLP, pages 431-445, 2004.
33. M. Wellman, J. Breese, and R. Goldman. From knowledge bases to decision models. Knowledge Engineering Review, pages 35-53, 1992.