Affiliations: Dipartimento di Informatica, Università di Torino, Torino, Italy. E-mails: {torta, anselma}@di.unito.it | DiSIT, Università del Piemonte Orientale, Alessandria, Italy. E-mail: dtd@di.unipmn.it
Note: [] Corresponding author: Gianluca Torta, Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10149 Torino, Italy. E-mail: torta@di.unito.it
Abstract: Several explanation and interpretation tasks, such as diagnosis, plan recognition and image interpretation, can be formalized as abductive and consistency reasoning. The interpretation task is usually executed for the purpose of performing actions, e.g., in diagnosis, repair actions or therapy. Some proposals address the problem based on a task-independent representation of a domain which includes an ontology or taxonomy of hypotheses and observations. In this paper we rely on the same type of representation, and we point out the role of abstractions in an iterative abduction process. At each iteration, as in model-based diagnosis and troubleshooting, our algorithm chooses to perform further observations or actions taking into account their costs and the likelihood of candidate hypotheses. The main goal of the algorithm is to ensure discrimination among hypotheses and, more importantly, to perform the appropriate actions for the case at hand. We discuss an implementation of the proposed method and report experimental results that support the conclusion that abstractions are indeed useful for the considered task.
