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 |
|---|---|
| Kurztitel | FroCoS 2019 |
| Veranstaltungsnummer | |
| Dauer | 4 - 6 September 2019 |
| Ort | |
| Stadt | London |
| Land | Großbritannien/Vereinigtes Königreich |
Externe IDs
| Scopus | 85071906610 |
|---|---|
| ORCID | /0000-0002-4049-221X/work/142247951 |
| Bibtex | BaEKW19 |