The Complexity of the Consistency Problem in the Probabilistic Description Logic ALCME
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
The probabilistic Description Logic ALCME is an extension of the Description Logic ALC that allows for uncertain conditional statements of the form “if C holds, then D holds with probability p,” together with probabilistic assertions about individuals. In ALCME, probabilities are understood as an agent’s degree of belief. Probabilistic conditionals are formally interpreted based on the so-called aggregating semantics, which combines a statistical interpretation of probabilities with a subjective one. Knowledge bases of ALCME are interpreted over a fixed finite domain and based on their maximum entropy (ALCME ) model. We prove that checking consistency of such knowledge bases can be done in time polynomial in the cardinality of the domain, and in exponential time in the size of a binary encoding of this cardinality. If the size of the knowledge base is also taken into account, the combined complexity of the consistency problem is NP-complete for unary encoding of the domain cardinality and NExpTime-complete for binary encoding.
Details
Originalsprache | Englisch |
---|---|
Titel | Frontiers of Combining Systems |
Redakteure/-innen | Andreas Herzig, Andrei Popescu |
Herausgeber (Verlag) | Springer |
Seiten | 167-184 |
Seitenumfang | 18 |
ISBN (elektronisch) | 978-3-030-29007-8 |
ISBN (Print) | 978-3-030-29006-1 |
Publikationsstatus | Veröffentlicht - 2019 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 11715 |
---|---|
ISSN | 0302-9743 |
Konferenz
Titel | 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019 |
---|---|
Dauer | 4 - 6 September 2019 |
Stadt | London |
Land | Großbritannien/Vereinigtes Königreich |
Externe IDs
Scopus | 85071906610 |
---|---|
ORCID | /0000-0002-4049-221X/work/142247951 |
Bibtex | BaEKW19 |