The authors developed in the nineties a Groebner bases based polynomial model for classic Boolean algebra and many-valued modal logics and for rule based expert systems (RBES) based on these logics. Following this approach, they have designed and developed RBES in different fields. Now two Maple packages that can perform knowledge extraction and consistency checking in RBES which underlying logic is either classic Boolean or Kleene's or Lukasiewicz's many-valued modal have been developed and can be freely obtained from the authors. They extend the possibilities of Maple's built-in "Logic" package. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Roanes-Lozano, E., Laita, L. M., & Roanes-Macías, E. (2008). A Groebner bases based many-valued modal logic implementation in maple. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5144 LNAI, pp. 170–183). https://doi.org/10.1007/978-3-540-85110-3_14
Mendeley helps you to discover research relevant for your work.