Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleA Groebner bases-based approach to backward reasoning in rule based expert systems.
Author(s) Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
TypeArticle in Journal
AbstractThe aim of this paper is to present theoretically a new algebraic method for detecting potentially dangerous states in a Rule Based Expert System whose knowledge is represented by propositional Boolean logic. Given a dangerous state which does not happen at present, our method is able to detect a possible input fact such that, if it also occurred, the dangerous situation really would happen. This method, inspired by automatic discovery of geometric theorems, is based on calculating just one reduced Groebner basis of a polynomial ideal representing the systemís knowledge. An implementation in the computer algebra system Maple is included.
KeywordsRule based expert systems, Logic and symbolic computing, Groebner bases, Discovery
ISSN1012-2443; 1573-7470/e
URL http://link.springer.com/article/10.1007%2Fs10472-009-9147-4
JournalAnn. Math. Artif. Intell.
PublisherSpringer International Publishing, Cham
Translation No
Refereed No