Knowledge Compilation and More with SharpSAT-TD

Kiesel, Rafael; Eiter, Thomas

doi:10.24963/kr.2023/40

Record link:

http://hdl.handle.net/20.500.12708/193575

Title:

Knowledge Compilation and More with SharpSAT-TD

Citation:

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

CatalogPlus:

AC17203488

Publisher DOI:

10.24963/kr.2023/40

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Kiesel, Rafael
Eiter, Thomas

Organisational Unit:

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)

Event date:

2-Sep-2023 - 8-Sep-2023

Event place:

Rhodes, Greece

Number of Pages:

Publisher:

IJCAI Organization

Peer reviewed:

Yes

Keywords:

Knowledge Representation and Reasoning; Applications of KR; Probabilistic reasoning and learning; KR related tools and systems

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.

Project title:

Doktoratskolleg: W 1255-N23 (FWF - Österr. Wissenschaftsfonds)

Research Areas:

Logic and Computation: 100%

Science Branch:

1020 - Informatik: 80%
1010 - Mathematik: 20%

License:

In Copyright

Appears in Collections:

Conference Paper