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

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é

doi:10.1016/j.jlamp.2018.09.001

Artículo

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

Ficheros	Tamaño	Formato	Ver	Descripción
1809.00508.pdf	681.1Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional