Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/15101
Título : | Computing Abduction in Semantic Tableaux |
Autor : | Aliseda, Atocha |
Palabras clave : | Keywords. Abduction, Abductive Programming, Semantic Tableaux. |
Fecha de publicación : | 17-sep-1998 |
Editorial : | Revista Computación y Sistemas; Vol. 2 No. 1 |
Citación : | Revista Computación y Sistemas; Vol. 2 No. 1 |
Citación : | Revista Computación y Sistemas;Vol. 2 No. 1 |
Resumen : | Abstract. The aim o/ this paper is to propose a way to extend the framework o/ semantic tableaux in order ta compute several /orma o/ abductive explanations: atomic, conjunctive and in disjunctive formo Our /ocus is on computing consistenf. explanations. 'fflat is, lormulas which satisfy the emailment and the consistency condition 01 the standard logical lormulation 01 abduction. Our stmtegy lor computing abductive explanations avoids the constroction 01 inconsistencies and it is done in a compositional lashion¡ abductive explanations with complez /orma are corutrocted fromsimpler ones. This allows us to identify special C41es, lor ezample that in which there are no consistent atomic explanations whatSDever. |
URI : | http://www.repositoriodigital.ipn.mx/handle/123456789/15101 |
ISSN : | 1405-5546 |
Aparece en las colecciones: | Revistas |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
ART 1.pdf | 15.86 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.