Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics

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

Beitragende

Abstract

Given a knowledge base and an observation as a set of facts, ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the observation. In signature-based ABox abduction, the hypothesis is further required to use only names from a given set. This form of abduction has applications such as diagnosis, KB repair, or explaning missing entailments. It is possible that hypotheses for a given observation only exist if we admit the use of fresh individuals and/or complex concepts built from the given signature, something most approaches for ABox abduction so far do not allow or only allow with restrictions. In this paper, we investigate the computational complexity of this form of abduction---allowing either fresh individuals, complex concepts, or both---for various description logics, and give size bounds on the hypotheses if they exist.

Details

OriginalspracheEnglisch
TitelProceedings of the Thirtieth International Joint Conference on Artificial Intelligence Main Track
Herausgeber (Verlag)AAAI Press
Seiten1929-1935
Seitenumfang7
ISBN (elektronisch)9780999241196
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Externe IDs

Scopus 85120642096

Schlagworte

ASJC Scopus Sachgebiete