Towards a Notion of Basis for Knowledge-Based Systems—Applications

Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez and Daniel Rodríguez-Chavarría
Additional contact information
Gonzalo A. Aranda-Corral: Department of Information Technology, Universidad de Huelva, 21004 Huelva, Spain
Joaquín Borrego-Díaz: Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, 41012 Sevilla, Spain
Juan Galán-Páez: Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, 41012 Sevilla, Spain
Daniel Rodríguez-Chavarría: Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, 41012 Sevilla, Spain

Mathematics, 2021, vol. 9, issue 3, 1-22

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.

Keywords: knowledge-based systems; computer algebra; variable forgetting; conservative retraction (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2021
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/9/3/252/pdf (application/pdf)
https://www.mdpi.com/2227-7390/9/3/252/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:9:y:2021:i:3:p:252-:d:488230

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().