A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL
作者： E. Roanes-Lozano , Luis M. Laita , E. Roanes-Macias
DOI: 10.2174/1874114200802010126
关键词: Modal 、 Knowledge extraction 、 Algorithm 、 Rule based expert system 、 Theoretical computer science 、 Dynamic logic (modal logic) 、 Symbolic computation 、 Mathematics 、 Algebraic model
摘要: We first briefly describe an algebraic model of classical and modal many-valued logics due to the authors introduced in previous works. A similar approach, also using Computer Algebra techniques (Grobner bases) oriented perform effective calculus a continuous logic: Minimal Polynomial Logic (MPL) is presented. The implementation has been developed System Maple. possibility knowledge extraction check consistency Rule Based Expert Systems (RBES) whose underlying logic MPL, explored. ar- ticle illustrated with examples very simple RBES.
benthamopen.com
sci-hub.st 参考文章(8)
E. Roanes-Lozano, E. Roanes-Macías, L. M. Laita, Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems computer algebra in scientific computing. pp. 349- 363 ,(1999) , 10.1007/978-3-642-60218-4_29
Riccardo Poli, Mark Ryan, Aaron Sloman, A New Continuous Propositional Logic portuguese conference on artificial intelligence. pp. 17- 28 ,(1995) , 10.1007/3-540-60428-6_2
J. Chazarain, A. Riscos, J.A. Alonso, E. Briales, Multi-valued logic and Gröner bases with applications to modal logic Journal of Symbolic Computation. ,vol. 11, pp. 181- 194 ,(1991) , 10.1016/S0747-7171(08)80043-0
Jieh Hsiang, Refutational theorem proving using term-rewriting systems Artificial Intelligence. ,vol. 25, pp. 255- 300 ,(1985) , 10.1016/0004-3702(85)90074-8
L. M. Laita, E. Roanes-Lozano, L. de Ledesma, J. A. Alonso, A computer algebra approach to verification and deduction in many-valued knowledge systems soft computing. ,vol. 3, pp. 7- 19 ,(1999) , 10.1007/S005000050086
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macı́as, A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra Mathematics and Computers in Simulation. ,vol. 45, pp. 83- 99 ,(1998) , 10.1016/S0378-4754(97)00088-8
David Cox, John Little, Donal O'shea, Moss Sweedler, Ideals, Varieties, and Algorithms American Mathematical Monthly. ,vol. 101, pp. 582- ,(1997) , 10.1007/978-0-387-35651-8
Paliath Narendran, Deepak Kapur, An equational approach to theorem proving in first-order predicate calculus international joint conference on artificial intelligence. pp. 1146- 1153 ,(1985)