Hostname: page-component-586b7cd67f-vdxz6 Total loading time: 0 Render date: 2024-11-24T09:51:47.108Z Has data issue: false hasContentIssue false
  • English
  • Français

Lower complexity bounds for lifted inference

Published online by Cambridge University Press:  22 May 2014

MANFRED JAEGER
MANFRED JAEGER*
Affiliation:
Department of Computer Science, Aalborg University, 9220 Aalborg, Denmark (e-mail: [email protected])
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

One of the big challenges in the development of probabilistic relational (or probabilistic logical) modeling and learning frameworks is the design of inference techniques that operate on the level of the abstract model representation language, rather than on the level of ground, propositional instances of the model. Numerous approaches for such “lifted inference” techniques have been proposed. While it has been demonstrated that these techniques will lead to significantly more efficient inference on some specific models, there are only very recent and still quite restricted results that show the feasibility of lifted inference on certain syntactically defined classes of models. Lower complexity bounds that imply some limitations for the feasibility of lifted inference on more expressive model classes were established earlier in Jaeger (2000; Jaeger, M. 2000. On the complexity of inference about probabilistic relational models. Artificial Intelligence 117, 297–308). However, it is not immediate that these results also apply to the type of modeling languages that currently receive the most attention, i.e., weighted, quantifier-free formulas. In this paper we extend these earlier results, and show that under the assumption that NETIME≠ETIME, there is no polynomial lifted inference algorithm for knowledge bases of weighted, quantifier-, and function-free formulas. Further strengthening earlier results, this is also shown to hold for approximate inference and for knowledge bases not containing the equality predicate.

Keywords

Probabilistic-logic modelslifted inference
Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 15 , Issue 2: Probability, Logic and Learning , March 2015 , pp. 246 - 263
Copyright
Copyright © Cambridge University Press 2014 

References

Apsel, U. and Brafman, R. I. 2011. Extended lifted inference with joint formulas. In Proc. of the 27th Conference on Uncertainty in Artificial Intelligence (UAI-11). AUAI Press, 11–18.Google Scholar
Breese, J. S. 1992. Construction of belief and decision networks. Computational Intelligence 8, 624–647.Google Scholar
de Salvo Braz, R., Amir, E. and Roth, D. 2005. Lifted first-order probabilistic inference. In Proc. of 19th International Joint Conference on Artificial Intelligence (IJCAI-05). Professional Book Center, 1319–1325.Google Scholar
Domingos, P. and Webb, W. A. 2012. A tractable first-order probabilistic logic. In Proc. of 26th AAAI Conference on Artificial Intelligence (AAAI-12). AAAI Press, 1902–1909.Google Scholar
Fagin, R. 1976. Probabilities on finite models. Journal of Symbolic Logic 41, 50–58.Google Scholar
Fierens, D., den Broeck, G. V., Thon, I., Gutmann, B. and De Raedt, L. 2011. Inference in probabilistic logic programs using weighted cnf's. In Proc. of 27th Conference on Uncertainty in Artificial Intelligence (UAI-11). AUAI Press, 211–220.Google Scholar
Friedman, N., Getoor, L., Koller, D. and Pfeffer, A. 1999. Learning probabilistic relational models. In Proc. of 16th International Joint Conference on Artificial Intelligence (IJCAI-99). Morgan Kaufmann, 1300–1309.Google Scholar
Gogate, V. and Domingos, P. 2011. Probabilistic theorem proving. In Proceedings of the 27th Conference of Uncertainty in Artificial Intelligence (UAI-11). AUAI Press, 256–265.Google Scholar
Jaeger, M. 1997. Relational bayesian networks. In Proc. of 13th Conference of Uncertainty in Artificial Intelligence (UAI-13). Morgan Kaufmann, 266–273.Google Scholar
Jaeger, M. 2000. On the complexity of inference about probabilistic relational models. Artificial Intelligence 117, 297–308.CrossRefGoogle Scholar
Jaeger, M. 2012. Lower complexity bounds for lifted inference. Accessed 15 April 2012. URL: http://arxiv.org/abs/1204.3255.Google Scholar
Jaeger, M. and Van den Broeck, G. 2012. Liftability of probabilistic inference: Upper and lower bounds. In Proc. of the 2nd International Workshop on Statistical Relational AI.Google Scholar
Jha, A., Gogate, V., Meliou, A. and Suciu, D. 2010. Lifted inference seen from the other side: The tractable features. In Proc. of 24th Annual Conference on Neural Information Processing Systems (NIPS-10). Curran Associates, Inc., 973–981.Google Scholar
Johnson, D. S. 1990. A catalog of complexity classes. In Handbook of Theoretical Computer Science, van Leeuwen, J., Ed, vol. 1. Elsevier, Amsterdam, 67–161.Google Scholar
Jones, N. D. and Selman, A. L. 1972. Turing machines and the spectra of first-order formulas with equality. In Proc. of 4th ACM Symposium on Theory of Computing. ACM, 157–167.Google Scholar
Kersting, K. and De Raedt, L. 2001. Towards combining inductive logic programming with Bayesian networks. In Proc. of 11th International Conference on Inductive Logic Programming (ILP-01). LNAI, vol. 2157. Springer, 118–131.Google Scholar
Kisyński, J. and Poole, D. 2009. Lifted aggregation in directed first-order probabilistic models. In Proc. of 21st International Joint Conference on Artificial Intelligence (IJCAI-09). IJCAI Organization, 1922–1929.Google Scholar
Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D. and Kolobov, A. 2005. Blog: Probabilistic logic with unknown objects. In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). Professional Book Center, 1352–1359.Google Scholar
Milch, B., Zettlemoyer, L. S., Kersting, K., Haimes, M. and Kaelbling, L. P. 2008. Lifted probabilistic inference with counting formulas. In Proc. of 23rd AAAI Conference on Artificial Intelligence (AAAI-08). AAAI Press, 1062–1068.Google Scholar
Ngo, L., Haddawy, P. and Helwig, J. 1995. A theoretical framework for context-sensitive temporal probability model construction with application to plan projection. In Proc. of 11th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, 419–426.Google Scholar
Poole, D. 1993. Probabilistic horn abduction and Bayesian networks. Artificial Intelligence 64, 81–129.Google Scholar
Poole, D. 2003. First-order probabilistic inference. In Proc. of 18th International Joint Conference on Artificial Intelligence (IJCAI-03). Morgan Kaufmann, 985–991.Google Scholar
Richardson, M. and Domingos, P. 2006. Markov logic networks. Machine Learning 62, 107–136.Google Scholar
Sato, T. 1995. A statistical learning method for logic programs with distribution semantics. In Proc. of 12th International Conference on Logic Programming (ICLP'95). MIT Press, 715–729.Google Scholar
Singla, P., Nath, A. and Domingos, P. 2010. Approximate lifted belief propagation. In Proc. of AAAI-10 Workshop on Statistical Relational AI.Google Scholar
Taskar, B., Abbeel, P. and Koller, D. 2002. Discriminative probabilistic models for relational data. In Proc. of 18th Conference in Uncertainty in Artificial Intelligence (UAI-02). Morgan Kaufmann, 485–492.Google Scholar
Van den Broeck, G. 2011. On the completeness of first-order knowledge compilation for lifted probabilistic inference. In Proc. of 25th Annual Conference on Neural Information Processing Systems (NIPS). 1386–1394.Google Scholar
Van den Broeck, G. and Davis, J. 2012. Conditioning in first-order knowledge compilation and lifted probabilistic inference. In Proc of 26th AAAI Conference on Artificial Intelligence. AAAI Press, 1961–1967.Google Scholar
Van den Broeck, G., Taghipour, N., Meert, W., Davis, J. and De Raedt, L. 2011. Lifted probabilistic inference by first-order knowledge compilation. In Proc. of 22nd International Joint Conference on Artificial Intelligence (IJCAI-11). IJCAI/AAAI, 2178–2185.Google Scholar
Vennekens, J., Denecker, M. and Bruynooghe, M. 2006. Representing causal information about a probabilistic process. In Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Proceedings. Lecture Notes in Computer Science, vol. 4160. Springer-Verlag, Berlin, 452–464.Google Scholar