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


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.
URL http://benthamopen.com/ABSTRACT/TOAMJ-2-126
JournalOpen Appl. Math. J.
PublisherBentham Science Publishers, Oak Park, IL
Translation No
Refereed No