The Complexity of the Consistency Problem in the Probabilistic Description Logic ALCME

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelFrontiers of Combining Systems - 12th International Symposium, FroCoS 2019, Proceedings
Redakteure/-innenAndreas Herzig, Andrei Popescu
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten167-184
Seitenumfang18
ISBN (Print)9783030290061
PublikationsstatusVeröffentlicht - 2019
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 11715
ISSN0302-9743

Konferenz

Titel12th International Symposium on Frontiers of Combining Systems, FroCoS 2019
Dauer4 - 6 September 2019
StadtLondon
LandGroßbritannien/Vereinigtes Königreich

Externe IDs

Scopus 85071906610
ORCID /0000-0002-4049-221X/work/142247951

Schlagworte

Bibliotheksschlagworte