Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting

Authors

  • Ralph Abboud University of Oxford
  • Ismail Ceylan University of Oxford
  • Thomas Lukasiewicz University of Oxford

DOI:

https://doi.org/10.1609/aaai.v34i04.5705

Abstract

Weighted model counting (WMC) has emerged as a prevalent approach for probabilistic inference. In its most general form, WMC is #P-hard. Weighted DNF counting (weighted #DNF) is a special case, where approximations with probabilistic guarantees are obtained in O(nm), where n denotes the number of variables, and m the number of clauses of the input DNF, but this is not scalable in practice. In this paper, we propose a neural model counting approach for weighted #DNF that combines approximate model counting with deep learning, and accurately approximates model counts in linear time when width is bounded. We conduct experiments to validate our method, and show that our model learns and generalizes very well to large-scale #DNF instances.

Downloads

Published

2020-04-03

How to Cite

Abboud, R., Ceylan, I., & Lukasiewicz, T. (2020). Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting. Proceedings of the AAAI Conference on Artificial Intelligence, 34(04), 3097-3104. https://doi.org/10.1609/aaai.v34i04.5705

Issue

Section

AAAI Technical Track: Machine Learning