ANR - LOCI

Tâche 6 : Questions formelles autour de la ludique

2011-03-15T11:48:22Z

Questions formelles autour de la ludique

Coordinateur : Christian Retoré (LABRI)

Membres : Christophe Fouqueré (LIPN), Myriam Quatrini (IML), Marie-Renée Fleury (IML), Sylvain Salvati (LaBRI)

Collaborateur extérieur : Paul-André Melliès (PPS – Paris 7)

Objectifs :
- étude des propriétés de la ludique relativement aux c-desseins, à la notion d'incarnation, au premier ordre

Contenu :

* ludique, c-desseins : (LABRI) étude de fragments pouvant être générés par des langages d'arbres dont la complexité d'analyse, de génération, d'apprentissage est polynomiale
* comportements en ludique : (LIPN, IML) Caractérisation minimale de l'incarnation, relation avec les espaces cohérents
* ludique et premier ordre : (LABRI, LIPN, IML) Etude du cas des structures attribut valeur sans termes, lien entre la quantification et des connecteurs "avec" indexés, "tressage" des modèles catégoriques avec le premier ordre.

Ludique, espaces cohérents, premier ordre

Les travaux menés dans le projet PRELUDE ont soulevé des problèmes formels incomplètement ou pas du tout étudiés qu'il nous convient maintenant d'aborder. L'objet fondamental de la ludique est l'ensemble de chroniques satisfaisant certaines propriétés, le dessein étant un sous-ensemble cohérent, un comportement étant un ensemble de desseins clos par orthogonalité.

* ludique, c-desseins : les c-desseins généralisent les desseins de la ludique.
Nous nous proposons d'aborder la question des fragments générés par des langages d'arbres dont la complexité d'analyse, de génération, d'apprentissage est polynomiale, à l'instar de ce qui a été fait dans le cadre du lambda-calcul
* comportements en ludique : le concept d'incarnation a été introduit par J.-Y. Girard pour caractériser le sous-ensemble de desseins d'un comportement définissant minimalement celui-ci. Comment caractériser plus finement ce comportement, la relation intrinsèque entre incarnation et comportement, la relation avec les espaces cohérents ?
* ludique et premier ordre : le lien entre ludique et premier ordre reste à approfondir après les travaux de Fleury et Quatrini. Il s'agira en particulier d'étudier le cas des structures attribut valeur sans termes, le lien entre la quantification et des connecteurs "avec" indexés, et enfin le "tressage" des modèles catégoriques avec le premier ordre.

Tâche 5 : Communication Web et Ontologies

2011-03-15T11:48:19Z

Communication Web et Ontologies

Divisée en deux sous-tâches :
De l'interaction aux langages pour le web

Coordinateur : Christophe Fouqueré (LIPN)

Membres : Pascal Coupey (LIPN), Jean-Vincent Loddo (LIPN), Samuel Tronçon (Résurgences)

Objectifs :
- modèles pour les interactions à l'oeuvre dans le cas des sites et services web
- utilisation de ces modèles comme système de types

Contenu :

1) (LIPN) Développement d'un modèle en ludique tenant compte précisément de toutes les interactions à l'oeuvre pour un site web : opérations sur le navigateur, clonage, cas de la répartition de code entre client et serveur.
2) (LIPN) Adaptation du cadre théorique des c-desseins en intégrant une structure de localisation (adresses de la ludique) adaptée au cas des pages web. Etude des propriétés qui en découlent (complétude du langage rationnel par rapport au modèle précédent).
3) (LIPN/Résurgences) Développement d'un langage de description des services web basé sur la ludique. Si la méthodologie est similaire au cadre précédent (les successions requêtes/réponses fournissent la trace de l'interaction), le contexte des services web impose des caractéristiques et des objectifs particuliers : le serveur ne peut arrêter une interaction (contrairement au client), un service web peut être construit par orchestration de services ou de composants, ...
4) (LIPN) Comparaison du langage développé au point 3 avec les standards actuels (WSDL, BPEL en particulier).
5) (LIPN) Utilisation de ces modèles comme système de typage pour des langages de programmation web développées en parallèle à ce projet.

Communication Web

La tâche 4 concerne l'étude de la communication à travers le web, que ce soit par l'utilisation d'ontologies ou par l'usage de sites et services web. Nous chercherons comment, dans ces 2 cadres, l'approche dialogique est à l'oeuvre en offrant une modélisation plus apte à rendre compte de tous les phénomènes. Nous confronterons par ailleurs les modèles obtenus à ceux développés en linguistique et dans le cadre des interactions sociales (tâches 1 et 2). Il nous semble en effet que le web est un lieu idéal dans la mesure où il intègre naturellement le langage (comme moyen d'expression), la vie sociale (étant d'abord un lieu d'échanges entre personnes), et la machine (tant comme intermédiaire que comme artefact).

Tâche 4 : Vie sociale et pragmatique

2011-03-15T11:48:10Z

Vie sociale et pragmatique

Coordinatrice : Marie-Renée Fleury (IML)

Membres : Samuel Tronçon (Résurgences), Pierre Livet (Résurgences),

Collaborateurs extérieurs : Jean-Baptiste Joinet (Paris 1), Claire Beyssade (IJN), Laurent Roussarie (SFL – Paris 8)

Contenu : il s'agit de constituer un corpus à partir de rencontres et de dialogues au sein d'une association et de mettre au point les outils (concepts pragmatiques, leurs incarnations dans le langage etc.) qui vont permettre de mettre en place un dispositif voisin.

Interaction et vie sociale

Les résultats du projet PRELUDE ont mis en avant l'utilisation des concepts de la ludique pour représenter les actes de langage (Fleury & Tronçon, à paraître, Livet, à paraître}). On peut semble-t-il étendre cette formalisation à d'autres types d'actes dans le domaine social. Le point crucial de ces approches réside dans le renoncement à tout recours à une norme posée a priori et dans le refus de considérer le concept d'intention comme primitif. Les actes de langage sont en premier lieu dialogiques : ils consistent dans des interactions entre desseins (c'est-à-dire aussi stratégies) des locuteurs. Mais alors que des approches en termes de jeux déjà existantes verraient les choses en termes de gains à espérer (et d'utilité), l'approche ludique met l'emphase sur la structure même du jeu (sa "géométrie"). Ainsi un jeu peut être vu comme un phénomène de polarité entre d'un côté un ensemble de desseins G dont dispose un participant et de l'autre un autre ensemble de desseins, G qu'on peut présumer "duaux" des premiers (par exemple si les premiers partent d'une base positive, les seconds partent d'une base négative et vice-versa). Un ensemble de desseins est "la règle" pour son ensemble de desseins dual. Par exemple, le fait qu'un locuteur possède dans son jeu un dessein poussant à l'abandon immédiat de l'autre locuteur oblige ce second locuteur à jouer un dessein particulier qui empêcherait le premier de jouer cette arme dissuasive. P. Livet a ainsi proposé des explications pour des actes variés comme la promesse ou l'excuse. S. Tronçon et M-R. Fleury ont montré comment des actions particulières peuvent s'expliquer en fonction des continuations attendues des desseins en développement, ce qui permet d'éviter la notion d'intention. On continuera dans le présent projet d'explorer cette démarche. De plus, nous nous appuierons sur le partenaire privé « Resurgences » afin de conduire des expérimentations en milieu social (enregistrements de dialogues, d'interactions dans un milieu de travail et/ou de formation). Les concepts interrogés et mis en oeuvre sont ceux de desseins et comportements, qu'on peut comparer aussi à la géométrie des obligations (Cardone, 2009) qui se représente de manière intéressante en termes de catégorie.

Tâche 3 : Modélisation de l'apprentissage de la langue des signes

2011-03-15T11:48:06Z

Modélisation de l'apprentissage de la langue des signes

Coordinateur : Samuel Tronçon (Association « Résurgences »)

Membres : Christian Cuxac, Ivani Fusellier, Fanny Macé, Alain Lecomte (SFL – Paris 8), Marie-Renée Fleury (IML)

Contenu : il s'agit d'utiliser un corpus de recueil de données concernant un enfant cambodgien signant la langue des signes de son pays et apprenant la LSF. Il s'agira de coder les échanges de manière à ce qu'ils soient exploitables du point de vue de l'utilisation d'un logiciel qui traite les interactions au sein de jeux à deux joueurs où chacun à tour de rôle réagit aux propositions de l'autre. Le traitement met au point progressivement des listes de contraintes de telle sorte que plus on avance dans l'interaction, plus celle-ci devienne normée

Modélisation de l'apprentissage

Nous aborderons le problème de la modélisation de l'acquisition d'une langue des signes à partir d'une approche expérimentale dans le but de mettre à l'épreuve de manière concrète nos outils d'analyse et de formalisation. Pour cela, nous utiliserons un corpus de séquences vidéo recueilli par Fanny Macé, doctorante à SFL sous la direction de C. Cuxac. Des outils d'annotation de ce corpus seront développés et utilisés par le partenaire « Résurgences » qui possède une expertise dans ce domaine. Un programme informatique sera développé à partir d'une version préliminaire de S. Tronçon (partenaire « Résurgences »), qui a programmé des situations de jeu entre partenaires dont les stratégies sont représentées par des arbres, dont les nœuds sont étiquetés, comme en ludique, par des listes d'actions possibles ou des attentes de telles listes en fonction du signe employé. Des poids sont associés aux choix manifestés à chaque interaction. Il en ressort des itinéraires privilégiés à l'intérieur de l''espace de toutes les séquences action-réaction possibles.
Cette tâche visera donc à étendre les applications de notre conception de l'interaction au cas de l'apprentissage de la langue des signes et sera conduite en étroite liaison avec des membres de l'équipe de Christian Cuxac.

Tâche 2 : Sémantique de l'énoncé, Lexique, Syntaxe Dynamique

2011-03-09T11:22:18Z

Sémantique de l'énoncé

Coordinateur : Alain Lecomte (SFL - Paris 8)
Membres : Myriam Quatrini (IML), Laurent Roussarie (SFL – Paris 8), Claire Beyssade (IJN)
Collaborations extérieures : Aarne Ranta (Göteborg, Chalmers) , Nicholas Asher (IRIT, Toulouse)

Contenu : Travail théorique à partir des approches connues de la sémantique formelle visant à revisiter ces dernières et à proposer des outils plus concrets

L'énoncé est « vrai » s'il existe une procédure P permettant d'extraire à partir de « faits » (localisations en certains lieux) une preuve plausible. La nécessité se définit comme une validité au travers des contextes, l'assertion comme un ancrage valide quelque soit le contexte etc. Applications à la temporalité, à l'espace.
La sémantique de l'énoncé sera vue en discours et en dialogue. De ce point de vue, une comparaison avec la SDRT de Asher et al. sera menée. Les notions de relation rhétorique, de topique, de plan du discours seront revisitées. Les notions mises en avant dans ce projet devraient permettre d'obtenir une théorie du discours et du dialogue faisant l'économie du concept d'intention.

Connaissances lexicales

Un item lexical cristallise du sens antérieurement acquis au cours d'interactions avec de très nombreux contextes et le lexique est la trace de ces interactions, qui ont lieu entre des pré-représentations (sortes de schèmes de questionnement) dans des contextes variés. Il nous semble que ces pré-représentations pourraient facilement être rendues par des c-desseins au sens de Terui. Les lieux y sont remplacés par des actions nommées (pouvant justement correspondre aux primitives sémantiques (type d'action représenté par un verbe...). La normalisation de deux c-desseins est une généralisation par rapport à la réduction des λ-termes. C'est dire qu'elle fait interagir des opérations d'application et d'abstraction généralisées (multi-application et abstraction). Le résultat d'une interaction serait un résidu ou trace, et le lexique serait l'ensemble de ces traces. Cette tâche recoupe des tentatives actuelles qui s'inscrivent à la suite du « Lexique génératif » de James Pustejovsky, notamment menées par Nicholas Asher, Christian Retoré et Bruno Méry. Elle sera conduite par (ou en collaboration avec) eux. On étudiera donc plus spécifiquement l'efficacité des c-desseins pour représenter cette connaissance. Cela ouvre la voie à une conception plus négociée du sens des mots, qui permet de s'éloigner des ornières du sens littéral pour aller davantage vers un sens en contexte, nous donnant ainsi la possibilité de comprendre l'évolution lexicale.