Contenu du sommaire
| Revue |
Mathématiques et sciences humaines  Titre à cette date : Mathématiques, informatique et sciences humaines |
|---|---|
| Numéro | no 138, été 1997 |
| Texte intégral en ligne | Accessible sur l'internet |
- Structures grammaticales dans le français mathématique : 1 - Aarne Ranta
Un système de règles grammaticales est présenté pour analyser un fragment du français permettant l'expression de théorèmes et de preuves mathématiques. Pour cet objectif, on développe une version de la grammaire de Montague, avec des catégories syntaxiques relatives au contexte et aux domaines d'individus. Ce système peut être interprété dans la théorie constructive des types de Martin-Löf. Il est appliqué, d'abord, au français sans symboles mathématiques, avec une attention spéciale aux restrictions de sélection et aux dépendances par rapport à un contexte. Le fragment comprend des verbes et des adjectifs, des formes plurielles, des propositions relatives, et des syntagmes coordonnés. Ensuite, la grammaire est étendue au symbolisme mathématique et à son usage dans le texte français. Le fragment comprend des formules arithmétiques, la notation décimale, les conventions de parenthèses, les variables explicites, des énoncés de théorèmes et des structures textuelles de preuves. On finit par étudier quelques applications de la grammaire, basées sur l'implémentation déclarative de la grammaire dans ALF, un éditeur de preuves.A system of grammatical rules is presented to analyse a fragment of French that permits the expression of mathematical theorems and proofs. To this end, a version of Montague grammar is developed, with syntactic categories relativized to a context and to domains of individuals. This system can be interpreted in the constructive type theory of Martin-Löf. It is first applied to French without mathematical symbols, paying special attention to selectional restrictions and to dependencies on context. The fragment includes verbs and adjectives, plurals, relative clauses, and coordinated phrases of different categories. Second, the grammar is extended to mathematical symbolism and its embedding in French text. The fragment comprises arithmetical formulae, decimal notation, parenthesis conventions, explicit variables, statements of theorems, and textual structures of proofs. Finally, some applications of the grammar are studied, based on a declarative implementation in the proof editor ALF. - Dissimilarités multivoies et généralisations d'hypergraphes sans triangles - Jean Diatta Les dissimilarités multivoies sont une généralisation naturelle des dissimilarités usuelles deux voies. Dans ce papier, des classes de dissimilarités multivoies sont étudiées, ainsi que des modèles de passage d'un nombre de voies donné à un autre nombre de voies. Une application à la spécification de systèmes classifiants a conduit à une bijection entre une classe de dissimilarités multivoies et une famille de systèmes stratifiés de classification.Multiway dissimilarities naturally generalize the usual two-way dissimilarities. In this paper, particular classes of multiway dissimilarities are studied as well as some models for deriving from a dissimilarity of a given number of ways, one of a greater or a lower number of ways. An application to clustering systems specification has led to a one-to-one correspondence between a class of multiway dissimilarities and a family of stratified clustering systems.
- Une formule utile en analyse des comparaisons - Jean-Marc Bernard Cette note donne la formule du protocole projeté (orthogonalement) yJ d'un protocole de base xJ de RJ , pondéré par nJ, sur le sous-espace de RJ dual d'une g-comparaison de RJ.This note gives the formula of the orthogonally-projected protocol yJ of a basic protocol xJ from RJ, weighted by nJ, on the dual sub-space in RJ of a g-comparison from RJ.
Analyse bibliographique
