Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV

Pierre Villepreux; Benjamin Singer

Mathématiques et Sciences Humaines (1991)

  • Volume: 114, page 19-33
  • ISSN: 0987-6936

Abstract

top
This paper emphasizes the originality of our approach. Within the framework of team games studies, rugby quoted as an example, our point of view is formal and based on tools belonging to theoretical computer science. The specification techniques used are finite automata, which arise from the graph theory, and the well-known BNF notation which is combined with Regular Expressions and seen as a formal specification language. One of the interest of such an approach results in the fact that the specification automaton is strictly equivalent to the description language, for each match of the class of ball games here considered. On the other and, introducing in the area of sports studies specific tools, widely spread in computer science, yields interesting results.

How to cite

top

Villepreux, Pierre, and Singer, Benjamin. "Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV." Mathématiques et Sciences Humaines 114 (1991): 19-33. <http://eudml.org/doc/94408>.

@article{Villepreux1991,
abstract = {Cet article met l'accent sur l'originalité de la démarche adoptée. Dans le domaine de l'étude des sports collectifs, avec comme exemple de référence le rugby à XV, on se place du point de vue formel en utilisant des outils issus de l'informatique théorique. Les techniques de spécification mises en oeuvre sont les automates qui proviennent de la théorie des graphes, et la notation classique BNF, combinée aux Expressions Régulières, vue comme un langage de spécification formelle. L'un des intérêts de cette approche résulte dans l'équivalence, pour tout match de la classe des sports collectifs de circulation de balle, entre l'automate de spécification et le langage de description. D'autre part, l'introduction d'outils largement utilisés en informatique, dans un domaine jusqu'alors très peu étudié sous cet angle, a donné des résultats intéressants.},
author = {Villepreux, Pierre, Singer, Benjamin},
journal = {Mathématiques et Sciences Humaines},
keywords = {team games; specification techniques; regular expressions; formal specification languages},
language = {fre},
pages = {19-33},
publisher = {Ecole des hautes-études en sciences sociales},
title = {Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV},
url = {http://eudml.org/doc/94408},
volume = {114},
year = {1991},
}

TY - JOUR
AU - Villepreux, Pierre
AU - Singer, Benjamin
TI - Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV
JO - Mathématiques et Sciences Humaines
PY - 1991
PB - Ecole des hautes-études en sciences sociales
VL - 114
SP - 19
EP - 33
AB - Cet article met l'accent sur l'originalité de la démarche adoptée. Dans le domaine de l'étude des sports collectifs, avec comme exemple de référence le rugby à XV, on se place du point de vue formel en utilisant des outils issus de l'informatique théorique. Les techniques de spécification mises en oeuvre sont les automates qui proviennent de la théorie des graphes, et la notation classique BNF, combinée aux Expressions Régulières, vue comme un langage de spécification formelle. L'un des intérêts de cette approche résulte dans l'équivalence, pour tout match de la classe des sports collectifs de circulation de balle, entre l'automate de spécification et le langage de description. D'autre part, l'introduction d'outils largement utilisés en informatique, dans un domaine jusqu'alors très peu étudié sous cet angle, a donné des résultats intéressants.
LA - fre
KW - team games; specification techniques; regular expressions; formal specification languages
UR - http://eudml.org/doc/94408
ER -

References

top
  1. [Aho et al 89] — Aho, A., Sethi, R. & Ullman, J., Compilateurs : principes, techniques et outils. Paris, Inter-éditions, Juillet 1989. Traduction française de l'ouvrage : Compilers. Principles, Techniques, and Tools, Reading, Addison-Wesley, Mass., March 1986. 
  2. [Backus 59] — Backus, J.W., "The syntax and semantics of the proposed International Algebraic Language of the Zürich ACM-GAMM Conference", Proceedings of the International Conference on Information Processing, UNESCO,1959,125-132. Zbl0112.08301
  3. [Berge 73] - Berge, C., Graphes et hypergraphes, Deuxième édition, Paris, Dunod, 1973. Zbl0332.05101MR357171
  4. [Chen 71] - Chen, W.K., Applied Graph Theory, Amsterdam, North-Holland etNew York, American Elsevier Publ., 1971. Zbl0229.05107MR325271
  5. [Chomsky 56] — Chomsky, N., "Three models for the description of language", IRE Trans. on Information Theory, Vol.2, n°3, 1956, 113-124. Zbl0113.32701
  6. [Chomsky 59] — Chomsky, N., "On certain formal properties of grammars ", Information and Control, Vol.2, n°2, 1959, 137-167. Zbl0088.10801MR105365
  7. [Chomsky 63] — Chomsky, N., "Formal properties of grammars", Handbook of Math. Psych., Vol.2, New York, Wiley, 1963, 323-418. Zbl0156.25303
  8. [Conquet & Dévaluez 78] — Conquet, P. et Devaluez, J., Les fondamentaux du rugby, Paris, Éditions Vigot, 1978. 
  9. [Conquet & Dévaluez 82] — Conquet, P. et Devaluez, J., "L'ordre et le désordre", Mensuel de la FFR, n°821,1982, 36-38. 
  10. [Conquet 88] — Conquet, P., "La didactique du Rugby", Rapport du Stage International de Rugby MARCIAC 88, Sidi Bou Saïd, Tunisie, 2-9 juillet 1988,145-229. 
  11. [Deleplace 72] — Deleplace, R., "L'enseignement du rugby", Colloque des cadres techniques de la FFR, brochure ronéotypée, 1972. 
  12. [Deleplace 79] — Deleplace, R., Rugby de mouvement, rugby total, Paris, Éditions EPS, 1979. 
  13. [Deleplace 90] — Deleplace, R., Dans notre pays, comment obtenir le meilleur joueur possible ? Forum sur la Culture Rugbystique organisé à l'occasion du Centenaire du Stade Toulousain, Toulouse, 20 décembre 1990. 
  14. [Deleplace 91] — Deleplace, R., Modélisation des phases de mouvement général, Communication privée, Février 1991. 
  15. [Even 79] — Even, S., Graph Algorithms, Computer Science Press, 1979. Zbl0441.68072MR540205
  16. [Gondran & Minoux 85] — Gondran, M., Minoux, M., Graphes et algorithmes, deuxième édition revue et augmentée, Collection de la Direction des Etudes et Recherches d'EDF, Paris, Eyrolles, 1985. Zbl0497.05023MR868083
  17. [Gréhaigne 89] — Gréhaigne, J.F., Football de mouvement : vers une approche systémique du jeu, Thèse de Doctorat de 3ème cycle (Spécialité : Sciences & Techniques APS), Université de Bourgogne, Mars 1989. 
  18. [Harary 69] — Harary, F., Graph Theory, Reading, Mass., Addison-Wesley, 1969. Zbl0182.57702MR256911
  19. [Hopcroft & Ullman 79] — Hopcroft, J.E., Ullman, J.D., Introduction to automata theory, languages and computation, Reading, Mass., Addison-Wesley,1979. Zbl0426.68001MR645539
  20. [Lee 72] — Lee, J.A.N., "The formal definition of the BASIC language ", The Computer Journal, Vol.15, n°1, 1972, 37-41. Zbl0226.68041
  21. [Mahlo 74] — Mahlo, F., L'acte tactique en jeu, Paris, Vigot, Juillet 1974. 
  22. [Meek 90] — Meek, B., "The static semantics file", SIGPLAN Notices, Vol.25, n°4, april 1990, 33-42. 
  23. [Naur 60] — Naur, P., "Report on the algorithmic language Algol 60", Communication of the ACM, Vol.3, n°5, 1960, 299-314. Zbl0089.12510MR134432
  24. [Naur 63] — Naur, P., "Revised report on the algorithmic language Algol 60", Communication of the ACM, Vol.6, n°1,1963,1-17, et aussi dans Computer Journal, Vol.5, 1963, 349-367. Zbl0109.35105MR134831
  25. [Pagan 81] — Pagan, F.G., Formal specification of programming languages, Englewood Cliffs, New Jersey, Prentice-Hall, 1981. Zbl0473.68007
  26. [Parlebas 76a] — Parlebas, P., "Activités physiques et éducation motrice ", 1ère édition, Supplément à EPS, n° 139, Mai-Juin 1976. Ce supplément regroupe tous les articles publiés dans cette revue de 1967 à 1974. Deux nouvelles éditions sont parues. L'une en 1987 et l'autre en décembre 1990. 
  27. [Parlebas 76b] — Parlebas, P., "Les universaux du jeu sportif collectif. Un exemple : la balle assise", Revue EPS, n° 140, juillet-août 1976, 11-15. 
  28. [Parlebas 76c] — Parlebas, P., "Les universaux du jeu sportif collectif. La modélisation du jeu sportif", Revue EPS, n°141, septembre-octobre 1976, 33-37. 
  29. [Parlebas 81] — Parlebas, P., Contribution à un lexique commenté en science de l'action motrice, Paris, Publications INSEP,1981. 
  30. [Parlebas 85] — Parlebas, P., "Texte de présentation de Thèse de Doctorat d'Etat" (Spécialité : Lettres et Sciences Humaines) intitulée Psychologie Sociale et Théorie des Jeux. Etude de certains jeux sportifs, Université de Paris V et Ecole Pratique des Hautes Études, soutenue à la Sorbonne en Octobre 1984, Revue STAPS, Vol.6, n°12, décembre 1985, 85-90. 
  31. [Parlebas 86] — Parlebas, P., Eléments de sociologie du sport, Paris, Presses Universitaires de France, Juin 1986. 
  32. [Peys 90] — Peys, J.P., Rugby total et entraînement, Paris, Vigot, Février 1990. 
  33. [Téodorescu 77] — Téodorescu, L., Théorie et méthodologie des jeux sportifs, Paris, Editeurs Français Réunis, 1977. 
  34. [Villepreux 85] — Villepreux, P., Jeu des lignes arrières, Communication privée, Septembre 1985. 
  35. [Villepreux 87] — Villepreux, P., Rugby de mouvement et disponibilité du joueur, Mémoire en vue de l'obtention du diplôme de l'INSEP, 1987. 
  36. [Villepreux 88a] — Villepreux, P., "Disponibilité du joueur", Rapport du Stage International de Rugby MARCIAC 88, Sidi Bou Said, Tunisie, 2-9 juillet 1988,107-120. 
  37. [Villepreux 88b] — Villepreux, P., "Débat avec Herrero, Quilis et Barrière ", Rapport du Stage International de Rugby MARCIAC 88, Sidi Bou Saïd, Tunisie, 2-9 juillet 1988, 100-106. 
  38. [Villepreux 89] — Villepreux, P., "Entraînement pour un rugby moderne", Actes des IIIèmes Journées Internationales d'Automne de l'ACAPS, (conférence invitée), Poitiers, 29-31 octobre 1989, 127. 
  39. [Villepreux 91] — Villepreux, P., Le Rugby, Denoël, Paris, ouvrage à paraître en septembre-octobre 1991. 
  40. [Von Bertalanffy 80] — Von Bertalanffy L., Théorie générale des systèmes, Paris, Dunod, 1980. 
  41. [Williams 80] — Williams, M.H., "A formal notation for specifying Static Semantic Rules", Computer Languages, Vol.5, n°1,1980, 37-55. Zbl0431.68080
  42. [Williams 81] — Williams, M.H., "Methods for specifying Static Semantics ", Computer Languages, Vol.6, n°1,1981,1-17. Zbl0456.68100

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.