An algebraic model for implementing expert systems based on the knowledge of different experts

Antonio Hernando and Eugenio Roanes-Lozano

Mathematics and Computers in Simulation (MATCOM), 2015, vol. 107, issue C, 92-107

Abstract: The aim of this paper is to expound an original algebraic model for managing the knowledge provided by different expert humans when developing expert systems. This model is conceived as an extension of classical propositional logics in which each proposition is associated with a set of human experts who agree with it. In our model, the logical notions of tautological consequence and consistency of a set of formulae are reformulated taking into account the criteria and the knowledge of the different experts. The core of the paper is related to the discovery of a remarkable relation between these redefined logical concepts with the calculation of Groebner bases on an ideal of polynomials.

Keywords: Multivalued logics; Groebner bases; Symbolic computing (search for similar items in EconPapers)
Date: 2015
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475414001220
Full text for ScienceDirect subscribers only

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:eee:matcom:v:107:y:2015:i:c:p:92-107

DOI: 10.1016/j.matcom.2014.05.003

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().