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

A logic-algebraic tool for reasoning with Knowledge-Based Systems

 

Advanced Search
 
Acceso restringido A logic-algebraic tool for reasoning with Knowledge-Based Systems
Cites

Show item statistics
Icon
Export to
Author: Alonso Jiménez, José Antonio
Aranda Corral, Gonzalo A.
Borrego Díaz, Joaquín
Fernández Lebrón, María Magdalena
Hidalgo Doblado, María José
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2018
Published in: Journal of Logical and Algebraic Methods in Programming, 101 (December 2018), 88-109.
Document type: Article
Abstract: A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown.
Cite: Alonso Jiménez, J.A., Aranda Corral, G.A., Borrego Díaz, J., Fernández Lebrón, M.M. y Hidalgo Doblado, M.J. (2018). A logic-algebraic tool for reasoning with Knowledge-Based Systems. Journal of Logical and Algebraic Methods in Programming, 101 (December 2018), 88-109.
Size: 681.1Kb
Format: PDF
xmlui.item.no_texto_completo  until  2020-12.  For more information contact idus@us.es

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

DOI: 10.1016/j.jlamp.2018.09.001

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)