Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
DOI:
https://doi.org/10.32473/flairs.38.1.138854Keywords:
description logic, model counting, C2Abstract
In previous work it was shown that the logic ALCME, which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Franz Baader, Anton Claußnitzer

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.