Abducción en modelos finitos
Resumen 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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Digital revista |
| Language: | Spanish / Castilian |
| Published: |
Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas
2008
|
| Online Access: | http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S0011-15032008000100057 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Resumen 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. |
|---|