Repositorio Atenea de la Facultad de Ciencias, UNAM >
Repositorio Ciencias >
FACULTAD DE CIENCIAS >
Ciencias >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11154/1069
|
Title: | Towards abductive reasoning in first-order logic |
Authors: | Reyes-Cabello, AL Aliseda-Llera, A Nepomuceno-Fernandez, A |
Issue Date: | 2006 |
Abstract: | Abductive problems have been widely studied in propositional logic. First order abduction, however, has been viewed as intractable, for the undecidability of logical consequence. In this paper, we propose a notion of abductive problem, N-abductive problem, which is relative to the cardinality of the minimal model satisfying the given theory. We use a notion of restricted satisfaction, also relative to a domain cardinality. Finally, we propose an effective procedure for the searching of abductive solutions, by means of a modification of Beth's tableaux. |
URI: | http://hdl.handle.net/11154/1069 |
ISSN: | 1367-0751 |
Appears in Collections: | Ciencias
|
Files in This Item:
There are no files associated with this item.
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|