Ponencia
Sistema certificado de decisión proposicional basado en polinomios
Autor/es | Alonso Jiménez, José Antonio
Aranda Corral, Gonzalo A. Borrego Díaz, Joaquín |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2009 |
Fecha de depósito | 2018-06-05 |
Publicado en |
|
Resumen | En [2] introducimos una regla de inferencia para la lógica
proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones
conservativas, y que ... En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que sirve para diseñar un procedimiento de decisión proposicional. En el presente trabajo presentamos una implementación en Haskell del procedimiento y su certificación mediante QuickCheck. |
Cita | Alonso Jiménez, J.A., Aranda Corral, G.A. y Borrego Díaz, J. (2009). Sistema certificado de decisión proposicional basado en polinomios. En CLAI 2009: Workshop on Computational Logics and Artificial Intelligence (101-111), Sevilla, España: Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
CLAI-2009.pdf | 111.5Kb | [PDF] | Ver/ | |