ANR - LOCI

Task 6: Formal questions around ludics

2011-03-15T10:48:41Z

Ludics, coherent spaces and first order

Work in the PRELUDE project raised formal issues incompletely or not at all considered a til now that
we should now deal with. The basic objects of Ludics are chronicles which satisfy certain properties,
the design being a coherent subset and a behaviour a set of designs closed by orthogonality.

ludics, c-designs : c-designs generalize Ludics' designs.

We propose to address the issue of the fragments generated by tree languages whose complexity
analysis, generation, learning is polynomial, like what has been done within the lambda-calculus (cf.
S. Salvati, 2009)

behaviours in Ludics : the concept of incarnation was introduced by J.-Y. Girard to characterize the
subset of designs in a behaviour which minimally defines it. How to characterize such behaviour more
precisely, the intrinsic relationship between incarnation and behaviour, the relationship with the
coherent spaces?
ludics and first-order : the link between Ludics and first order is to deepen after the work of
Fleury and Quatrini. We will in particular consider the case of attribute value structures without
terms, the link between quantification and connectors "with" indexed, and finally the "braiding"
categorical model with first order.

Formal questions around Ludics

Coordinator : Christian Retoré (SIGNES)

Members : Christophe Fouqueré (LIPN), Myriam Quatrini (IML), Marie-Renée Fleury (IML),
Sylvain Salvati (LaBRI), Lionel Vaux, Thomas Seiller (IML)

External collaborators : Paul-André Melliès PPS – Paris 7), François Lamarche (LORIA)

Objectives :

Study of properties of Ludics related to C-designs, the concept of incarnation, first order
Content :

ludics, c-designs : (LABRI) study of fragments that can be generated by tree languages
whose complexity analysis, generation, learning is polynomial
behaviours in Ludics : (LIPN, IML) minimal characterization of incarnation, links with
coherent spaces
Ludics and first order : (SIGNES, LIPN, IML) : Study of attribute value structures without
terms, the link between quantification and indexed connectors "with", "braiding" of categorical
model with first order.

Tâche 6 : Questions formelles autour de la ludique

2011-03-15T10: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.

Task 5: Web communication and ontologies

2011-03-15T10:48:37Z

Web Communication and Ontologies

Divided into two subtasks :

Task 5.1 : From interaction to web languages

Coordinator : Christophe Fouqueré (LIPN)

Members : Pascal Coupey (LIPN), Jean-Vincent Loddo (LIPN), Samuel Tronçon (Résurgences),
Christian Retoré (SIGNES)

Objectives:

Models for interactions at work in the case of web sites and services
Use of these models as type system

Content :

1) (LIPN) Development of a model taking into account precisely all of the interactions at work
for a website: operations on the browser, cloning, case of sharing code between client and server.
2) (LIPN) Adaptation of the theoretical framework of c-designs by incorporating a structure
location (address of ludics) adapted to web pages. Study of the resulting properties (completeness
of rational language over the previous model).
3) (LIPN / Résurgences) Development of a language for describing Web services based on
Ludics. If the methodology is similar to the previous framework (sequences of queries and
answers provide traces of the interaction), the context of web services requires particular
characteristics and purposes: the server can stop interaction (unlike client), ...
4) (LIPN) Comparison of language developed in Section 3 with the current standards (WSDL,
BPEL in particular).
5) (LIPN) Use of these models as a typing system for web programming languages developed in
parallel.

Web Communication

The task 5 concerns the study of communication across the web, either by considering the use of
ontologies or by the use of web sites and services. We shall look for how, in these two frames, the
dialogical approach is at stake, offering a modelling more adapted to these phenomena. We shall
confront the models obtained to those developed in linguistics and in the frame of social interaction
(tasks 1 and 2). It seems to us that the web is the ideal place for that since it naturally integrates
PROGRAMME BLANC
EDITION 2010
Projet XXX
DOCUMENT SCIENTIFIQUE
13/43
language (as a mean of expression), social life (being a place of exchange between persons) and the
machine (as intermediary and artefact).

Tâche 5 : Communication Web et Ontologies

2011-03-15T10: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).

Task 4 : Social Life and Pragmatics

2011-03-15T10:48:31Z

Interaction and social life

Previous results of the PRELUDE project have put ahead the use of ludical concepts to represent
speech acts (Fleury & Tronçon, to appear, Livet, to appear). It is possible to extend this formalization
to other kinds of acts in the social domain. The crucial point of these approaches resides in that they
don't refer to a a priori norm, and they don't consider intention as a primitive. Speech acts are primarily
dialogic : they consist in interactions of designs (that is strategies) of speakers. While existing
approaches in terms of games see things through utility and gain to expect, the ludical approach puts
the emphasis on the structure of a game itself (its "geometry"). A game may then be viewed as a
polarity phenomenon between on one side a set of designs G possessed by one participant and on the
other side a set of designs G possessed by the other participant, that we may presume dual to each
other. A set of designs is the rule for its dual set. For instance, the fact that a speaker has in his or her
game a design that, if played, would constrain the other speaker to give up immediately compels this
second speaker to play some particular design which would prevent the first one from using such a
dissuasive weapon... P. Livet proposed, in this line, solutions for promise and excuse. S. Tronçon and
M-R Fleury have shown how to explain speech acts by means of the expected continuations, thus
avoiding the reference to intention. This project will continue on this line. More particularly, the ethos
of dialogue will be explored, starting from the idea that social actions like promise, excuse but also
solicitation, order etc. obey not to imperatives dictated by some superior instance, but simply obey to
geometrical considerations like symmetry and orthogonality in elementary structures of interaction.
Moreover, we shall appeal to our partner “Resurgences” to make experimentations in social
environment (recordings of dialogues, of interactions in work and/or in training). The concepts,
designs and behaviours, will be compared with others like “obligations” in the so called “geometry of
obligations” (Cardone, 2009) which is nicely represented in the Theory of Categories.

Social Life and Pragmatics

Coordinator : Marie-Renée Fleury (IML)

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

External Collaborators : Jean-Baptiste Joinet (Paris 1), Claire Beyssade (IJN), Laurent Roussarie
(SFL – Paris 8)

Content : the members will start from the work they have already made in the context of Ludics,
They will not only continue the theoretical study of speech acts but also extend this formulation to
other types of acts in the social field. In addition, they use a corpus of discourses and dialogues
obtained by the association Resurgences in order to make a study of concrete cases.

Stages

1 - Deepening the ludical approach to speech acts: interpretation of constants, fax, location, and
main theorems.
2 - Extension of the formalization of the SA to the overall standard classification.
3 - Development of conceptual tools for analyzing SA and the formalization of real situations.
4 - Creation of a corpus of speech acts in situations
5 - Analysis of the corpus and classification of real cases.
6 - Formalization of corpus. Analysis of practices.
7 – Development of tools for helping negotiation, conversational tools etc.

Tâche 4 : Vie sociale et pragmatique

2011-03-15T10: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.

Task 3: Modelisation of the Signs Language Learning

2011-03-15T10:48:34Z

Modeling of learning

As said before, we shall deal with the problem of modelling of a sign language acquisition, starting from an experimental method in the aim of confronting in a concrete manner our tools of analysis and formalization. For that, we shall use a corpus of video-sequences built by Fanny Macé, PhD student at SFL, under the supervision of C. Cuxac. Tools for annotating corpora will be developed and used by the partner “Resurgences” which has an expertise in that domain. A program will be developed from a preliminary version already implemented by Samuel Tronçon (“Résurgences”). S. Tronçon programmed game situations inspired by Ludics. In them, strategies of participants are trees, the nodes of which are labelled by lists of possible actions, depending on the sign. Coefficients are associated to the choices made at each interaction. Preferred itineraries are then detected in the space of all the possible action-reaction sequences.

This task will therefore aim at extending the applications of our conception of interaction to the case of learning without supervision of Sign languages and will be conducted by members of C. Cuxac's team and in coordination with the ANR – Corpus Project Creagest.

Modelling of Sign language learning

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

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

Content : to use a corpus of data collection concerning a young deaf adult from Cambodia and its interactions (1) in new emerging Sign language with his hearing environment (circus school), in iconic sign language with iconic signers of French Sign Language (LSF), where two Sign
languages meet and mutually teach each other. We will encode the exchanges so that they be
workable in terms of the use of a software that handles interactions in games where two players
interact by reacting to the propositions of the other.

The treatment gradually develops lists of constraints so that the more we advance in the
interaction, the more it becomes normalized.

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

2011-03-15T10: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.

Task 2 : Lexical knowledge

2011-03-15T10:48:28Z

Lexical knowledge

As said before, a lexical item crystallizes meaning acquired along interactions with several contexts
and the lexicon is the trace of these interactions which are held between pre-representations (kinds of
questioning schemes) in various contexts. It seems to us that these pre-representations could be easily
rendered by c-designs in Terui's sense. In them, loci are replaced by named actions (which could
correspond to the semantic primitives (cf. types of actions represented by verbs…)). The normalization
of c-designs is a generalization of the reduction of lambda-terms. That says that it makes operations of
generalized application and abstraction to interact. The by-product of an interaction would be a
residual, or trace, and the lexicon would be the set of them. This task concerns present attempts which
follow Pustejovsky's Generative Lexicon, as they are made by N. Asher, C. Retoré and B. Méry. It will
be conducted by (or in collaboration with) them. We shall study more specifically the efficiency of cdesigns
to represent this knowledge. This opens the field to a more negotiated conception of meaning
of words, which allow to keep away from the inconveniences of literal meaning, in order to go more in
the direction of a meaning in context. This allows us to get a better understanding of the evolution of
the lexicon.

Semantics of the utterance

Coordinator : Alain Lecomte (SFL - Paris 8)

Members : Myriam Quatrini (IML), Laurent Roussarie (SFL – Paris 8), Claire Beyssade (IJN)

External Collaborators : Aarne Ranta (Göteborg, Chalmers) , Nicholas Asher (IRIT, Toulouse)

Content : theoretical work starting from the known approaches to formal semantics aiming at
revisiting thm and offering more practical tools. Take for example the notion of epistemic
modality (like in "Paul could be the culprit," Paul may be the culprit here. "). Instead of trying to
define it from possible worlds and orders of preference (A. Kratzer) we will attempt to define it
by means of concepts from the proof-theory. In summary: the statement is "true" if there is a
procedure P to extract a plausible proof from the "facts" (locations in some loci). Necessity is defined as valid across contexts, the assertion as an anchor which is valid whatever the context be
etc.. Applications to temporality, space.
The semantics of the statement will be seen in discourse and dialogue. From this perspective, a
comparison with the SDRT Asher et al. will be conducted. The concepts of rhetoric relations, of
topics, of discourse plane will be revisited. The ideas put forward in this project are expected to
give a theory of discourse and dialogue which makes the economy of the concept of intention.
A book will be drawn from this sub-task.

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

2011-03-09T10: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.