A natural language for implementing algebraically Expert Systems

Antonio Hernando, Roberto Maestre-Martínez and Eugenio Roanes-Lozano

Mathematics and Computers in Simulation (MATCOM), 2016, vol. 129, issue C, 31-49

Abstract: According to previous mathematical results, Expert Systems can be quickly and easily implemented on specialized mathematical software (‘Computer Algebra Systems’). These mathematical results provide two equivalent different approaches to implement algebraically Expert Systems: one based on propositional Boolean logic and another based on the ‘concept–attribute–value’ representation paradigm. Both approaches are equivalent in the sense that every Expert System implemented through one algebraic approach can be also implemented on the other algebraic approach. However, the performance of these algebraic approaches depend on the specific Expert System, and therefore, the Expert System must be implemented in both algebraic approaches in order to compare their performances. In this paper we have designed a natural language to implement algebraically Expert Systems which provides these three main advantages: we can implement directly any Expert System in both algebraic approach since our language is independent of the algebraic approach used; we can use any Computer Algebra System since our language is independent of the Computer Algebra System used; and we do not need to be acquainted with specialized abstract mathematical concepts like Groebner bases or normal forms since our language is natural and does not make use of these concepts.

Keywords: Computer Algebra, Groebner bases, Rule based Expert Systems (search for similar items in EconPapers)
Date: 2016
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475416300350
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:129:y:2016:i:c:p:31-49

DOI: 10.1016/j.matcom.2016.04.006

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 ().