Kiesel, R., & Eiter, T. (2023). Knowledge Compilation and More with SharpSAT-TD. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th IInternational Conference on Principles of Knowledge Representation and Reasoning (pp. 406–416). IJCAI Organization. https://doi.org/10.24963/kr.2023/40
E192-03 - Forschungsbereich Knowledge Based Systems
-
Published in:
Proceedings of 20th International Conference on Principles of Knowledge Representation and Reasoning
-
ISBN:
978-1-956792-02-7
-
Date (published):
2023
-
Event name:
20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)
en
Event date:
2-Sep-2023 - 8-Sep-2023
-
Event place:
Rhodes, Greece
-
Number of Pages:
11
-
Publisher:
IJCAI Organization
-
Keywords:
Knowledge Representation and Reasoning; Applications of KR; Probabilistic reasoning and learning; KR related tools and systems
en
Abstract:
SharpSAT-TD is a recently published exact model counter that performed exceptionally well in the recent editions of the Model Counting Competition (https://mccompetition.org/). Notably, it additionally features *weighted* model counting capabilities over any semiring. In this work, we show how to exploit this fact to use SharpSAT-TD as a knowledge compiler to the class of sd-DNNF circuits. Our experimental evaluation shows that the efficiency of SharpSAT-TD for (weighted) model counting transfers to knowledge compilation, since it outperforms other state of the art knowledge compilers on standard benchmark sets. Additionally, we generalized SharpSAT-TD's preprocessing to support arbitrary semirings and consider the utility of auxiliary variables in this setting.
en
Project title:
Doktoratskolleg: W 1255-N23 (FWF - Österr. Wissenschaftsfonds)
