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

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

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

Original languageEnglish
Title of host publicationFrontiers of Combining Systems - 12th International Symposium, FroCoS 2019, Proceedings
EditorsAndreas Herzig, Andrei Popescu
PublisherSpringer, Berlin [u. a.]
Pages167-184
Number of pages18
ISBN (print)9783030290061
Publication statusPublished - 2019
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 11715
ISSN0302-9743

Conference

Title12th International Symposium on Frontiers of Combining Systems, FroCoS 2019
Duration4 - 6 September 2019
CityLondon
CountryUnited Kingdom

External IDs

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

Keywords