Displaying similar documents to “Formalisation des connaissances pour la simulation du service-retour en tennis : le système lift”

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

Pierre Villepreux, Benjamin Singer (1991)

Mathématiques et Sciences Humaines

Similarity:

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

Preuves et jeux sémantiques

Denis Bonnay (2004)

Philosophia Scientiae

Similarity:

Hintikka makes a distinction between two kinds of games: truth-constituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of games. In order to ground Hintikka’s claim that truth-constituting games are genuine verification and falsification games that make explicit the language games underlying the use of logical constants, it would be desirable to establish a...

Analyse mathématique élémentaire d'un jeu sportif

P. Parlebas (1974)

Mathématiques et Sciences Humaines

Similarity:

Un jeu sportif bien connu, les quatre coins, est l'objet de cette étude. Les règles de ce jeu déterminent une succession de déplacements qui sont organisés selon une structure de groupe. L'ensemble des graphes de déplacement peut être distribué selon trois partitions qui offrent un précieux support à l'étude expérimentale: on obtient alors des classes d'équivalence de type cyclique, de type spatial et de type métrique. Les règles sont porteuses d'une logique qui accorde une grande importance...