Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems
作者： E. Roanes-Lozano , E. Roanes-Macías , L. M. Laita
DOI: 10.1007/978-3-642-60218-4_29
关键词:
摘要: This paper distinguishes between two different kinds of inconsistency rule-based Knowledge Based Systems (KBSs) constructed on multi-valued logics, which we have denoted “weak inconsistency” and “strong inconsistency”, respectively. While is the studied in verification related references listed at end article, introduced this paper. “Strong a particular case inconsistency”. An interesting interpretation terms polynomial ideals (discrete) algebraic varieties provided. Finally, an implementation Computer Algebra System (CAS) Maple included. provides both visualization symbolic results (directly handling truth tables).
springer.com
sci-hub.st 参考文章(16)
Luis M. Laita, Víctor Maojo, Eugenio Roanes Lozano, A. Díaz, A Logic and computer algebra approach to a decision-making problem in medicine Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. ,vol. 92, pp. 299- 306 ,(1998)
Eugenio Roanes-Lozano, Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS Recent Developments in Complex Analysis and Computer Algebra. pp. 277- 290 ,(1999) , 10.1007/978-1-4613-0297-1_20
Bruno Buchberger, Applications of Gro¨bner bases in non-linear computational geometry Proceedings of the International Symposium on Trends in Computer Algebra. ,vol. 14, pp. 52- 80 ,(1988)
John R. Rice, Mathematical Aspects of Scientific Software Mathematical Aspects of Scientific Software. ,vol. 14, pp. 1- 39 ,(1988) , 10.1007/978-1-4684-7074-1_1
Jack Belzer, Encyclopedia of Computer Science and Technology ,(1975)
Alonso Jiménez, José Antonio, Métodos algebraicos de razonamiento automático Universidad de Sevilla. ,(2013)
William W. Adams, Philippe Loustaunau, An Introduction to Gröbner Bases ,(2012)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías, An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra industrial and engineering applications of artificial intelligence and expert systems. pp. 687- 696 ,(1998) , 10.1007/3-540-64574-8_455
L. M. Laita, E. Roanes-Lozano, V. Maojo, Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases artificial intelligence and symbolic computation. pp. 183- 194 ,(1998) , 10.1007/BFB0055912
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