Publication:
Diagnosis in Tennis Serving Technique

Loading...
Thumbnail Image
Full text at PDC
Publication Date
2020
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
https://www.mdpi.com/
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
Abstract
Tennis is a sport with a very complex technique. Amateur tennis players have trainers and/or coaches, but are not usually accompanied by them to championships. Curiously, in this sport, the result of many matches can be changed by a small hint like ‘hit the ball a little higher when serving’. However, the biomechanical of a tennis stroke is only clear to an expert. We, therefore, developed a prototype of a rule-based expert system (RBES) aimed at an amateur competition player that is not accompanied by his/her coach to a championship and is not serving as usual (the RBES is so far restricted to serving). The player has to answer a set of questions about how he/she is serving that day and his/her usual serving technique and the RBES obtains a diagnosis using logic inference about the possible reasons (according of the logic rules that have been previously given to the RBES). A certain knowledge of the tennis terminology and technique is required from the player, but that is something known at this level. The underlying logic is Boolean and the inference engine is algebraic (it uses Groebner bases).
Description
Keywords
Citation
1. Roanes-Lozano, E.; Sánchez, F. An Educational Application of Dynamic Geometry: Revisiting the “Recovery Position” in Tennis. Int. J. Tech. Math. Educ. 2017, 24, 171–178. 2. Crespo, M.; Miley, D. Advanced Coaches Manual; ITF Ltd.: London, UK, 1998. 3. Forti, U. Cu Forti, U. Curso Avanzado de Tenis; Ed. de Vecchi: Barcelona, Spain, 1992. 5. 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. 1998, 45, 83–99. 6. Hsiang, J. Refutational Theorem Proving using Term-Rewriting Systems. Art. Intell. 1985, 25, 255–300. 7. Kapur, D.; Narendran, P. An Equational Approach to Theorem Proving in First-Order Predicate Calculus. In Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85), Los Angeles, CA, USA, 18–23 August 1985; Volume 2, pp. 1146–1153. 8. Alonso, J.A.; Briales, E. Lógicas Polivalentes y Bases de Gröbner. In Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales; Martin, C., Ed.; Universidad de Sevilla: Seville, Spain, 1995; pp. 307–315. 9. Chazarain, J.; Riscos, A.; Alonso, J. A.; Briales, E. Multivalued Logic and Gröbner Bases with Applications to Modal Logic. J. Symb. Comput. 1991, 11, 181–194. 10. Roanes-Lozano, E.; Laita, L.M.; Hernando, A.; Roanes-Macías, E. An Algebraic Approach to Rule Based Expert Systems. Rev. R. Acad. Cien. Ser. A. Mat. 2010, 104, 19–40. 11. Alonso-Jiménez, J.A.; Aranda-Corral, G.A.; Joaquín Borrego-Díaz, J.; Fernández-Lebrón, M.M.; Hidalgo-Doblado, M.J. A logic-algebraic tool for reasoning with Knowledge-Based Systems, J. Log. Algebr. Meth. Program. 2018, 101, 88–109. 12. Aranda-Corral, G.A.; Borrego-Díaz, J.; Fernández-Lebrón, M.M. Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. In Intelligent Computer Mathematics. CICM 2009.; Carette, J., Dixon, L., Coen, C.S., Watt, S.M., Eds.; Lect. Notes Comput. Sci.; Springer: Berlin/Heidelberg, Germany, 2009; Volume 5625, pp. 45–58. 13. 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. 2006, 41, 475–511. 14. Cox, D.A.; Little, J.; O’Shea, D. Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd. ed.; Undergraduate Texts in Mathematics; Springer: Berlin/Heidelberg, Germany, 2007. 15. Winkler, F. Polynomial Algorithms in Computer Algebra, Texts and Monographs in Symbolic Computation; Springer: Wien, Austria; New York,NY, USA, 1996. 16. 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. 2000, 51, 473–481. 17. Lourdes Jimenez, M.L.; Santamaría, J.M.; Barchino, R.; Laura Laita, L.; Laita, L.M; González, L.A.; Asenjo, A. Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations. Exp. Syst. Appl. 2008, 34, 2847–2857, 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. 2002, 58, 183–202. 19. Roanes Lozano, E.; Galán-García, J.L.; Aguilera-Venegas, G. A Portable Knowledge Based System for Car Breakdown Evaluation. Appl. Math. Comput. 2015, 267, 758–770. 20. Roanes Lozano, E.; Galán-García, J.L.; Aguilera-Venegas, G. A prototype of a RBES for personalized menus generation. Appl. Math. Comput. 2017, 315, 615–624. 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. 2006, 31, 47–55. 22. Roanes-Lozano, E.; Laita, L.M.; Roanes-Macías, E. A Groebner Bases Based Many-valued Modal Logic Implementation in Maple. In AISC/Calculemus/MKM 2008; Autexier, S., Campbell J., Rubio J., Sorge V., Suzuki M., Wiedijk F., Eds.; Lecture Notes in Artificial Intelligence, 5144; Springer: Berlin/Heidelberg, Germany, 2008; pp. 170–183. 23. Available online: http://polybori.sourceforge.net/ (accessed on 10 April 2020). 24. Available online: http://minisat.se/ (accessed on 10 April 2020). 25. Roanes-Lozano, E.; Hernando, A.; Laita, L.M.; Roanes-Macías, E. A Groebner bases-based approach to bacckward reasoning in rule based expert systems. Ann. Math. Art. Int. 2009, 56, 297–311.
Collections