Diagnosis in Tennis Serving Technique

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).

[1]  Luis M. Laita,et al.  Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations , 2008, Expert Syst. Appl..

[2]  Bruno Buchberger,et al.  Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal , 2006, J. Symb. Comput..

[3]  Emilio Briales Morales,et al.  Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic , 1991, J. Symb. Comput..

[4]  Eugenio Roanes-Lozano,et al.  A prototype of a RBES for personalized menus generation , 2017, Appl. Math. Comput..

[5]  Luis M. Laita,et al.  A computational system for diagnosis of depressive situations , 2006, Expert Syst. Appl..

[6]  L. M. Laita,et al.  A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra , 1998 .

[7]  Luis M. Laita,et al.  A logic and computer algebra-based expert system for diagnosis of anorexia , 2002, Math. Comput. Simul..

[8]  María-José Hidalgo-Doblado,et al.  A logic-algebraic tool for reasoning with Knowledge-Based Systems , 2018, J. Log. Algebraic Methods Program..

[9]  Antonio Hernando,et al.  An algebraic approach to rule based expert systems , 2010 .

[10]  Antonio Hernando,et al.  A Groebner bases-based approach to backward reasoning in rule based expert systems , 2009, Annals of Mathematics and Artificial Intelligence.

[11]  Jieh Hsiang,et al.  Refutational Theorem Proving Using Term-Rewriting Systems , 1985, Artif. Intell..

[12]  Eugenio Roanes-Lozano,et al.  A portable knowledge-based system for car breakdown evaluation , 2015, Appl. Math. Comput..

[13]  Victor Maojo,et al.  An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques , 2001 .