2010
DOI: 10.5052/racsam.2010.04
|View full text |Cite
|
Sign up to set email alerts
|

An algebraic approach to rule based expert systems

Abstract: This article presents a survey of the authors' research on knowledge extraction and verification of Rule Based Expert Systems (RBES) using algebraic inference engines and based on Gröbner bases theory. A shell, including a graphic user interface and inference engines for different logics (both classic and modal multi-valued) as well as in different computer algebra systems, is also presented here. The shell distinguishes three levels: at the lower level, we provide the computer algebra system code of the algeb… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
9
0

Year Published

2012
2012
2022
2022

Publication Types

Select...
6
3

Relationship

4
5

Authors

Journals

citations
Cited by 17 publications
(9 citation statements)
references
References 25 publications
(13 reference statements)
0
9
0
Order By: Relevance
“…An algebraic model for these logics can be found in [18,23], and its extension to KBS can be found in [23,24].…”
Section: The Algebraic Approach To Kbsmentioning
confidence: 99%
“…An algebraic model for these logics can be found in [18,23], and its extension to KBS can be found in [23,24].…”
Section: The Algebraic Approach To Kbsmentioning
confidence: 99%
“…We have decided to use the algebraic inference engine described in detail in [28,29]. Among the many available existing approaches, we have chosen this one because of our experience with it and because of the possibility to straightforwardly move to a multivalued modal logic in future extensions, if necessary.…”
Section: About the Inference Engine Chosenmentioning
confidence: 99%
“…Previous works not providing a residue class ring as a model for the logic and not considering the extension to RBES are [6,7] (Boolean case) and [8,9] (many-valued case). A detailed survey can be found in [10]. There are recent developments in this line of research such as [11,12].…”
Section: Definition 5 (Function ϕ)mentioning
confidence: 99%