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

Details:

   
TitleA symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL.
Author(s) Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
TypeArticle in Journal
AbstractWe first briefly describe an algebraic model of classical and modal many-valued logics due to the authors and introduced in previous works. A similar approach, also using Computer Algebra techniques (Gröbner bases) and oriented to perform effective calculus in a continuous logic: Minimal Polynomial Logic (MPL) is presented. The implementation has been developed in the Computer Algebra System Maple. The possibility to perform knowledge extraction and to check consistency in Rule Based Expert Systems (RBES) whose underlying logic is MPL, has also been explored. The article is illustrated with examples of very simple RBES.
ISSN1874-1142/e
URL http://benthamopen.com/ABSTRACT/TOAMJ-2-126
LanguageEnglish
JournalOpen Appl. Math. J.
Volume2
Pages126--133
PublisherBentham Science Publishers, Oak Park, IL
Year2008
Edition0
Translation No
Refereed No
Webmaster