RT Journal Article
T1 Towards a Notion of Basis for Knowledge-Based Systems—Applications
A1 Aranda Corral, Gonzalo Antonio
A1 Borrego Díaz, Joaquín
A1 Galán Páez, Juan
A1 Rodríguez Chavarría, Daniel
AB In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify thereasoning leads to more efficient processes. A point of view that provides valuable insights is thealgebraic one. In this work, a notion of basis (and dimension) for Knowledge Bases in PropositionalLogic associated with knowledge forgetting is introduced. It is based on ideas that come fromthe translation of such logic in (Computer) Algebra, particularly from the interpretation of variableforgetting. In this paper, the concept of weak base is defined as a set of variables sufficient to decide theconsistency using variable forgetting. Several applications of weak bases are presented in order toshow their usefulness in KBS reasoning and to justify their study and use in solving problems withinthis topic.
PB MDPI
SN 2227-7390
YR 2021
FD 2021-01
LK http://hdl.handle.net/10272/19384
UL http://hdl.handle.net/10272/19384
LA eng
NO Aranda Corral, G. A., Borrego Díaz, J., Galán Páez, J., & Rodríguez Chavarría, D. (2021). Towards a Notion of Basis for Knowledge-Based Systems—Applications. Mathematics, 9(3), 252. DOI: https://doi.org/10.3390/math9030252
DS Repositorio Institucional de la Universidad de Huelva
RD 31 may 2026