A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
Original Paper
First Online:
Received:
Accepted:
- 76 Downloads
- 4 Citations
Abstract
In this paper, we present an Expert System dealing with the diagnosis of fibromyalgia. Being fibromyalgia a very hard illness to diagnose, we think that our system may be useful for non-specialists (like family doctors) or specialists that would like to compare their own diagnoses with the one provided by our system. Our system has the peculiarity of being based on a previous mathematical result which lets us transform the problem of diagnosing this illness into an algebraic problem. Consequently our system is implemented in a computer algebra system. In this paper, we will describe the components of our system: a “Knowledge Base” based on studies on medicine and the knowledge of experts on fibromyalgia; an “Inference Engine” responsible of the knowledge extraction and consistency checking; and a “Graphic User’s Interface” which lets users operate with our system.
Keywords
Medical diagnosis Rule based expert systems Boolean logic Groebner bases FibromyalgiaMathematics Subject Classification
92C50 68T35 03B05 13P10Preview
Unable to display preview. Download preview PDF.
References
- 1.Akritas A.G.: Elements of Computer Algebra with Applications. Wiley, New York (1989)MATHGoogle Scholar
- 2.American College of Rheumatlogy: 2010 Preliminary Diagnostic Criteria (Excerpt). http://www.rheumatology.org/practice/clinical/classification/fibromyalgia/fibro_2010.asp. Accessed 29 December 2011
- 3.Blasi A.: Mi lucha contra la fibromialgia. Editorial El Andén, Barcelona (2007)Google Scholar
- 4.Buchanan B.G., Shortliffe E.H.: Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming. Addison-Wesley Longman Publishing Co., Inc., Boston (1984)Google Scholar
- 5.Buchberger B.: Bruno Buchberger’s PhD thesis 1965: an algorithm for finding the basis elementals of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3–4), 475–511 (2006)MathSciNetMATHCrossRefGoogle Scholar
- 6.Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra. http://cocoa.dima.unige.it. Accessed 29 December 2011
- 7.Claudín, V., García Fructuoso, F.: Fibromialgia, la verdad desnuda, La Esfera de los Libros, Madrid, Spain (2008)Google Scholar
- 8.Cox D., Little J., O’Shea D.: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer, New York (1992)MATHGoogle Scholar
- 9.Estupiña V., Ortells I.: Manual de Fibromialgia: basado en la recuperación de Marta. Carene Editores, Valencia (2005)Google Scholar
- 10.Gómez-Pérez A., Juristo N., Montes C., Pazos J.: Ingeniería del Conocimiento. Centro de Estudios Ramón Areces, Madrid (1997)Google Scholar
- 11.Hsiang J.: Refutational theorem proving using term-rewriting systems. Artif. Intell. 25, 255–300 (1985)MathSciNetMATHCrossRefGoogle Scholar
- 12.http://wikipedia.org/wiki/fibromyalgia. Accessed 29 December 2011
- 13.http://www.dameinfo.com/fibromialgia/index.html. Accessed 29 December 2011
- 14.http://www.nlm.nih.gov/medlineplus/ency/article/000427.htm. Accessed 29 December 2011
- 15.Kapur, D., Narendran, P.: An Equational Approach to Theorem Proving in First-Order Predicate Calculus. In: Joshi, A. K. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85) vol. 2, pp. 1146–1153. Morgan Kaufmann, San Francisco (1985)Google Scholar
- 16.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 Comput. 3, 7–19 (1999)CrossRefGoogle Scholar
- 17.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. Comput. Math. Appl. 51(5), 473–481 (2000)Google Scholar
- 18.Pérez-Carretero C., Laita L.M., Roanes-Lozano E., Lázaro L., González-Cajal J., Laita L.: A logic and computer algebra-based expert system for diagnosis of anorexia. Math. Comput. Simul. 58, 183–202 (2002)MATHCrossRefGoogle Scholar
- 19.Piury, J.: Un sistema experto para la detección de la fibromialgia, Master Thesis, Facultad de Informática, Universidad Politécnica de Madrid, Madrid, Spain (2009)Google Scholar
- 20.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. Comput. Simul. 45(1), 83–99 (1998)MATHCrossRefGoogle Scholar
- 21.Rodríguez-Solano C., Laita L.M., Roanes Lozano E., López Corral L., Laita L.: A computational system for diagnosis of depressive situations. Exp. Syst. Appl. 31, 47–55 (2006)CrossRefGoogle Scholar
- 22.Wolfe, F., Clauw, D.J., Fitzcharles, M.-A., Goldenberg, D.L., Katz, R.S., Mease, P., Russell, A.S., Russell, I.J., Winfield, J.B., Yunus, M.B.: The American College of Rheumatology Preliminary Diagnostic Criteria for Fibromyalgia and Measurement of Symptom Severity. Arth. Care Res. 62(5), 60–610 (2010) doi: 10.1002/acr.20140 Google Scholar
Copyright information
© Springer-Verlag 2012