Th.--Math. appl.--Nancy--I.N.P.L., 1982.

La programmation par contraintes permet de modéliser des problèmes et offre des méthodes de résolution efficaces. Cependant, sa complexité augmentant ces dernières années, son utilisation, notamment pour modéliser des problèmes, est devenue limitée à des utilisateurs possédant une bonne expérience dans le domaine. Cette thèse s’inscrit dans un cadre visant à automatiser la modélisation. Les techniques existantes ont montré des résultats encourageants mais certaines exigences rendent leur utilisation encore problématique. Dans une première partie, nous proposons de dépasser une limite existante qui réside dans la nécessité pour l’utilisateur de fournir des solutions du problème qu’il veut modéliser. En remplacement, il nous fournit des solutions de problèmes proches, c’est-à-dire de problèmes dont la sémantique de fond est la même mais dont les variables et leur domaine peuvent changer. Pour exploiter de telles données, nous proposons d’acquérir, grâce à des techniques de programmation logique inductive, un modèle plus abstrait que le réseau de contraintes. Une fois appris, ce modèle est ensuite transformé pour correspondre au problème initial que souhaitait résoudre l’utilisateur. Nous montrons également que la phase d’apprentissage se heurte à des limites pathologiques et qui nous ont contraints à développer un nouvel algorithme pour synthétiser ces modèles abstraits. Dans une seconde partie, nous nous intéressons à la possibilité pour l’utilisateur de ne pas donner d’exemples du tout. En partant d’un CSP sans aucune contrainte, notre méthode consiste à résoudre le problème de l’utilisateur de manière classique. Grâce à un arbre de recherche, nous affectons progressivement des valeurs aux variables. Quand notre outil ne peut décider si l’affectation partielle courante est correcte ou non, nous demandons à l’utilisateur de guider la recherche sous forme de requêtes. Ces requêtes permettent de trouver des contraintes à ajouter aux modèles du CSP et ainsi améliorer la recherche. / Constraint programming allows to model many kind of problems with efficient solving methods. However, its complexity has increased these last years and its use, notably to model problems, has become limited to people with a fair expertise in the domain. This thesis deals with automating the modeling task in constraint programming. Methods already exist, with encouraging results, but many requirements are debatable. In a first part, we propose to avoid the limitation consisting, for the user, in providing solutions of the problem she aims to solve. As a replacement of these solutions, the user has to provide solutions of closed problem, i.e problem with same semantic but where variables and domains can be different. To handle this kind of data, we acquire, thanks to inductive logic programming, a more abstract model than the constraint network. When this model is learned, it is translated in the very constraint network the user aims to model. We show the limitations of learning method to build such a model due to pathological problems and explain the new algorithm we have developed to build these abstract models. In a second part, we are interesting in the possibility to the user to not provide any examples. Starting with a CSP without constraints, our method consists in solving the problem the user wants in a standard way. Thanks to a search tree, we affect to each variable a value. When our tool cannot decide if the current partial affectation is correct or not, we ask to the user, with yes/no queries, to guide the search. These queries allow to find constraints to add to the model and then to improve the quality of the search.

Th. 3e cycle--Inform.--Nancy--I.N.P.L., 1984.

La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation

Un des grands enjeux actuels dans le domaine de la synthèse sonore consiste à proposer des stratégies de contrôle intuitif accessible à un grand nombre d'utilisateurs. Parmi les attributs fondamentaux du son, ceux qui sont liés au mouvement restent encore largement inexplorés et, de fait, difficilement contrôlables. Cette thèse s'intéresse à la perception des caractéristiques des sons monophoniques qui varient au cours du temps et qui sont à l'origine de la notion perceptive de ''mouvement évoqué'', ainsi qu'à la mise au point d'une stratégie de contrôle intuitif. Pour cela, nous avons mis au point une série d'expériences basées sur des protocoles de catégorisation et d'évaluation sonore par le biais de dessins via une interface graphique paramétrée. Afin de favoriser l'écoute sur les attributs intrinsèques du son, nous avons privilégié l'utilisation de sons dits ''abstraits" pour lesquels la source physique n'est pas facilement identifiable. Les résultats de ces expériences nous ont permis de définir un ensemble de dimensions perceptives importantes pour la caractérisation du mouvement évoqué, telles que la forme de la trajectoire, l'orientation ou bien la taille. Ces dimensions ont été par la suite validées grâce à un protocole expérimental exploitant la synthèse sonore. Le travail réalisé ouvre de nombreuses perspectives, notamment dans les domaines de la réalité virtuelle, du ''design sonore'' et de la musique. La méthodologie proposée vise à être suffisamment générale pour être transposable à l'étude d'autres attributs perceptifs liés au ressenti (émotions, qualité ...).

Cette thèse décrit comment l'ajout de trois ingrédients à Système Fω permet d'écrire des programmes de façon modulaire dans un système explicite à la Church, tout en gardant un style proche des modules de ML. Le premier chapitre s'intéresse aux types existentiels ouverts, qui confèrent la possibilité d'utiliser des types existentiels sans restriction de portée : cela offre une plus grande flexibilité dans l'organisation des programmes. Le deuxième chapitre est consacré à l'étude des kinds singletons, qui modélisent les définitions de types : dans ce cadre, on donne une caractérisation simple de l'équivalence de types, fondée sur une relation de réduction confluente et fortement normalisante. Le dernier chapitre intègre les deux notions précédentes dans un langage noyau muni d'une relation de sous-typage : cela apporte à Fω un gain de modularité important, de niveau comparable à celui des modules de ML. Une traduction des modules vers ce langage est esquissée, permettant une comparaison précise des deux langages.

La programmation par contraintes permet de modéliser des problèmes et offre des méthodes de résolution efficaces. Cependant, sa complexité augmentant ces dernières années, son utilisation, notamment pour modéliser des problèmes, est devenue limitée à des utilisateurs possédant une bonne expérience dans le domaine. Cette thèse s'inscrit dans un cadre visant à automatiser la modélisation. Les techniques existantes ont montré des résultats encourageants mais certaines exigences rendent leur utilisation encore problématique. Dans une première partie, nous proposons de dépasser une limite existante qui réside dans la nécessité pour l'utilisateur de fournir des solutions du problème qu'il veut modéliser. En remplacement, il nous fournit des solutions de problèmes proches, c'est-à-dire de problèmes dont la sémantique de fond est la même mais dont les variables et leur domaine peuvent changer. Pour exploiter de telles données, nous proposons d'acquérir, grâce à des techniques de programmation logique inductive, un modèle plus abstrait que le réseau de contraintes. Une fois appris, ce modèle est ensuite transformé pour correspondre au problème initial que souhaitait résoudre l'utilisateur. Nous montrons également que la phase d'apprentissage se heurte à des limites pathologiques et qui nous ont contraints à développer un nouvel algorithme pour synthétiser ces modèles abstraits. Dans une seconde partie, nous nous intéressons à la possibilité pour l'utilisateur de ne pas donner d'exemples du tout. En partant d'un CSP sans aucune contrainte, notre méthode consiste à résoudre le problème de l'utilisateur de manière classique. Grâce à un arbre de recherche, nous affectons progressivement des valeurs aux variables. Quand notre outil ne peut décider si l'affectation partielle courante est correcte ou non, nous demandons à l'utilisateur de guider la recherche sous forme de requêtes. Ces requêtes permettent de trouver des contraintes à ajouter aux modèles du CSP et ainsi améliorer la recherche.

Cette recherche doctorale se propose d'étudier le rôle des mécanismes productifs, et plus particulièrement ceux de la métaphore, dans les collocations des noms d'affects. Cette problématique est traitée sous deux aspects principaux. Dans un premier temps, nous posons la question du rôle et de la place des mécanismes de figuration dans le phénomène du figement en général, puis plus particulièrement dans la construction des collocations. En effet, certaines associations ne sont pas arbitraires et différents types de motivation sont privilégiés, notamment ceux liés aux différents mécanismes figuratifs. Dans un deuxième temps se pose également la question du rôle et du type de la motivation métaphorique dans la description des émotions, question qui prend plus ou moins d'importance en fonction de l'angle d'étude adopté, selon qu'il s'agit de l'approche sémantico-lexicale ou de celle de la sémantique cognitive.Nous montrons la nécessité d'une réflexion plus adaptée aux spécificités du champ sémantique concerné et à l'objet d'étude que sont les collocations, en prenant en compte davantage le niveau proprement linguistique. En effet, la combinatoire lexicale fournit une trace objective des contenus sémantiques et nous permet d'analyser les dimensions sémantiques véhiculées, ainsi que de tester l'ancrage linguistique de la motivation métaphorique (la structuration métaphorique étant analysée en tant que phénomène relevant de la langue), tout en cherchant à décrire le fonctionnement et le rôle de ce type de combinaisons. / L'auteur n'a pas fourni de résumé en anglais

Le but de ce travail est d'examiner les propriétés sémantiques et morphosyntaxiques des noms abstraits apparentés à des prédicats verbaux ou adjectivaux. D'un point de vue sémantique, nous montrons que la notion d'aspect, généralement réservée au domaine verbal, est pertinente dans le domaine nominal et que les 'noms abstraits intensifs' (Van de Velde 1995 et Flaux & Van de Velde 2000) forment une classe aspectuelle homogène puisque tous partagent le trait [-DYNAMIQUE]. En nous fondant sur l'hypothèse que le caractère statif commun à ces noms permet une analyse unifiée, nous proposons une étude de leurs différents emplois et montrons notamment qu'outre une acception stative, ces noms peuvent avoir une seconde lecture et dénotent alors des occurrences. Dans la seconde partie, nous nous intéressons au comportement syntaxique des noms statifs, i.e. le nombre et la détermination, mais aussi la modification adjectivale. Ceci nous permet de dégager deux comportements morphosyntaxiques distincts, corrélés à la distinction entre les deux lectures mise en évidence dans la première partie. Dans leur lecture stative, ces noms ont un comportement proche de celui des noms massifs concrets et fonctionnent comme des noms relationnels : ils nécessitent un argument avec lequel ils entrent dans une relation syntaxique de prédication. Inversement, dans leur lecture d'occurrence, ces noms se comportent comme des noms comptables concrets et ne sont pas intrinsèquement relationnels. L'analyse des noms statifs que nous proposons tend à montrer que ceux-ci partagent leurs propriétés sémantiques avec certains types de prédicats verbaux et adjectivaux, et leurs propriétés syntaxiques avec diverses classes de noms concrets.

Proposition d'un langage: fpz (functional parallel programming), qui repond au modele propose en sparc quant a la communication, qui est un langage fonctionnel et qui integre la possibilite de specificication de types abstraits et de fonction generiques d'une facon semblable a lpg. Exposition de deux systemes: sparc (systemes paralleles communicants) et lpg (langage de programmation generique).