论文信息 - A Computer Algebra Approach to Relational Systems Using Gröbner Bases

A Computer Algebra Approach to Relational Systems Using Gröbner Bases

The aim of this paper is to suggest that Grobner bases can be applied to the study of reflexive and transitive relations. To illustrate our suggestion, we consider two examples. The first example is a Rule-Based-Expert-System: the reflexive and transitive relation is the implication arrow. The second example deals with railway interlocking systems: the reflexive and transitive relation is the accessibility to sections in a railway network. The study is generic; it can be applied to any reflexive and transitive relation.

Luis de Ledesma | Luis M. Laita | Eugenio Roanes-Lozano | Tomasa Calvo | León González-Sotos

[1] E. Roanes-Lozano,et al. A computer algebra approach to verification and deduction in many-valued knowledge systems , 1999, Soft Comput..

[2] Franz Winkler,et al. Polynomial Algorithms in Computer Algebra , 1996, Texts and Monographs in Symbolic Computation.

[3] Victor Maojo,et al. An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques , 2001 .

[4] Emilio Briales Morales,et al. Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic , 1991, J. Symb. Comput..

[5] L. M. Laita,et al. A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra , 1998 .

[6] L. O'carroll. AN INTRODUCTION TO GRÖBNER BASES (Graduate Studies in Mathematics 3) , 1996 .

[7] L. M. Laita,et al. Railway interlocking systems and Gröbner bases , 2000 .

[8] Ivo Düntsch,et al. Relational attribute systems , 2002, Int. J. Hum. Comput. Stud..

[9] Eugenio Roanes Macías,et al. Cálculos matemáticos por ordenador con Maple V.5 , 1999 .