Abstract
We present in this paper a Rule-Based Knowledge System that both verifies the consistency of the knowledge explicitly provided by experts in mental retardation, and automatically extracts consequences (in this case: diagnoses) from that knowledge.
Expert knowledge is translated into symbolic expressions, which are written in CoCoA (a Computer Algebra language). The program, using a theory developed by this research team, outputs diagnoses from the different inputs that describe each patient.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Buchanan, B., Shortliffe, E.H. (eds.): Rule Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project. Addison Wesley, New York (1984)
C.N.R.E.E., EI alumno con retraso mental en la escuela ordinaria, Ministry of Education, Madrid (1991, 1994)
Molina García, S.: Deficiencia mental, aspectos psicoevolutivos y educativos, Ediciones Aljibe, Málaga (1994)
A.P.A. (American Psychiatric Association): D.S.M. IV (A.P.A. 1995), http://www.appi.org/dsm.cfx
Verdugo, M.A.: El cambio de paradigma en la concepción de retraso mental: la nueva definición de A. A. M. R. Siglo Cero 25(3), 5–22 (1995)
Capani, A., Niesi, G.: CoCoA User’s Manual v. 3.0b. Dept. of Mathematics, University of Genova, Genova (1996)
Perkinson, D.: CoCoA 4.0 Online Help. Electronic file acompanying CoCoA v.4.0 (2000)
Adams, W.W., Loustaunau, P.: An Introduction to Gröbner Bases. Graduate Studies in Mathematics, American Mathematical Society, Providence, RI (1994)
Becker, T., Weisspfenning, V.: Gröbner bases. Springer, New York (1993)
Winkler, F.: Polynomial Algorithms in Computer Algebra. Springer, Vienna (1996)
Moisil, G.C.: The Algebraic Theory of Switching Circuits. Pergamon Press, Oxford (1969)
Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First- Order Predicate Calculus. In: Proceedings of IJCAI 1985, pp. 1146–1153 (1985); General Electric Corporate Research and Development Report 84CRD296, Schenectady, NY, March 1984, rev. December 1984
Hsiang, J.: Refutational Theorem Proving using Term-Rewriting Systems. Artif. Intell. 25, 255–300 (1985)
Chazarain, J., Riscos, A., Alonso, J.A., Briales, E.: Multivalued Logic and Gröbner Bases with Applications to Modal Logic. J. Symb. Comp. 11, 181–194 (1991)
Laita, L.M., Roanes-Lozano, E., de Ledesma, L., Alonso, J.A.: A Computer Algebra Approach to Verification and Deduction in Many-Valued Knowledge Systems. Soft Comp. 3(1), 7–19 (1999)
Roanes-Lozano, E., Laita, L.M., Roanes-Macýas, E.: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Math. Comp. Simul. 45(1), 83–99 (1998)
Laita, L.M., Roanes-Lozano, E., Maojo, V., de Ledesma, L., Laita, L.: An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques. Comp. Math. Appl. 42(12), 1505–1522 (2001)
Pérez, C., Laita, L.M., Roanes-Lozano, E., Lázaro, L., González, J., Laita, L.: A Logic and Computer Algebra-Based Expert System for Diagnosis of Anorexia. Math. Comp. Simul. 58, 183–202 (2002)
Roanes-Lozano, E., Roanes-Macías, E., Laita, L.M.: Railway Interlocking Systems and Gröbner bases. Math. Comp. Simul. 51, 473–481 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sánchez-Morgado, R., Laita, L.M., Roanes-Lozano, E., de Ledesma, L., Laita, L. (2004). A Rule-Based Knowledge System for Diagnosis of Mental Retardation. In: Barreiro, J.M., Martín-Sánchez, F., Maojo, V., Sanz, F. (eds) Biological and Medical Data Analysis. ISBMDA 2004. Lecture Notes in Computer Science, vol 3337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30547-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-30547-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23964-2
Online ISBN: 978-3-540-30547-7
eBook Packages: Springer Book Archive