Completeness for cut-based abduction

Autor(es)

Arruda, Alexandre Matos ; Finger, Marcelo

• Tipo de documento: Artigo Científico
• Fonte: LOGIC JOURNAL OF THE IGPL; v. 22, n. 2, p. 11-pg., 2014-04-01.

Resumo

In traditional abduction methods it is assumed that the goal data has not yet been explained. In first-order logic (FOL) such precondition is, in general, undecidable. To avoid this problem, it was presented in D'Agostino, Finger and Gabbay (2008, Logic J. of the IGPL, 16, 537-560) a first-order cut-based abduction method which has as underlying inference system the KE-tableaux. Such inference system is non-analytical and the method presented in D'Agostino, Finger and Gabbay (2008, Logic J. of the IGPL, 16, 537-560) generalizes the traditional abduction avoiding the undecidable precondition; its correctness was demonstrated. Here we will show the completeness of the method for both propositional and first-order logic. (AU)

• Processo FAPESP: 11/19860-4 - Raciocínio lógico-probabilístico: algoritmos e aplicações
• Beneficiário: Marcelo Finger
• Modalidade de apoio: Bolsas no Exterior - Pesquisa