Abduction is a topic that attracts much interest in AI and automated reasoning research. Different approaches have been devised, that give a formalized account of explanatory reasoning, propose methods to compute explanations, frame abduction in the context of logic programming. However, the logical nature of abduction is still far from being clear and different specifications of the key underlying concepts have been given, that make it difficult to speak of abduction as a single well-defined form of reasoning. This work is a preliminary discussion on the logical nature of abductive reasoning, emphasizing the fundamental difference between abductive and deductive inference. Some logical properties of the inference to the "best explanation" are put forward and analyzed when the underlying logic is any extension of classical propositional logic (first order logic, modal logic) or a non monotonic system.

Cialdea Mayer M, & Pirri F. (1996). Abduction is not Deduction-in-Reverse. BULLETIN OF THE IGPL, 4(1), 95-108.

Abduction is not Deduction-in-Reverse.

CIALDEA, Marta;
1996

Abstract

Abduction is a topic that attracts much interest in AI and automated reasoning research. Different approaches have been devised, that give a formalized account of explanatory reasoning, propose methods to compute explanations, frame abduction in the context of logic programming. However, the logical nature of abduction is still far from being clear and different specifications of the key underlying concepts have been given, that make it difficult to speak of abduction as a single well-defined form of reasoning. This work is a preliminary discussion on the logical nature of abductive reasoning, emphasizing the fundamental difference between abductive and deductive inference. Some logical properties of the inference to the "best explanation" are put forward and analyzed when the underlying logic is any extension of classical propositional logic (first order logic, modal logic) or a non monotonic system.
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: http://hdl.handle.net/11590/117766
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact