Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Similars in SciELO
Share
Crítica (México, D.F.)
Print version ISSN 0011-1503
Abstract
SOLER TOSCANO, Fernando and NEPOMUCENO FERNANDEZ, Ángel. Abducción en modelos finitos. Crítica (Méx., D.F.) [online]. 2008, vol.40, n.118, pp.57-78. Epub Apr 30, 2020. ISSN 0011-1503. https://doi.org/10.22201/iifs.18704905e.2008.1021.
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante conocida. Empleando una variante del cálculo de tablas semánticas y resolución dual, construimos un procedimiento efectivo para encontrar soluciones abductivas minimales dentro de la semántica propuesta.
Keywords : lógica de primer orden; resolución dual; tablas semánticas.