| dc.creator | Alonso Jiménez, José Antonio | es |
| dc.creator | Aranda Corral, Gonzalo A. | es |
| dc.creator | Borrego Díaz, Joaquín | es |
| dc.creator | Fernández Lebrón, María Magdalena | es |
| dc.creator | Hidalgo Doblado, María José | es |
| dc.date.accessioned | 2019-05-21T09:51:04Z | |
| dc.date.available | 2019-05-21T09:51:04Z | |
| dc.date.issued | 2018 | |
| dc.identifier.citation | 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. | |
| dc.identifier.issn | 2352-2208 | es |
| dc.identifier.uri | https://hdl.handle.net/11441/86606 | |
| dc.description.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. | es |
| dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2013-41086-P | es |
| dc.format | application/pdf | es |
| dc.language.iso | eng | es |
| dc.publisher | Elsevier | es |
| dc.relation.ispartof | Journal of Logical and Algebraic Methods in Programming, 101 (December 2018), 88-109. | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | Polynomial Semantics | es |
| dc.subject | Symbolic Computing | es |
| dc.subject | Automated Deduction | es |
| dc.subject | Knowledge-Based Systems | es |
| dc.title | A logic-algebraic tool for reasoning with Knowledge-Based Systems | es |
| dc.type | info:eu-repo/semantics/article | es |
| dcterms.identifier | https://ror.org/03yxnpp24 | |
| dc.type.version | info:eu-repo/semantics/submittedVersion | es |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
| dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
| dc.relation.projectID | TIN2013-41086-P | es |
| dc.date.embargoEndDate | 2020-12 | |
| dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S2352220817302146 | es |
| dc.identifier.doi | 10.1016/j.jlamp.2018.09.001 | es |
| dc.contributor.group | Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento | es |
| idus.format.extent | 41 | es |
| dc.journaltitle | Journal of Logical and Algebraic Methods in Programming | es |
| dc.publication.volumen | 101 | es |
| dc.publication.issue | December 2018 | es |
| dc.publication.initialPage | 88 | es |
| dc.publication.endPage | 109 | es |
A logic-algebraic tool for reasoning with Knowledge-Based Systems
[PDF]
