Fiche du document
1 janvier 2008
- handle: 10670/1.qrf155
Ce document est lié à :
10.22201/iifs.18704905e.2008.1021
info:eu-repo/semantics/openAccess
Sujets proches
Formal semantics Semasiology Semiology (Semantics) Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive Elements, Chemical Infinitesimal calculus Analysis (Mathematics) Fluxions (Mathematics) Limits (Mathematics) Problemas, Resolución de Solución de problemas Cuerpos simples Elementos Cálculo avanzado Cálculo de fluxión Cálculo infinitesimal Límites (Matemáticas)Citer ce document
Fernando Soler Toscano et al., « Abducción en modelos finitos », Crítica (México, D.F.), ID : 10670/1.qrf155
Métriques
Partage / Export
Résumé
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.