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

Details:

   
TitleA Groebner bases based many-valued modal logic implementation in Maple.
Author(s) Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
TypeBook, Chapter in Book, Conference Proceeding
AbstractThe 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.
KeywordsLogic and Symbolic Computing, Groebner Bases, Rule Based Expert Systems
ISBN978-3-540-85109-7/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-540-85110-3_14
LanguageEnglish
Pages170--183
PublisherBerlin: Springer
Year2008
Edition0
Translation No
Refereed No
Webmaster