Descripción
|
|
---|---|
The 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. | |
Internacional
|
Si |
JCR del ISI
|
Si |
Título de la revista
|
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
ISSN
|
1012-2443 |
Factor de impacto JCR
|
0,722 |
Información de impacto
|
|
Volumen
|
|
DOI
|
|
Número de revista
|
0 |
Desde la página
|
297 |
Hasta la página
|
311 |
Mes
|
ENERO |
Ranking
|