Details:
Title  A symbolicnumeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL.  Author(s)  Luis M. Laita, Eugenio RoanesLozano, Eugenio RoanesMacías  Type  Article in Journal  Abstract  We first briefly describe an algebraic model of classical and modal manyvalued 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.  ISSN  18741142/e 
URL 
http://benthamopen.com/ABSTRACT/TOAMJ2126 
Language  English  Journal  Open Appl. Math. J.  Volume  2  Pages  126133  Publisher  Bentham Science Publishers, Oak Park, IL  Year  2008  Edition  0  Translation 
No  Refereed 
No 
