Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/a-groebner-bases-based-approach-to-backward-reasoning-in-rule-based-rIcaZfDRV0
References (33)
-
Martin Davis, G. Logemann, D. Loveland (2011)
A machine program for theorem-provingCommun. ACM, 5
-
J. Hsiang (1985)
Refutational Theorem Proving Using Term-Rewriting SystemsArtif. Intell., 25
-
LM Laita, L Ledesma, E Roanes-Lozano, E Roanes-Macías (1995)
Proceedings of the Second International Workshop/Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2) -
Cristina Pérez-Carretero, Luis Laita, E. Roanes-Lozano, Luis Lázaro, Jesús González-Cajal, Laura Laita (2002)
A logic and computer algebra-based expert system for diagnosis of anorexiaMath. Comput. Simul., 58
-
Jacques Chazarain, Agustín Gonzáles, J. Jimenez, Emilio Morales (1991)
Multi-Valued Logic and Gröbner Bases with Applications to Modal LogicJ. Symb. Comput., 11
-
J. Faugère (1999)
A new efficient algorithm for computing Gröbner bases (F4)Journal of Pure and Applied Algebra, 139
-
D. Kapur, P. Narendran (1985)
An equational approach to theorem proving in first-order predicate calculusACM SIGSOFT Softw. Eng. Notes, 10
-
David Cox, J. Little, D. O'Shea (2007)
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) -
S. Chou (1987)
Mechanical Geometry Theorem Proving -
Luis Laita, E. Roanes-Lozano, V. Maojo, E. Roanes-Macías, L. Ledesma, Laura Laita (2001)
An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra TechniquesComputers & Mathematics With Applications, 42
-
David Cox, J. Little, D. O'Shea (1997)
Ideals, Varieties, and AlgorithmsAmerican Mathematical Monthly, 101
-
D. Kapur, J. Mundy (1989)
Geometric reasoning -
D. Kapur, J. Mundy (1988)
Wu's Method and its Application to Perspective ViewingArtif. Intell., 37
-
J. Faugère (2002)
A new efficient algorithm for computing Gröbner bases without reduction to zero (F5) -
D Cox, J Little, D O’Shea (1992)
Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra -
B. Buchberger (1988)
Applications of Gro¨bner bases in non-linear computational geometry -
V. Gerdt, M. Zinin (2008)
A pommaret division algorithm for computing Grobner bases in boolean rings -
B. Buchberger (2006)
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial idealJ. Symb. Comput., 41
-
María Jiménez-Rodríguez, J. Santamaría, Roberto Barchino, Laura Laita, Luis Laita, León González, Angel Asenjo (2008)
Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situationsExpert Syst. Appl., 34
-
C. Rodríguez-Solano, Luis Laita, E. Roanes-Lozano, Luis López-Corral, Laura Laita (2006)
A computational system for diagnosis of depressive situationsExpert Syst. Appl., 31
-
JC Faugère (2002)
Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation ISSAC 2002 -
E Roanes-Lozano, LM Laita, E Roanes-Macías (2008)
Determination of Geometric Loci. 3D-Extension of Simson-Steiner. AISC / Calculemus / MKM 2008 -
T. Recio, M. Vélez (1999)
Automatic Discovery of Theorems in Elementary GeometryJournal of Automated Reasoning, 23
-
J. Jiménez, E. Morales (1990)
Lógicas polivalentes y bases de Gröbner -
E. Roanes-Lozano, Eugenio Roanes-Macías, Luis Laita (2000)
Railway interlocking systems and Gröbner basesMathematics and Computers in Simulation, 51
-
J. Rice (1988)
Mathematical aspects of scientific software -
B. Buchberger (1987)
Applications of Gröbner Bases in Non-linear Computational Geometry -
VP Gerdt, MV Zinin (2008)
Symbolic and Algebraic Computation, International Symposium, ISSAC 2008 -
E. Roanes-Lozano, Luis Laita, Eugenio Roanes-Macías (2008)
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple -
Luis Laita, L. Ledesma, E. Roanes-Lozano, Eugenio Roanes-Macías (1994)
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus -
JA Alonso, E Briales (1995)
Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales -
E. Roanes-Lozano, Luis Laita, E. Roanes-Macías (1998)
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebraMathematics and Computers in Simulation, 45
-
(1995)
Maple V in A.I.: the Boolean algebra associated to a KBS
- Publisher
- Springer Journals
- Copyright
- Copyright © 2009 by Springer Science+Business Media B.V.
- Subject
- Computer Science; Statistical Physics, Dynamical Systems and Complexity; Mathematics, general; Computer Science, general; Artificial Intelligence (incl. Robotics)
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1007/s10472-009-9147-4
- Publisher site
- See Article on Publisher Site
Abstract
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.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Jul 1, 2009