The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can be expressed declaratively by using logic programming (suitably extended). To this extent, the concepts of surprising fact, explanation and confirmation and the dynamic view of the entire process of reasoning, are mapped in logic, and a sound and complete abductive proof procedure (called SCIFF) has been defined and implemented in order to automatically perform such a reasoning. This allows us to understand better the fundamental concepts of abductive reasoning, and to support operationally, by using SCIFF, some forms of reasoning such diagnosis, planning, specification of open artificial societies, and deontic reasoning.

Abduction in the context of a reasoning process: the SCIFF framework

ALBERTI, Marco;GAVANELLI, Marco;LAMMA, Evelina;
2008

Abstract

The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can be expressed declaratively by using logic programming (suitably extended). To this extent, the concepts of surprising fact, explanation and confirmation and the dynamic view of the entire process of reasoning, are mapped in logic, and a sound and complete abductive proof procedure (called SCIFF) has been defined and implemented in order to automatically perform such a reasoning. This allows us to understand better the fundamental concepts of abductive reasoning, and to support operationally, by using SCIFF, some forms of reasoning such diagnosis, planning, specification of open artificial societies, and deontic reasoning.
2008
9781575865577
9781575865584
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in SFERA 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/11392/527324
 Attenzione

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

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