dc.creator | Aranda Corral, Gonzalo A. | es |
dc.creator | Borrego Díaz, Joaquín | es |
dc.creator | Galán Páez, Juan | es |
dc.creator | Rodríguez Chavarría, Daniel | es |
dc.date.accessioned | 2021-02-09T09:16:46Z | |
dc.date.available | 2021-02-09T09:16:46Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Aranda Corral, G.A., Borrego Díaz, J., Galán Páez, J. y Rodríguez Chavarría, D. (2021). Towards a Notion of Basis for Knowledge-Based Systems—Applications. Mathematics, 9 (3) | |
dc.identifier.issn | 2227-7390 | es |
dc.identifier.uri | https://hdl.handle.net/11441/104737 | |
dc.description.abstract | In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the
reasoning leads to more efficient processes. A point of view that provides valuable insights is the
algebraic one. In this work, a notion of basis (and dimension) for Knowledge Bases in Propositional
Logic associated with knowledge forgetting is introduced. It is based on ideas that come from
the translation of such logic in (Computer) Algebra, particularly from the interpretation of variable
forgetting. In this paper, the concept of weak base is defined as a set of variables sufficient to decide the
consistency using variable forgetting. Several applications of weak bases are presented in order to
show their usefulness in KBS reasoning and to justify their study and use in solving problems within
this topic. | es |
dc.description.sponsorship | Agencia Estatal de Investigación PID2019-109152GB-I00/AEI/10.13039/501100011033 | es |
dc.format | application/pdf | es |
dc.format.extent | 22 | es |
dc.language.iso | eng | es |
dc.publisher | MDPI | es |
dc.relation.ispartof | Mathematics, 9 (3) | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Knowledge-based systems | es |
dc.subject | Computer algebra | es |
dc.subject | Variable forgetting | es |
dc.subject | Conservative retraction | es |
dc.title | Towards a Notion of Basis for Knowledge-Based Systems—Applications | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | 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 | PID2019-109152GB-I00/AEI/10.13039/501100011033 | es |
dc.relation.publisherversion | https://www.mdpi.com/2227-7390/9/3/252/htm | es |
dc.identifier.doi | 10.3390/math9030252 | es |
dc.journaltitle | Mathematics | es |
dc.publication.volumen | 9 | es |
dc.publication.issue | 3 | es |
dc.contributor.funder | Agencia Estatal de Investigación. España | es |