Skip to main content
Log in

A Gröbner bases-based rule based expert system for fibromyalgia diagnosis

  • Original Paper
  • Published:
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Akritas A.G.: Elements of Computer Algebra with Applications. Wiley, New York (1989)

    MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

  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)

    MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

  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)

    Article  Google 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)

    Article  MATH  Google 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)

  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)

    Article  MATH  Google 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)

    Article  Google 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 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Eugenio Roanes-Lozano.

Additional information

This work was partially supported by the research project TIN2009-07901 (Government of Spain).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Piury, J., Laita, L.M., Roanes-Lozano, E. et al. A Gröbner bases-based rule based expert system for fibromyalgia diagnosis. RACSAM 106, 443–456 (2012). https://doi.org/10.1007/s13398-012-0064-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13398-012-0064-8

Keywords

Mathematics Subject Classification

Navigation