Finding Most Probable Worlds of Probabilistic Logic Programs
Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are interested in finding a possible world that is most probable. Our first result shows that the problem of computing such ”maximally probable worlds” (MPW) is intractable. We subsequently show that we can often greatly reduce the size of the linear program used in past work (by Ng and Subrahmanian) and yet solve the problem exactly. However, the intractability results still make computational efficiency quite impossible. We therefore also develop several heuristics to solve the MPW problem and report extensive experimental results on the accuracy and efficiency of such heuristics.
Unable to display preview. Download preview PDF.
- 5.Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. In: Furukawa, K. (ed.) Proc. of the 8th Int. Conf. on Logic Programming, pp. 565–580. The MIT Press, Cambridge (1991)Google Scholar
- 8.Wilkenfeld, J., Asal, V., Johnson, C., Pate, A., Michael, M.: The use of violence by ethnopolitical organizations in the middle east. Technical report, National Consortium for the Study of Terrorism and Responses to Terrorism (2007)Google Scholar
- 9.Ernst, J., Martinez, V., Simari, G.I., Sliva, A.: Mining rules about behaviors of terror groups. In preparation for submission to a conference (2007)Google Scholar
- 10.Ngo, L., Haddawy, P.: Probabilistic logic programming and bayesian networks. In: Asian Computing Science Conf., pp. 286–300 (1995)Google Scholar
- 13.Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. In: Int. Conf. on Logic Programming, pp. 391–405 (1997)Google Scholar
- 15.Lukasiewicz, T.: Probabilistic logic programming. In: European Conference on Artificial Intelligence, pp. 388–392 (1998)Google Scholar
- 16.Pillo, A.: Implementation and investigation of probabilistic reasoning in deductive databases. Diploma Thesis, University of Wuerzburg (1998)Google Scholar
- 17.Seipel, D., Thöne, H.: DISLOG - A system for reasoning in disjunctive deductive databases. In: DAISD 1994, pp. 325–343 (1994)Google Scholar