Sistema certificado de decisión proposicional basado en polinomios
| Autor: | Alonso Jiménez, José Antonio, Aranda Corral, Gonzalo A., Borrego Díaz, Joaquín |
|---|---|
| Přispěvatelé: | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento |
| Jazyk: | Spanish; Castilian |
| Rok vydání: | 2009 |
| Zdroj: | idUS. Depósito de Investigación de la Universidad de Sevilla instname |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|