ANR - LOCI

Thème

Fleury Marie-Renée — 2012-02-22T11:43:30Z

Résurgences organise à l'IMERA (Institut Méditerranéen de Recherche Avancée) un workshop de deux jours dans le cadre du projet LOCI (Locativité et Interactivité en logique, linguistique et informatique).

La première journée sera consacrée au thème des interactions sociales (Vie Sociale et Pragmatique). L'étude des actes de langage recouvre une part importante des échanges sociaux, dans lesquels l'attention ne porte pas que sur la capacité d'un message à délivrer une information, mais aussi sur la possibilité d'avoir un impact dans le contexte des locuteurs. Si l'on considère la question du contexte comme étant essentielle à l'interprétation des objets linguistiques, il s'agit donc, au travers des actes de langage, de questionner le lien qui existe entre nos énonciations, l'environnement dans lequel elles sont produites, et l'intersubjectivité. Durant cette journée seront donc présentées des recherches théoriques sur les objets performatifs, ainsi que des analyses plus larges sur l'interaction sociale et linguistique, afin de mettre en perspective interaction de premier niveau (dans la communication) et interactions sous-jacentes faisant intervenir plusieurs échelles de la relation (connaissances, formes et contenus...)

La deuxième journée sera centrée sur le thème de l'apprentissage de la langue des signes. La langue des signes constitue un terrain particulièrement propice pour l'étude de l'apprentissage et de l'interaction du fait de sa nature largement iconique, et de l'importance des phénomènes adaptatifs dans l'interlocution. On pense notamment à la langue des signes émergente, aux situations d'interlocution dans lesquelles deux locuteurs (signants ou non-signants) sont amenés à développer des stratégies de communication et donc à inventer ou transporter des signes hors de leur contexte standard d'interprétation. L'étude de ce type d'interactions, si elle ressort principalement de recherches dans le domaine de la langue des signes ou de la gestualité dans la langue parlée, permet d'ouvrir de nouveaux horizons scientifiques dans l'étude du langage en général, en dépassant notamment certains a priori dûs à la forme de la langue parlée, prise comme" forme normale" du langage.

Ce workshop organisé par l'Association Résurgences s'inscrit dans le cadre du projet LOCI (Locativité et Interaction en linguistique, logique et informatique). Le projet LOCI est soutenu par l'Agence Nationale de la Recherche dans le cadre du programme Blanc qui a pour but de donner une impulsion significative à des projets scientifiques en rupture avec les itinéraires de recherche traditionnels. Ce programme est mené conjointement par Résurgences, le Laboratoire Structure Formelle du Langage de Paris 8, l'Institut de Mathématiques de Luminy (Aix-Marseille, le Laboratoire d'Informatique de Paris-Nord, le Laboratoire Bordelais de Recherche en Informatique - équipe SIGNES, l'Université Queen Mary de Londres.

Statement

Tronçon Samuel — 2011-04-05T17:12:13Z

- Ludique (tutorial) et Sémantique de l'énoncé

Statement

Tronçon Samuel — 2011-09-23T15:01:26Z

- Ontologies and lexical semantics

Statement

Tronçon Samuel — 2011-10-21T11:50:00Z

There has recently been a surge of interest in the use of rich type systems (with, variously, record types, subtyping, and/or dependent intersections) in order to express various linguistic phenomena at various levels : subsententially there are applications to lexical semantics, sententially one sees accounts of syntax, and in the realm of which is traditionally called pragmatics one finds accounts of dialogue that are markedly more subtle than the usual pragmatic treatment. Something is surely being done right.

Questions, however, remain. Scope, and other syntactic issues, still seem to be quite tricky, and the complexity of the type systems that are being used makes it difficult to say whether the difficulties are problems in principle or merely problems of implementation. The question of the semantics of these systems — that is, semantics in the everyday sense, rather than semantics in the sense of model theory — remains largely unexamined, and the field remains quite open : it is not clear whether we need a semantics in the traditional sense (possibly enriched with vector spaces or the like), or whether proof theory might not be a more suitable way of connecting these formalisms to the observed phenomena of linguistics. Proof theory seems, prima facie, to be more philosophically appealing, but at the cost of greater technical difficulty. Finally, there is the question of how these approaches are connected with more algebraic approaches to syntax, which also have their appeal.

All of these considerations, furthermore, are quite high level, and do not lead directly to concrete models of language or language processing. Girard's theory of ludics has also enjoyed considerable interest, not least because it is a theory which seems to be descriptively very capable but whose foundations are very simple and very low-level. It could, then, either illuminate or short-circuit many of the above quarrels.

This workshop will explore these problems in some depth, endeavouring to respect both the technical issues and the empirical reality of linguistics : we have assembled a group of speakers of a variety of backgrounds but all of them with something to say to each other.

Statement

admin — 2011-05-13T13:40:40Z

LOCI (”Locativité et Interaction en Logique, Langage et Informatique”) s'inscrit dans une perspective résolument pluridisciplinaire, qui concerne à égalité :

l'informatique, dans ses aspects pratiques et ses liens avec la logique,
la linguistique,
les sciences humaines et sociales
la philosophie

Il figure en section SIMI (”Sciences de l'Information, de la Matière et de l'Energie”, sous-section ”Sciences de l'Information, Simulation”) qui s'avère être un lieu d'interdisciplinarité central sur ces domaines. LOCI prend la suite d'un précédent projet financé par l'ANR Blanc (de 2006 à 2009), PRELUDE : vers une pragmatique théorique basée sur la ludique et la théorie des continuations. Le programme PRELUDE a permis :

de faire de nouvelles propositions pour le calcul des représentations symboliques du discours, par utilisation des théories des continuations, et particulièrement, des calculs dits ”symétriques” inventés pour rendre compte de ces concepts informatiques, comme le λμ-calcul, λμμ ̃-calcul de respectivement M. Parigot et P-L. Curien et H. Herbelin,

d'explorer les possibilités de la ludique (J-Y. Girard) afin d'aller plus loin grâce à des outils permettant de représenter non seulement le discours mais le dialogue, non seulement une vue statique sur ce dernier, mais une vue dynamique.

La ludique, en tant que formalisme inventé par J-Y. Girard afin de fournir un soubassement fondationnel aux opérations de la logique usuelle, s'est avérée un outil précieux pour penser tout ce qui, dans la langue, est du domaine de l'interaction, notion centrale présente déjà dans les travaux de nombreux linguistes, de Bakhtine à Ducrot et de Kempson à Pinker. En plac ̧ant l'interaction au coeur de la logique, la ludique permet de proposer de nouvelles formulations aux thèses qui ont pu être celles de ces différents auteurs (dialogisme, polyphonie, syntaxe dynamique, interactionnisme cognitif). Elle peut permettre même d'aller plus loin en proposant une base unifiée à l'étude des phénomènes de langage du point de vue du sens et de l'action (sémantique et pragmatique), sur une voie qu'on peut rapprocher en philosophie de celle suivie par R. Brandom dans Articulating reasons et Making It Explicit. En d'autres termes, elle permet d'envisager une formalisation d'une sémantique inférentialiste par opposition à la sémantique référentialiste usuelle.

Cette voie a commencé d'être explorée particulièrement à propos de l'analyse de l'argumentation (retour sur les fallacies d'Aristote, revues notamment par C. L. Hamblin, analyse des stratagèmes de Schopenhauer), de la présupposition et des actes de langage. A bien des égards, le point de vue théorique développé dans LOCI peut être rapproché du paradigme de la signification comme preuves (tel que développé notamment par M. Dummett, P. Martin-Löf, A. Ranta) puisque les concepts premiers que nous utilisons, les desseins, dans une certaine lecture, peuvent être vus comme des preuves. Toutefois, ils peuvent aussi être vus comme des stratégies dans des jeux de langage au sens de Wittgenstein. Cette combinaison de deux aspects dans un même objet est ce qui permet d'ouvrir des perspectives intéressantes : d'un côté, un énoncé peut être vu comme une construction et donc comme une preuve, et de l'autre comme une stratégie mise en place afin de répondre aux contre- énoncés qui apportent des objections. L'idée défendue dans le projet est que la confrontation dialectique est à la source de l'articulation logique de l'énoncé (davantage que les règles d'une grammaire a priori).

Dans ce nouveau projet, nous envisageons à la fois d'entamer des travaux sur les prolongements actuels des concepts de la ludique et de mener des recherches transversales sur d'autres approches formelles qui nous semblent particulièrement adaptées à l'étude des processus et de leur interaction (espaces de cohérence, théorie des types avec « record », modèles catégoriques et ”tressage” avec le premier ordre).
Ces questions propres à la logique et à ses aspects computationnels seront abordées en regard des domaines des sciences humaines plus particulièrement étudiés comme : la sémantique lexicale, la prise en compte de la syntaxe dynamique. la problématique de l'interaction telle qu'elle apparâıt dans l'acquisition d'une langue des signes et la communication par le web, en tant que cadre fermé permettant de rendre compte de la pertinence d'une démarche logique basée sur l'interaction.

Statement

Winterstein Grégoire — 2012-01-10T18:56:04Z

La journée se tiendra dans les bâtiments de l'ENS, au 24 rue Lhomond en salle L380 (anciennement T15).

Par de nombreuses voies, la question aujourd'hui d'une sémantique des preuves en tant qu'opposée à une sémantique des modèles se trouve posée.

Cette idée se trouve présente dans la lignée des travaux de P. Martin-Löf sur la théorie des types, de ceux de Girard sur la logique linéaire et la ludique ou de ceux de R. Brandom concernant une sémantique inférentialiste.

Il apparaît dans ces approches des prises en compte des modalités qui ne requièrent pas la notion de monde possible. Chez Brandom notamment, les modalités sont essentiellement des manières d'expliciter des prises d'engagement dans un jeu d'offre et de demande de raisons qui est présenté comme constitutif de l'activité langagière.

Cette journée a pour but de faire le point sur les modalités et de les
envisager sous ce jour nouveau, à l'écart de tout réalisme modal.

Statement

2014-02-28T09:47:16Z

Joint meeting of ANR LOCI (Locativity and interactivity in logic, linguistics and theoretical computer science) and ANR POLYMNIE (Parsing and synthesis with abstract categorial grammars. From lexicon to discourse)

Precise location : Toulouse, Université Toulouse Capitole, Salle Bâtiment Arsenal salle J002.

Topics :

Lexical semantics in compositional semantics
Lexical pragmatics, word meaning in context
Connections bewteen distributive semantics and compositional semantics
Existent lexical networks
Acquisition of a lexicon
Relation to ontologies
Lexicon for syntaxic and semantic analysis

Other participants :

Philippe de Groote (Nancy)
Pierre Livet (Aix-Marseille)
Juliette Conrath (Toulouse)
Philippe Muller (Toulouse)
Myriam Quatrini (Aix-Marseille)
Sylvain Pogodalla (Nancy)
Stergos Afantenos (Toulouse)
Farah Benamara (Toulouse)
Eugenia Sironi (Marseille)
Pierre Bourreau (Tübingen)
Maxime Amblard (Nancy)

Programme préliminaire

2014-06-19T10:44:57Z

Thursday, June 26th

09h30 : Opening : Themes of these days
10h15 : Alain Lecomte : Ludics and modelisation of Socratic dialogues
11h00 : coffee break
11h15 : Michele Abrusci : Incompleteness theorems and Transcendental Syntax
12h00 : Mathieu Marion : Dialogue, dialectics, and inferentialism

12h45 : lunch

14h30 : Alberto Naibo : From axioms to computation : A philosophical account of geometry of interaction 15h15 : Paolo Pistone : Rules, types and the transcendence of second order logic 16h00 : coffee break 16h15 : Giuseppe Primiero : Resources based interpretation of Ludics 17h00 : General Discussion

Friday, June 27th

09h30 :Laurent Keiff : Modalities, Proof theory and Ludics
10h15 : Frederic Nef : Relation and Connection
11h00 : coffee break
11h15 : Michele Basaldella : Ludics without designs
12h00 : Arnaud Valence : Towards a Transcendental Euristics

12h45 : lunch

14h30 : Daniele Porello : TBA
15h15 : Pierre Livet : The notion of incompatibility in Brandom's inferentialism
16h00 : coffee break
16h15 : Samuel Tronçon : Ludics and Social Interaction
17h00 : General Discussion

Programme

Winterstein Grégoire — 2012-01-10T18:56:32Z

Vous trouverez ci-dessous le programme de la journée.
10h00 : Alain Lecomte - Introduction
10h30 : Alda Mari - "Les modalités : opérateurs ou prédicats ?"
12h00 : Pause déjeuner
13h30 : Daniele Porello : "Notes on dialectical pragmatism"
15h00 : Pause
15h30 : Grégoire Winterstein : "Ludique et Projection"

- Modalities and commitments

Programme

Fleury Marie-Renée — 2012-02-23T14:47:01Z

Jeudi 5 Avril : Vie sociale et pragmatique

9h30 Accueil

.........................................

10h - 12h Philippe Blache (LPL)

Pause déjeuner

14h - 15h Claire Beyssade (Institut Jean Nicot) :

"Les questions au coeur du dialogue".........................................

15h - 16h Myriam Quatrini (IML) / Christophe Fouqueré (LIPN) :

"Modélisation de l'argumentation en Ludique"

(Résumé ci-dessous)

Pause

16h30 - 17h30 Pierre Livet (CEPERC)

Modalités, ludique et actes de langage .........................................

17h30 - 18h30 Samuel Tronçon (Résurgence) : les projets en cours

Vendredi 6 Avril : Langue des Signes

9h30 Accueil

.........................................

10h - 12h Christian Cuxac (Paris 8)

Pause déjeuner

14h - 15h Marie-Thérèse L'Huillier (Paris 8) :

"Comment faire évoluer les troubles de l'attention visuelle
chez l'enfant sourd ?"

Pause

15h30 - 16h15 Fanny Macé (Paris 8)

Limitation dans l'interaction dans la langue des signes émergente .........................................

16h15 - 17h Loïc Kervajan (TALEP, LIF-Marseille)

"Une approche de la décomposition morphosyntaxique de la LSF, au service du discours métalinguistique."

Pause

17h30 Table ronde

Résumés

Claire Beyssade (Institut Jean Nicot) :

"Les questions au coeur du dialogue"

Résumé :
Je commencerai par rappeler la part croissante prise par l'étude des
questions en sémantique et en pragmatique formelles et je montrerai en quoi
les travaux récents (comme ceux de Roberts, Büring ou Ginzburg sur le
dialogue ou ceux de Groenendijk et al. sur Inquisitive Semantics) ont
conduit à faire des questions, qu'elles soient implicites ou explicites, le
pivot de la gestion des dialogues et à repenser ce qu'est le sens d'un
énoncé en distinguant des contenus sémantiques multiples, remplissant des
fonctions dialogiques différentes. Je discuterai particulièrement deux
points :
– le rapport entre contenu at issue et question en discussion

– le lien entre biais et négation dans les questions, mais aussi dans les
réponses.

Christophe Fouqueré et Myriam Quatrini :

Modélisation de l'argumentation en Ludique

Résumé :
Ces dernières décennies, de nombreux travaux ont porté sur la formalisation des dialogues soit dans un cadre logique, soit en théorie des jeux. Nous reprenons l'approche initiée par Lecomte et Quatrini en proposant une formalisation des dialogues dans le cadre de la théorie de la démonstration, et plus précisément en Ludique. Le fait que la Ludique permette une reconstruction de la logique et qu'elle puisse s'interpréter dans le cadre des jeux en ayant l'interaction comme principe fondamental justifie ce choix pour une étude de l'argumentation.
La représentation des dialogues et des controverses s'appuie sur une notion
d'acte de dialogue. Un acte de dialogue, suivant en cela Landragin, est une "unité minimale de communication dans un contexte dialogique". Il est ancré sur une expression langagière et ouvre les lieux de continuation du dialogue. Nous ébauchons une formalisation des actes de langage présents dans les controverses comme structures séquentielles construites à partir d'actes de dialogues. Nous appliquons ce cadre au cas spécifique des dialogues juridiques en reprenant un exemple proposé par Prakken.

Marie-Thérèse L'Huillier (Paris 8) :

"Comment faire évoluer les troubles de l'attention visuelle chez l'enfant sourd ?"

Résumé :
Dans cet exposé, je présenterai l'analyse
longitudinale et transversale d'une expérimentation des activités
perspectives et interactives avec le pointage et la visée "donner à
voir"

Pierre Livet (CEPERQ, Aix en provence) :

"Modalités, ludique et actes de language"

Résumé :
On peut penser les modalités comme des couples entre un amont et un aval, chacun d'eux pouvant soit être restreint par des contraintes (en amont ou à gauche) ou par une sélection (en aval ou à droite), soit amener à envisager plusieurs états (en amont, c'est un choix ad libitum, et aval cela oblige à tout envisager). On peut former des paires de tels couples, chaque appariement pouvant donner un sens un peu différent aux couples et désigner des duos différents de modalités. Il est possible de redécrire les règles positives et négatives de la ludique selon ces termes. On peut alors envisager comme en ludique des interactions, cette fois non seulement entre mêmes lieux en amont et en aval, mais entre deux duos. Il se révèle que nous pouvons formuler les conditions des actes de langage par les interactions entre un duo donné et les trois autres duos qui peuvent converger avec lui.

Loïc Kervajan (TALEP, LIF-Marseille)

"Une approche de la décomposition morphosyntaxique de la LSF, au service du discours métalinguistique."

Résumé :
L'enseignement du français écrit à de jeunes sourds peut être en
lui-même
source d'échec lorsqu'il se fait d'emblée par l'utilisation du
discours
métalinguistique sur le français. Or, il semble très compliqué pour un
locuteur d'appréhender l'exercice du discours métalinguistique (en tant
que
tel) si ce dernier ne renvoie pas à une langue qu'il maitrise, qu'il
manipule couramment. Par contre, la maitrise de cet exercice peut l'aider
dans l'apprentissage d'une langue seconde. Si passer par cette maitrise
n'est pas indispensable pour un entendant, puisqu'il est possible
d'acquérir une seconde langue simplement par immersion linguistique (donc
par répétition), cela devient une aide très précieuse pour un Sourd
puisque
l'immersion linguistique est impossible à réaliser. Aujourd'hui, les
enseignants de français pour les Sourds sont rarement Sourds eux-mêmes,
sont rarement couramment bilingues et, pour la plupart, utilisent quelques
gestes désordonnés pour accompagner leur démonstration « orale »
de français
signé. La LSF n'est alors jamais utilisée comme référentiel
à partir duquel
analyser des mécanismes morphosyntaxiques pour
en comprendre d'autres en français.

Dans cette présentation, je proposerai une approche descriptive de la LSF
donnant une autre vision de la richesse de cette langue, tantôt perçue - à
tord - comme moins structurée qu'une langue comme le français, tantôt
perçue comme tellement différente - voir plus riche sous certains aspects -
qu'une langue vocale que la comparaison serait hasardeuse. Pourtant, je
montrerai jusqu'à quel niveau de complexité structurelle la description
morphosyntaxique d'énoncés courts de la LSF peut nous entrainer, avec la
mise en lumière de mécanismes de contraintes d'accord particuliers.
J'évoquerai également en quoi la comparaison linguistique peut être
pertinente dans le cadre de l'apprentissage d'une langue seconde, même si
la langue première est la LSF.

Les conférenciers invités

Christian Cuxac : Professeur, Paris 8 - chercheur à l'UMR : SFL
(Structure Formelle du Langage)

Marie-Thérèse L'Huillier : Ingénieure d'étude,
CNRS-Paris 8

Philippe Blache : Directeur de Recherches, Laboratoire Parole et Langage,
Aix en Provence

Claire Beyssade : chargée de recherche à l'Institut Jean Nicot (ENS Paris)

Pierre Livet : professeur émérite de l'université de Provence,
chercheur
au CEPERC (Centre d'EPistémologie et d'ERgonomie Comparatives)

Myriam Quatrini : Maître de conférences, Aix-Marseille Université,
chercheur à l'IML (Institut de Mathématiques de Luminy)

Christophe Fouqueré : Professeur d'Informatique à l'université
Paris 13,
chercheur au LIPN (Laboratoire d'Informatique de l'université Paris Nord )

Fanny Macé : doctorante au laboratoire SFL (Structure Formelle du Langage),
Paris 8

Loic Kervajan : Post-doc dans l'équipe TALEP du LIF

Programme

Tronçon Samuel — 2011-04-04T14:42:27Z

Jeudi 20 janvier

9h30 : Ludique : cours introductif par Lionel Vaux (IML)
11 h : pause café
11 h 20 Suite
12h30 : repas
14 h : Introduction aux c-desseins par Christophe Fouqueré (LIPN)
15h30 : pause
16 h : Ludique et Dialogues, et quelques applications par Myriam Quatrini (IML)

Vendredi 21 janvier

9 h 30 : Propositions pour une s ́emantique inf ́erentialiste de l' ́enonc ́e par Alain lecomte (SFL)
10h30 : pause
11 h : Logical constant from a Computational Point of View : Towards an Untyped Setting par Alberto Naibo (Paris 4), Mattia Petrolo (Paris 4) et Thomas Seiller (IML)
12h30 : repas
14 h Table ronde animée et introduite par Samuel Tronçon (Résurgences)

Programme

admin — 2011-05-13T13:36:38Z

9h30 : Présentation du projet par Alain LECOMTE (SFL-Paris 8-CNRS), coordinateur
10h 15 : Intervention de madame Nadia NADAH, assistante de projet à l'ANR
10h 35 : pause café
11h : Intervention de Prof. Michele ABRUSCI (Rome 3), l'intérêt du projet du point de vue
des travaux sur la communication Web et les ontologies
11h 45 : Intervention de Prof. Christian CUXAC (Paris 8), l'intérêt du projet du point de vue
de la modélisation des processus d'apprentissage interactif en langue des signes
12h30:Intervention de Prof.RuthKEMPSON (King'sCollege,London),l'intérêt du projet
du point de vue de la modélisation de la syntaxe dynamique
13h 15 : fin des exposés du matin
L'après-midi est consacrée à une réunion d'organisation interne.

Programme

Tronçon Samuel — 2011-09-23T14:45:48Z

Friday, September 30, morning

9h.00-10h00 : Alain LECOMTE (SFL, Université Paris 8)
Introduction aux problèmes de lexique
10h00-10h30 : Coffeebreak
10h30-11h30 : Marco ROMANO (Università Roma Tre & Epistematica Srl)
Ontologies, Logic and Interaction, 1. Approaches to Semantic Web : From lexical semantics to geometrical compatibility
11h30-12h30 : V. Michele ABRUSCI (Università Roma Tre)
Ontologies, Logic and Interaction, 2. Open questions and new research perspectives

Friday, September 30, afternoon

15h00-16h00 : Pierre LIVET(Université de Provence)
Ludics as a process of making explicit and interactive ontological types
16h00-17h00 : Claudia CASADIO (Università di Chieti-Pescara)
Ontologies in Linguistics and Psychology : Theoretical models and open problems
17h00-17h30 : Coffeebreak
17h30-18h30 : Remo PARESCHI (Università del Molise)
An inside-out perspective on lightweight ontologies

18h30-19h30 : First general discussion. Chair : Christophe FOUQUERÉ (LIPN, Université Paris 13)
Ontologies et sémantique lexicale

Saturday, October 1, morning

9h00-10h00 : Aldo GANGEMI (ISTC, CNR, Roma)
Some design patterns for the ontology-lexicon interface over the Web
10h00-10h30 : Coffeebreak
10h30-11h30 : Richard MOOT (LaBRI, Université de Bordeaux)
Syntax, semantics, and pragmatics in a unified type theoretical framework
(Joint work with Laurent Prévot and Christian Retoré)
11h30-12h30 : DanielePORELLO (University Amsterdam)
Ontology Merging as Social Choice

Saturday, October 1, afternoon

15h00-16h00 : Monica MONACHINI (ILC, CNR, Pisa)
Towards interfacing lexical and ontological resources
16h00-17h00 : Samuel TRONÇON (Groupe Résurgences / IML)
Diffusion et infiltration dans les réseaux sociaux
17h00-17h30 : Coffeebreak
17h30-18h30 : Final general discussion. Chair : Claire BEYSSADE (Institut Nicod, Paris)
Ontologies et sémantique lexicale

Programm

Tronçon Samuel — 2014-06-23T11:24:55Z

Program

Monday morning

9:30 Presentation of the workshop
10-10:50 Sylvain Salvati (INRIA & LABRI - Bordeaux) Simple account of basic lexical semantics
pause 20'
11:10-12 Tim van de Cruys (CNRS - IRIT - Toulouse) Word vectors, distributional similarity and applications

Monday afternoon

14 14:50 Veronika Lux (CNRS - ATILF - Nancy) Introducing the French Lexical Network
14:50 15:40 Mathieu Lafourcade & Manel Zarrouk (U. Montpellier 2 - LIRMM) Deductive and inductive inferences from JeuxDeMots, a game-acquired lexicon
pause 30'
16:10-17 Mickael Zock (CNRS - LIF - Marseille) How to help authors to overcome the Tip-Of-the-Tongue problem : lexical graphs (or associative networks) and some inherent problems
17 -17:50 Bruno Gaume (CNRS - CLLE - Toulouse) A robust metrology of lexical networks based on random walks in lexical relations

Tuesday morning

Nathalie Aussenac-Gilles (CNRS - IRIT - Toulouse) Ontologies, texts and the lexicon
pause 20'
10:40-11:30 Alain Lecomte (U. Paris 8 & SFL) Ludics and the lexicon
11:30-12:20 Christophe Fouqueré (U. Paris 13 & LIPN) About Coherence Use in Natural Language

Tuesday afternoon

14-14:50 Robin Cooper (U. Göteborg) Types, judgements and lexical meaning
14:50-15:40 Nicholas Asher (CNRS - IRIT - Toulouse) Word meaning in context : semantic approaches based on type theory
pause 30'
16:10- 17 Zhaohui Luo (Royal Holloway College, U. of London) Modern Type Theories and Montague Semantics : Comparisons and Beyond
17-17:40 Christian Retoré (U. Bordeaux 1 & IRIT - Toulouse) Compositional semantics and lexical pragmatics in type theory
17:40-18 Tim van de Cruys (CNRS - IRIT - Toulouse) On the convergence between compositional semantics and distributional semantics : A Tensor-based Factorization Model of Semantic Compositionality

Wednesday morning

9:30-10:20 Laurence Danlos (U. Paris 7 & INRIA) Problems at the syntax-semantics interface with adverbial connectives
pause 20'
10:40-11:30 Richard Moot (CNRS - LaBRI - Bordeaux) Wide-coverage semantics applied to temporal ordering and presupposition
11-:30-12:20 Reinhard Muskens (U. Tilburg) Names

Wedesday afternoon

Discussion of the projects Polymnie and LOCI, prospect for national and international projects.

Lieu et Accès

Fleury Marie-Renée — 2012-02-22T11:43:52Z

La conférence a lieu à l'IMéRA (Institut Méditerranéen de
Recherches
avancées, www.imera.fr,
dans les locaux de l'ancien observatoire de Marseille, situé à côté
du
Palais Longchamp, à deux pas du centre, très accessible par métro direct
depuis la gare Saint Charles, tram et bus (le 81)depuis la Canebière.

Toutes les indications (plan, ...) pour se rendre à la conférence sont sur le
site de l'IMéRA :www.imera.fr

L'accès aux conférences est libre, mais *vous devez vous inscrire*
auprès de Marie-Renée Fleury en envoyant un mail à *fleurymr@gmail.com* indiquant vos nom, prénom, institution, et vos dates prévues d'arrivée et de départ.

Hôtels

Fleury Marie-Renée — 2012-02-23T14:42:47Z

Hôtels à proximité de la gare

Hôtel Vertigo

42, rue des Petites Maries - 13001 Marseille -

Téléphone : 04 91 91 07 11

Chambre double : 55 euros

Chambre collective (partage de chambre, 2, 3, 4 lits) : 23,50 euros par
personne

www.hotelvertigo.fr/

Hôtel Terminus

1, Place des Marseillaises. 13001 Marseille.

Tél : 04 91 90 70 59

Chambre. 45 / 50 Euros.

www.hotel-beaulieu-marseille.com/

Azur Hôtel

24, cours Franklin Roosevelt. 13001 Marseille

Tél : 04 91 42 74 38

Chambre. 57 Euros

Petit déjeuner. 7 euros

www.azur-hotel.fr/

Hôtels à proximité du Vieux Port

Etap Hôtel

46, rue Sainte. 13001 Marseille

Chambre. 57 Euros

Petit déjeuner. 7 euros

www.etaphotel.com/fr

Europe Hotel Vieux Port

12, Rue Beauvau. 13001 Marseille.
Tél : 04 91 33 65 64

Chambre. 60-70 Euros

Petit déjeuner. 7 euros

www.europehotelmarseille.com/

Hotel du Sud

18, rue Beauvau. 13001 Marseille.

Tél : 04 91 54 38 50

Chambre.

Petit déjeuner.

www.hoteldusud.com/

Hôtel Carré Vieux Port

6, rue Beauvau. 13001 Marseille.

Tel. : 04 91 33 02 33

Chambre. 68-86 Euros.

Petit Déjeuner compris.

www.hotel-carre-vieux-port.com/

Journée "Musique, dialogue, interaction"

2014-02-28T09:43:45Z

L'ANR LOCI a le plaisir de vous annoncer sa
prochaine journée d'études le 07 janvier 2013 prochain sur le thème
"Musique, dialogue, interaction".

Session du matin : Salle des actes (45, rue d'Ulm) :

10h - 11h : Ruth Kempson : "Language, music and interaction"
11h - 12h : Jonathan Ginzburg : "Speech stream compositionality"

Session de l'après-midi : Salle de séminaire IJN/LSCP (29, rue d'Ulm) :

14h - 15h : Alain Lecomte, Myriam Quatrini, Christophe Fouqueré : "La ludique, confrontée à la théorie du dialogue et à la syntaxe dynamique"
15h : discussion générale

Program

admin — 2011-05-05T09:28:33Z

The workshop will be held at the amphithéâtre Geny, rez-de-chaussée de la Faculté de Droit (13 place Carnot, 54000 Nancy) from 10:30 to 18:30, Thursday, July 21st

10h 30 : Presentation of the LOCI project (Alain Lecomte)
11h : Tutorial on Ludics (Lionel Vaux)
12h30 : pause lunch

14h : Towards Formal Pragmatics based on Ludics (Alain Lecomte and
Myriam
Quatrini)
15h : Applications to the web and the problem of ontologies (Christophe
Fouqueré)
16h: pause
16h 30 : Quantifiers from an interactive perspective (Christian Retoré
and
Michele Abrusci)
17h 30 : Proto-logical origins of logic (Jean-Baptiste Joinet)
18h30 : END

Program

2011-10-21T11:57:47Z

Thursday, the 16th of March

09:30 : Aarne Ranta. Machine Translation, Type Theory, Dependent Types.

10:20 : Alain Lecomte. Paraproofs as meanings.

Coffee (30 min)

11:30 : Robin Cooper. Dependent types in TTR.

12:20 : Myriam Quatrini & Eugenia Sironi. Records in Ludics.

Lunch (1 hour)

14:00 : Graham White. Linearity, Non-Linearity and E-Type Phenomena.

14:40 : Jonathan Ginzburg. Integrating multimodality into a type theoretic model of learning in dialogue.

15:30 : Wilfried Meyer-Viol. Linguistic interpretations of records and dependent types.

Tea (30 min)
16:40 : Christophe Fouqueré. Coherence Use in Natural Language.

17:20 : Samuel Tronçon. On concepts and how they evolve.

19:00 : Dinner.

Friday, the 17th of June

09:30 : Mehrnoosh Sadrzadeh. Theory and Practice of a Categorical Compositional Distributional Model of Meaning.

10:10 : Shalom Lappin. Type Theory and Distributional Models of Meaning.

Coffee (20 min)
11:10 : Zhaohui Luo. Type-theoretical semantics with coercive subtyping.

11:50 : Glyn Morrill. CatLog and categorial parser/theorem proving.

Lunch (1 hour)
13:30 : Peter Ljunglöf. Editing Syntax Trees on the Surface.

Alex Clark. Residuated lattices in syntactic description.
14:10 Ellen Breitholtz.Enthymemes and Lexical Interpretation.
14:50 Tea (30 min)
16:00 : Staffan Larsson. Perceptual types.
16:40 : Tim Fernando. Beneath types and proofs ?

Statement

admin — 2011-05-05T09:30:24Z

Logic

The purpose of this symposium is to present works on a new possible way of re-building Logic and re-thinking Language starting from the concept of interaction, in the frame of Ludics, a pre-logical formalism invented by J-Y. Girard. Ludics has appeared in 2001 in the continuation of Girard's researches on Geometry of Interaction. It is linked, on one side, to the works on focalisation of proofs in linear logic (a discovery made by J-M. Andréoli at the beginning of the nineties) and, on another side, to a deeper approach of the notion of proof-net. As is well known now, the techniques of proof-nets provide a way of objectivizing proofs, simply as geometric devices (graphs) on which criteria (like acyclicity or connectedness) are checked. Following these techniques, proofs revealed to be less based on formulae (and sequent rules) than on locations where connections can be made. Moreover, the provability is shown by completely different means than explicit derivability rules. The first researches which were held on Ludics actually concerned its links with proof-nets.
It has also been possible to establish a relation with coherent spaces, which provide a semantics for linear logic.
Ludics also provides a convenient frame to rebuild a second-order logic (of the F-system kind), while the question of the first-order is still open : to recast these questions in a more interactive frame is a challenge and will be particularly put in light on the question of generalized quantifiers.
Because they are based on a « localist » conception according to which the rules are defined on directories of addresses instead of being defined on formulae, the methods of Ludics allow one to reconstruct formulae and connectives by means of interaction between designs (trees built by using rules), which, in the same movement, gives an interactionnist view on meaning.
K. Terui, by extending a presentation of Ludics by Curien, has proposed a relation with the theory of formal languages : c-designs are computational versions of Girard's designs which allow one to rebuild all the concepts of the classical computability theory.

Natural language, meaning and Learning

Beyond the theoretical objectives aforementioned, the use of the ludical concepts will be shown, on domains like languages (natural as well as artificial ones, the later being for instance the web languages) and modelling of learning in interactive situations.
This symposium will particularly rest on the results obtained during the PRELUDE project, which was funded by the French National Agency for Research from 2006 to 2009, and on the works presently done in the continuation of this project, the LOCI project, funded by the same agency for the period between 2010 and 2014. These works have concerned theoretical pragmatic (particularly applied to the theory of dialogue) and the semantic of natural language. By completing the approaches known under the name of « proofs as meanings », as they have been proposed by Aarne Ranta, elaborating on Martin-Löf's Type Theory, they are based on the concept of « design » which is an extension of the concept of proof, including the dual notion of « counter-proof », and allows one to rigorously define a notion of interaction, via a normalisation procedure applied to a net of designs. This notion provides a basis of a possible representation of dialogues (in argumentation theory for instance), as well as a basis for expressing the representational content of utterances from a dialogical perspective, a conception which is developed in the frame of Brandom's inferentialism.
Speech acts, assertion and negation and the use of quantificational expressions in ordinary language will be addressed.

Artificial languages

Moreover, interaction is the core of web applications. From its very beginning, the installation of the web has facilitated use and distribution of resources across the Internet. Two particular aspects are studied and will be taken into account during the symposium:
From interaction to web languages
Programming languages adapted to the web, as well as software libraries have to integrate the client-server paradigm to be useful in web situations. Previous approaches (even those based on continuations) don't allow to apprehend the particular dialogues, before making explicit the closure of the dialogues accepted by a program, that is its type. This stage becomes necessary for web services where it is a set of trees of potential exchanges which allows the best to characterize programs. The classical way for dealing with web services, which starts from a language of description of contracts to type the interactions, does not take into account all the procedural situations. It is suggested that interaction be the elementary principle from which programming concepts are redefined.
Ontologies and folksonomies
Semantic Web is the initiative supported by the W3C that aims to make the WorldWideWeb a place of interaction among machines — or at least among their representatives'' known as autonomous agents -- thanks to the exchange oflabelled'' data. It is clearly something more complex and more interesting than today's Web, which allows only for the exchange of files and ``raw'' data that machines simply display on a monitor.
However, while the top-down approach of the Semantic Web initiative looks like being too close to Artificial Intelligence, the bottom-up practices of Web2.0 lack any theoretical set-up to be really useful for autonomous agents' operations.
The geometric framework of Linear Logic is well suited for that purpose. The web situation may be studied by using Ludics concepts, the aim being not only to model the structure but also the operations.