Repositorio de producción científica de la Universidad de Sevilla

Sistema certificado de decisión proposicional basado en polinomios

 

Advanced Search
 
Opened Access Sistema certificado de decisión proposicional basado en polinomios
Cites
Show item statistics
Icon
Export to
Author: Alonso Jiménez, José Antonio
Aranda Corral, Gonzalo A.
Borrego Díaz, Joaquín
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2009
Published in: CLAI 2009: Workshop on Computational Logics and Artificial Intelligence (2009), p 101-111
Document type: Presentation
Abstract: 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.
Cite: 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.
Size: 111.5Kb
Format: PDF

URI: https://hdl.handle.net/11441/75637

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)