Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
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) w...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
LibraryPress@UF
2025-05-01
|
| Series: | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| Subjects: | |
| Online Access: | https://journals.flvc.org/FLAIRS/article/view/138854 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850138078068342784 |
|---|---|
| author | Franz Baader Anton Claußnitzer |
| author_facet | Franz Baader Anton Claußnitzer |
| author_sort | Franz Baader |
| collection | DOAJ |
| description |
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.
|
| format | Article |
| id | doaj-art-8dfedf6d7c5c4003a0db91517a6c42f4 |
| institution | OA Journals |
| issn | 2334-0754 2334-0762 |
| language | English |
| publishDate | 2025-05-01 |
| publisher | LibraryPress@UF |
| record_format | Article |
| series | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| spelling | doaj-art-8dfedf6d7c5c4003a0db91517a6c42f42025-08-20T02:30:39ZengLibraryPress@UFProceedings of the International Florida Artificial Intelligence Research Society Conference2334-07542334-07622025-05-0138110.32473/flairs.38.1.138854Maximum Entropy Reasoning via Model Counting in (Description) Logics that CountFranz Baader0Anton Claußnitzer1https://orcid.org/0009-0004-5103-8452TU DresdenTU Dresden 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. https://journals.flvc.org/FLAIRS/article/view/138854description logicmodel countingC2 |
| spellingShingle | Franz Baader Anton Claußnitzer Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Proceedings of the International Florida Artificial Intelligence Research Society Conference description logic model counting C2 |
| title | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count |
| title_full | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count |
| title_fullStr | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count |
| title_full_unstemmed | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count |
| title_short | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count |
| title_sort | maximum entropy reasoning via model counting in description logics that count |
| topic | description logic model counting C2 |
| url | https://journals.flvc.org/FLAIRS/article/view/138854 |
| work_keys_str_mv | AT franzbaader maximumentropyreasoningviamodelcountingindescriptionlogicsthatcount AT antonclaußnitzer maximumentropyreasoningviamodelcountingindescriptionlogicsthatcount |