Approximate Inference via Weighted Rademacher Complexity

Authors

  • Jonathan Kuck Stanford University
  • Ashish Sabharwal Allen Institute for Artificial Intelligence
  • Stefano Ermon Stanford University

DOI:

https://doi.org/10.1609/aaai.v32i1.12127

Keywords:

inference, #SAT, Rademacher complexity

Abstract

Rademacher complexity is often used to characterize the learnability of a hypothesis class and is known to be related to the class size. We leverage this observation and introduce a new technique for estimating the size of an arbitrary weighted set, defined as the sum of weights of all elements in the set. Our technique provides upper and lower bounds on a novel generalization of Rademacher complexity to the weighted setting in terms of the weighted set size. This generalizes Massart’s Lemma, a known upper bound on the Rademacher complexity in terms of the unweighted set size. We show that the weighted Rademacher complexity can be estimated by solving a randomly perturbed optimization problem, allowing us to derive high probability bounds on the size of any weighted set. We apply our method to the problems of calculating the partition function of an Ising model and computing propositional model counts (#SAT). Our experiments demonstrate that we can produce tighter bounds than competing methods in both the weighted and unweighted settings.

Downloads

Published

2018-04-26

How to Cite

Kuck, J., Sabharwal, A., & Ermon, S. (2018). Approximate Inference via Weighted Rademacher Complexity. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). https://doi.org/10.1609/aaai.v32i1.12127

Issue

Section

AAAI Technical Track: Reasoning under Uncertainty