This paper stems from previous works of the authors in which a new measure of the simplicity of an explanation based on its degree of arbitrariness is proposed: The more the explanation is arbitray, the less appealing it is, with explanations having no arbitrariness–called constrained–being the preferred ones. In previous works, as commonly done in the literature of abductive logic programming, a set of hypotheses is not an explanation, unless it is definite, i.e. it explains all the data belonging to the observation. In this paper, we follow a different perspective and define the concept of indefinite constrained explanations, i.e. constrained explanations that are not definite, but admit some indefiniteness. An indefinite constrained explanation captures the intuition of the existence of an explanation (indefinite explanation) that would best explain the given evidence, while not making arbitrary choices (constrained explanation). The main contribution of the paper is the study of abduction in indefinite deductive theories: specifically, the paper studies the framework of abductive logic programming extended with integrity constraints in the setting in which both the initial knowledge base and the abductive explanations are indefinite (may contain occurrences of null values) and the domain is possibly infinite. Furthermore, the paper discusses the complexity of problems concerning indefinite (constrained) explanations.

Indefinite abductive explanations

Caroprese L.;Zumpano E.
2019

Abstract

This paper stems from previous works of the authors in which a new measure of the simplicity of an explanation based on its degree of arbitrariness is proposed: The more the explanation is arbitray, the less appealing it is, with explanations having no arbitrariness–called constrained–being the preferred ones. In previous works, as commonly done in the literature of abductive logic programming, a set of hypotheses is not an explanation, unless it is definite, i.e. it explains all the data belonging to the observation. In this paper, we follow a different perspective and define the concept of indefinite constrained explanations, i.e. constrained explanations that are not definite, but admit some indefiniteness. An indefinite constrained explanation captures the intuition of the existence of an explanation (indefinite explanation) that would best explain the given evidence, while not making arbitrary choices (constrained explanation). The main contribution of the paper is the study of abduction in indefinite deductive theories: specifically, the paper studies the framework of abductive logic programming extended with integrity constraints in the setting in which both the initial knowledge base and the abductive explanations are indefinite (may contain occurrences of null values) and the domain is possibly infinite. Furthermore, the paper discusses the complexity of problems concerning indefinite (constrained) explanations.
Abductive reasoning; artificial intelligence; indefinite knowledge bases; integrity constraints; logic programming
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/303228
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact