TY - JOUR
AU - Dos Martires, Pedro Zuidberg
AU - Dries, Anton
AU - De Raedt, Luc
PY - 2019/07/17
Y2 - 2021/04/10
TI - Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation
JF - Proceedings of the AAAI Conference on Artificial Intelligence
JA - AAAI
VL - 33
IS - 01
SE - AAAI Technical Track: Reasoning under Uncertainty
DO - 10.1609/aaai.v33i01.33017825
UR - https://ojs.aaai.org/index.php/AAAI/article/view/4780
SP - 7825-7833
AB - <p>Weighted model counting has recently been extended to weighted model integration, which can be used to solve hybrid probabilistic reasoning problems. Such problems involve both discrete and continuous probability distributions. We show how standard knowledge compilation techniques (to SDDs and d-DNNFs) apply to weighted model integration, and use it in two novel solvers, one exact and one approximate solver. Furthermore, we extend the class of employable weight functions to actual probability density functions instead of mere polynomial weight functions.</p>
ER -