Brasil
| Artículos de revistas
Towards automated first-order abduction: the cut-based approach
dc.creator | Finger, Marcelo | |
dc.date.accessioned | 2013-10-23T13:11:43Z | |
dc.date.accessioned | 2018-07-04T16:00:55Z | |
dc.date.available | 2013-10-23T13:11:43Z | |
dc.date.available | 2018-07-04T16:00:55Z | |
dc.date.created | 2013-10-23T13:11:43Z | |
dc.date.issued | 2012 | |
dc.identifier | LOGIC JOURNAL OF THE IGPL, OXFORD, v. 20, n. 2, Special Issue, supl. 1, Part 1, pp. 370-387, APR, 2012 | |
dc.identifier | 1367-0751 | |
dc.identifier | http://www.producao.usp.br/handle/BDPI/35653 | |
dc.identifier | 10.1093/jigpal/jzq052 | |
dc.identifier | http://dx.doi.org/10.1093/jigpal/jzq052 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1630479 | |
dc.description.abstract | Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well. | |
dc.language | eng | |
dc.publisher | OXFORD UNIV PRESS | |
dc.publisher | OXFORD | |
dc.relation | LOGIC JOURNAL OF THE IGPL | |
dc.rights | Copyright OXFORD UNIV PRESS | |
dc.rights | closedAccess | |
dc.subject | ABDUCTION | |
dc.subject | FIRST-ORDER ABDUCTION | |
dc.subject | CUT-BASED ABDUCTION | |
dc.subject | TABLEAUX | |
dc.subject | FIRST-ORDER TABLEAUX | |
dc.title | Towards automated first-order abduction: the cut-based approach | |
dc.type | Artículos de revistas |