ANR - LOCI

Winterstein Grégoire

2012-01-10T18:16:20Z

Post-doctorant au sein de l'ANR Loci (laboratoire SFL-Université Paris 8),
a soutenu sa thèse de linguistique formelle en 2010 sur le thème de l'interprétation probabiliste des marqueurs de discours dans le cadre de la
théorie de l'argumentation dans la langue. Plus généralement, il s'intéresse aux questions de pragmatique formelle : projection de contenus, dérivation d'inférences et interaction de différents niveaux de sens dans l'interprétation d'un énoncé.

- Membres

White Graham

2011-03-09T10:21:42Z

• née le 26 avril 1951

de nationalité britannique
D. Phil. In Mathematics, Oxford, Nov. 1982, thesis on “The Arithmetic of Prym Varieties” under Michael Attiyah
S. M. In Mathematics, MIT, juin 1975
Commitee member of UK Computing Research Challenge 5, “Architecture of Brain and Mind”
Member of the London Mathematical Society and of the American Philosophy Association
Lecturer at the Department of Computer Science, Queen Mary, University of London

Bibliography :
Contex for Human Action” in Erol Gelenbe, Samson Abramsky and V. Sassone (eds) visions of Computer Science (British Computer Society, 2008)
Causality, Modality and Explanation, Notre Dame Journal of Formal Logic, 49, 2008
Davidson and Reiter on Actions, Fundamenta Informatica, 2007
The Philosophy of Programming Languages in Floridi (ed) The Blackwell Guide to the Philosophy of Computing and Information, Blackwell, 2003

Vaux Lionel

2011-05-09T14:35:42Z

Maître de conférences en mathématiques à l'université de la Méditerranée depuis septembre 2009.
Lionel Vaux rejoint l'équipe LDP de l'IML après une thèse de mathématiques, suivie d'une année d'ATER en informatique à l'université de Savoie.
Projets membre du groupe de travail Geocal du GDR Informatique Mathématique. membre des projets Choco, Logoi et Loci de l'ANR. coordinateur du projet QuAND, sur un financement PEPS de l'INS2I.

- Membres / Questions formelles autour de la ludique, Institut de Mathématiques de Luminy

Tronçon Samuel

2011-03-09T10:20:47Z

Publications récentes :
Jean-Baptiste Joinet, Samuel Tronçon (éditeurs). Ouvrir la logique au monde : philosophie et mathématique de l'interaction. Hermann. 2009. Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon. Dialogues in Ludics. Actes des rencontres PRELUDE à Pauillac. 2010. Frédéric Pascal, Samuel Tronçon. Dynamique du langage et ontologie. Actes des journées de Rochebrune. Paris : Telecom ParisTech. 2009 Samuel Tronçon. Éléments de sémiotique cognitive. In « Ouvrir la logique au (…)

- Membres / Coordination, Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Modélisation de l'apprentissage de la langue des signes, Vie sociale et pragmatique, Communication Web et Ontologies, Résurgences

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.

Structures Formelles du Langage

2011-03-09T10:22:15Z

SFL est une Unité Mixte de Recherche (UMR 7023) assurant la recherche et la formation à la recherche sur les 3 thématiques suivantes : la linguistique théorique (phonologie, syntaxe, sémantique), les langues des signes, et l'acquisition et le développement du langage.

Au sein du laboratoire, le Coordinateur/responsable du projet LOCI est Alain LECOMTE Professeur en Sc. du langage.

Autres membres impliqués dans le projet :

Mr ROUSSARIE Laurent Mdc en Sc. du Langage.

Mr CUXAC Christian professeur en Sc. du Langage.

Mme MACE Fanny Doctorante en Sc. du Langage.

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)

Sironi Eugenia

2011-10-31T15:36:14Z

Commence une these ("Types de données en Ludique") à l'Institut de Mathématiques de Luminy, avec Christophe Fouqueré et Myriam Quatrini, financée par LOCI.

- Membres

Sironi Eugenia

2011-10-31T15:35:55Z

Begins a PHD (Types de données en ludique) at the Institut de mathématiques de Luminy, with Christophe Fouqueré and Myriam Quatrini, financed by LOCI.

- Members

SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

2011-03-16T11:40:21Z

SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

L'EPI Signes commune avec l'Université de Bordeaux et le LABRI et le CLLE a introduit à Bordeaux la linguistique computationnelle et en théorie des types, tout en s'appuyant sur les compétences locales en théorie des langages et en sémantique formelle. Dans le présent projet, Signes apportera ses compétences logique :

sur la logique linéaire (en particulier espaces cohérents, sémantique catégorique, modèles du premier ordre),
sur le lien entre lambda calcul typé et théorie des langages classiques (notamment à travers les grammaires catégorielles abstraites),
sur l'analyse syntaxique de l'oral (analyse catégorielle multimodale),
sur la sémantique lexicale dans un cadre compositionnel et logique.

Chercheurs :

Christian Bassac,
Bruno Méri,
Richard Moot,
Christian Rétoré
Sylvain Salvati

Seiller Thomas

2011-05-09T14:34:18Z

Thomas Seiller travaille actuellement à l'Institut mathématique de Luminy dans l'équipe Logique de la programmation.
Il prépare une thèse de mathématiques, intitulée Curry-Howard pour la concurrence : Géométrie de l'interaction et complexité, sous la direction de Jean-Yves Girard et de Laurent Regnier.
Il travaille principalement sur la géométrie de l'interaction, dans sa nouvelle version introduite par Jean-Yves Girard dans l'article Geometry of Interaction V : logic in the hyperfinite (…)

- Membres / Questions formelles autour de la ludique, Institut de Mathématiques de Luminy

Salvati Sylvain

2011-05-16T09:17:29Z

Sylvain Salvati est actuellement Chargé de Recherche à l'INRIA Bordeaux Sud-Ouest où il travaille au sein de l'équipe Signes.
Son travail porte sur un formalisme grammatical fondé sur le λ-calcul et la logique linéaire : les grammaires catégorielles abstraites (www).
D'un point de vue plus général, Sylvain Salvati s'intéresse aux liens entre théorie formelle des langages et théorie de la démonstration.

- Membres / Questions formelles autour de la ludique, Signes - INRIA

Roussarie Laurent

2011-05-09T14:37:15Z

Docteur en linguistique théorique, formelle et automatique de l'UFRL, Paris7 Denis Diderot.
Maître de conférence à l'Université Paris 8 Vincennes/St-Denis, UFR SDL.
Membre de l'UMR 7023 (Structures formelles du langage).

Thèmes de recherche :
- Sémantique formelle de la comparaison
- Delixis et démonstratifs
- Impératifs : Sémantique discursive et dialogique
- Restriction

Membre du SFL dans le domaine des sciences du langage. Apport de compétences en Sémantique.

Publications :

Articles de revues :

– Roussarie, Laurent et Amsili, Pascal (2007). Interpréter les pronoms phrastiques. Modèles Linguistiques, 56, pp. 83-112.

– Amsili, Pascal, Denis, Pascal et Roussarie, Laurent. (2005). Anaphores abstraites en français : représentation formelle. Traitement automatique des langues, 46(1), pp. 15-39.

– Caudal, Patrick, Roussarie, Laurent et & Vetters, Carl. (2003). L'imparfait, un temps inconséquent. Langue Française, 138, pp. 61-74.

– Roussarie, Laurent (1998). Le problème de la structuration et de la représentation du discours vu sous l'angle de la génération automatique. La génération de textes, t.a.l., 39(2), pp. 35-55.

Contribution à ouvrages collectifs :

– Asher, Nicholas et Roussarie, Laurent (2005). Intégration de la sémantique dynamique et de théories structurales dans l'interprétation du discours : la SDRT. In F. Corblin et C. Gardent (eds), Interpréter en contexte, Traité IC2, pp. 229-263. Lavoisier/Hermes Science Publications, Paris.

– Roussarie, Laurent et Desmets, Marianne (2003). Quotative reference in reportive comme clauses. In Beyssade C., Bonami O., Cabredo Hofherr P. et Corblin F. (éds), Empirical Issues in Formal Syntax and Semantics 4 (pp. 329-344). Paris : Presses Universitaires de Paris-Sorbonne.

– Danlos, Laurence et Roussarie, Laurent (2000). La génération automatique de textes. In J.-M. Pierrel (éd.), Ingénierie des langues (pp. 311-330). Paris : Hermès.

Communications en conférences :

– Roussarie, Laurent, Caudal, Patrick, Dench, Alan et Ritz, Marie-Eve (2009). Change of Stage vs. Change-of-Individual The Nyamal Usitative. Chronos 2009, 9th International Conference on Tense, Aspect and Modality, Paris. Slides.

– Roussarie, Laurent (2009). What might be known : epistemic modality and uncertain contexts. Semantics and Linguistic Theory (SALT) 19, Columbus, Ohio. Egalement présenté aux Journées Sémantique & Modélisation (JSM'09), Paris. Slides, handout.

– Caudal, Patrick et Roussarie, Laurent (2004). Brands of perfects : semantics and pragmatics. In Proceedings of the Texas Linguistics Society 8, Austin.

– Amsili, Pascal et Roussarie, Laurent (2004). Vers une lambda-DRT étendue. In Actes de l'atelier sur la SDRT à TALN 2004 (11ème Conférence sur le Traitement Automatique des Langues Naturelles), Fès, Maroc.

– Caudal, Patrick et Roussarie, Laurent (2004). Perfects and the semantics/pragmatics interface. In Actes de l'atelier sur la SDRT à TALN 2004 (11ème Conférence sur le Traitement Automatique des Langues Naturelles), Fès, Maroc.

– El Ghali, Adil et Roussarie, Laurent (2003). Computing the rhetoric of text proofs, In Proceedings of the fourth workshop on Inference in Computational Semantics (ICoS-4), pp. 89-99, Nancy.

– El Ghali, Adil et Roussarie, Laurent (2003). Structuration automatique de preuves mathématiques : de la logique à la rhétorique. In Actes de la 10ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN 2003), pp. 333-338, Batz-sur-Mer.

– Roussarie, Laurent et Villoing, Florence (2003). Some semantic investigations on the French VN construction. In Proceedings of the Second International Workshop on Generative Approaches to the Lexicon (GL'2003), Geneva.

– Roussarie, Laurent (2003). Dynamique des référents d'actes de langage. Journées Semantique et Modélisation, 20 mars 2003, Paris. (Slides).

– Amsili, Pascal, Raynal, Céline et Roussarie, Laurent (2002). Stop presupposing the computation of presuppositions : the case of the French adjective seul. In Workshop on Information Structure in Context, pp. 86-97, Stuttgart.

– Roussarie, Laurent et Amsili, Pascal (2002). Discours et compositionnalité. In Actes de la 9ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN 2002), pp. 383-388, Nancy.

– Caudal, Patrick et Roussarie, Laurent (2002). Contribution discursive et sémantique des constructions en si. Chronos 5, Groningen.

– Caudal, Patrick, Roussarie, Laurent et Vetters, Carl (2002). Un traitement conjoint du conditionnel, du futur et de l'imparfait : les temps comme fonctions d'actes de langage. Chronos 5, Groningen.

– Caudal, Patrick et Roussarie, Laurent (2002). Aspectual viewpoints, speech act functions and discourse structure. NSF-funded Workshop on the Syntax, Semantics & Acquisition of Aspect, University of Iowa.

– Roussarie, Laurent et Desmets, Marianne (2001). Référence citationnelle dans les reportives en comme/Quotative reference in reportive comme clauses. Colloque de Syntaxe et Sémantique à Paris (CSSP 2001), Paris. (handouts, slides)

– Danlos, Laurence, Gaiffe, Bertrand et Roussarie, Laurent (2001). Document structuring à la SDRT. In Proceedings of the 8th European Workshop on Natural Language Generation (EWNLG 2001/ACL 2001) (pp. 11-20), Toulouse.
– Desmets, Marianne et Roussarie, Laurent (2000). French reportive 'comme' clauses : A case of parenthetical adjunction. In Proceedings of the 7th International Conference on Head-driven Phrase Structure Grammar (HPSG-2000) (pp. 43-62), UC Berkeley.

– Caudal, Patrick et Roussarie, Laurent (2000). Event Structure vs. Stage Structure and Abstract Aspectual Relations. In Proceedings of BLS 26, UC Berkeley.

– Roussarie, Laurent (1997). Structuration du texte en génération automatique. Stratégies et difficultés. In Actes du 1er Colloque Francophone sur la Génération Automatique de Textes, GAT'97, Grenoble.

– Roussarie, Laurent (1997). Managing Coreference Relations in the Semantic Input of a Natural Language Generation System. In R. Dale et C. Paris (éds.), PhD Workshop on Natural Language Generation, European Summer School in Logic, Language and Information (ESSLLI'97), Aix-en-Provence.

Romano Marco

2011-03-09T10:22:05Z

Doctorant depuis 2009 en cotutelle entre l'université Paris 13 et l'université Roma Tre en « Filosofia e Teoria delle Scienze Umane », curriculum de Logique de l'Information et Théorie de la Communication, sous la co-direction de Michele Abrusci et Christophe Fouqueré. Sa recherche, déjà émergeante au cours des études de Master, se concentre sur les ontologies comme modèles pour la représentation de la connaissance dans le contexte du Web Sémantique. Sa thèse se déroule en partie dans une (…)

- Membres / Communication Web et Ontologies, Laboratoire d'Informatique de Paris-Nord

Rétoré Christian

admin — 2011-05-10T16:11:40Z

Professeur au département d'informatique, UFR Maths-Info, à l'Université Bordeaux 1.

- Membres / Coordination, Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Communication Web et Ontologies, Questions formelles autour de la ludique, Signes - INRIA

Résurgences

2011-03-16T13:08:49Z

Résurgences développe depuis 2002 des actions innovantes au point de jonction entre innovation sociale, industrie numérique et recherche scientifique, comme en témoigne la variété et le nombre de projets développés dans ces champs depuis sa création.
L'association est structurée autour des valeurs de l'économie sociale, dans une démarche de recherche-action, et développe son activité autour de trois pôles : un pôle d'insertion et de formation professionnelle, un pôle commercial dans l'industrie numérique, et un pôle recherche dédié aux sciences humaines et sociales.

Le modèle économique de la structure met en action deux principes : la synergie entre les différents pôles d'activité (insertion, production, recherche) et l'hybridation des ressources (subventions, missions, prestations). Ainsi, le pôle recherche apporte des compétences techniques pour les prestations à forte valeur ajoutée et le développement de la qualification et de la formation des autres salariés. Tandis que les ateliers de production supportent l'activité de backoffice nécessaire à l'activité de recherche.
L'association emploie trente-sept personnes elle est agréée organisme de formation et impliquée dans plusieurs réseaux, membre notamment du PRIMI (www.primi.pro), le pôle transmedia Méditerrannée, un réseau d'entreprises tournées vers l'innovation et la production de contenus dans les filières cinéma, audiovisuel, multimédia et internet. Structure d'Insertion par l'Activité Économique, dotée du statut d'Entreprise Solidaire, l'association est aussi membre du Réseau National des Entreprises Apprenantes.

Partenaire de plusieurs projets internationaux de recherche scientifique, notamment le projet ANR LOCI (Locativité et Interaction en Informatique Théorique et Linguistique) financé par l'Agence Nationale pour la Rercherche, et le projet européen LIBEAC (Liberalism In Between Europe And China) financé par l'Union Européenne, le groupe accueille trois chercheurs permanents et cinq chercheurs associés dont les travaux portent sur les interactions sociales, leur formalisation et leur représentation (interactions langagières, dynamiques cognitives, réseaux sociaux).
L'association est aussi active dans des projets artistiques et culturels, avec en particulier la contribution apportée au projet ArtWar(e), soutenu par le DICREAM (CNC), et l'accueil d'artistes en résidence de création, notamment dans le cadre de l'opération Marseille 2013, en partenariat avec l'association MP2013, la Ville de Marseille et la Région PACA.

Chercheurs :

Samuel Tronçon
Pierre Livet

Queen Mary College, Dept of Computer Science, London

2011-05-10T16:12:43Z

Dept of Computer Science, Queen Mary College, London

- Partners

Queen Mary College, Dept Of Computer science, London

2011-05-20T14:35:30Z

Dept of Computer Science, Queen Mary College, London

Graham White du DCS de Queen Mary a initié une collaboration avec Ruth Kempson (King's College, London) dans le but de reformuler la syntaxe dynamique dans le cadre de la théorie des types "avec record", qui possède une notion d'incrémentation du contexte. Cela permet d'unifier les hypothèses syntaxique et sémantique. L'avantage fourni par cette reformulation est l'inclusion des types en tant qu'objets de première classe dans les représentations, rendant possible l'expression en un seul format du champs entier des effets attestés dans l'usage de la langue en discours et/ou en dialogue depuis la description des attitudes propositionnelles jusqu'à la spécification des actes de langage. Une des clés de l'apport de la TTR réside dans la construction formelle qui en est la base, à savoir l'intersection dépendante. Formellement, on a un objet (par exemple une chaîne que l'on essaie d'analyser) et on établit que c'est un élément de types de plus en pus petits, qui peuvent eux-mêmes dépendre de types déjà construits. Un ensemble riche de conditions de bord permet alors de refléter les valeurs déjà obtenues et celles qui sont à obtenir : de cette manière, on peut exprimer aisément la croissance d'un arbre conformément à la syntaxe dynamique.

Il est facile de voir ici en quoi cette problématique recoupe celle du présent projet. La ludique possède aussi cette capacité à représenter les types avec intersection, et il est normal dans un tel projet d'envisager la confrontation d'outils formels différents pour décrire des phénomènes semblables.

Chercheurs :

Ruth Kempson
Graham White

Quatrini Myriam

2011-03-09T10:21:31Z

42 ans

Position : Maître de Conférences en Mathématiques, Membre de l'Institut de Mathématiques de Luminy'
Adresse Professionnelle : Département de Mathématiques, Faculté des Sciences de Luminy, Case 901,163 Av de Luminy, 13 288 Marseille cedex 9
Email : quatrini@iml.univ-mrs.fr tel : 04 91 26 96 36

CURSUS

Phd Thesis : Doctorat de Mathématiques, dirigée par G. Blanc,, janvier 1995, Faculté des Sciences de Luminy,
D.E.A. de Mathématiques Pures de l'Université de Provence, juin 1991

RESPONSABILITES

Enseignante au Département de Mathématiques de la Faculté des Sciences de Luminy (et co-responsable de la mention MASS de la Licence Sciences et Technologies)
Membre de l'I.R.E.M. d'Aix-marseille (Directrice de l'I.R.E.M. d'Aix-Marseille d'octobre 2001 à octobre 2004)
Chercheur à l'Institut de mathématiques de Luminy, dans l'équipe « Logique de la Programmation »
Responsable scientifique du site partenaire Marseille pour le projet A.N.R. Prélude

RECHERCHE
Depuis mon recrutement comme Maître de Conférences en Mathématiques à l'Université Aix-Marseille 2, je suis membre de l'institut de Mathématiques de Luminy et j'effectue mes recherches au sein de l'équipe « Logique de la Programmation » Mes sujets de recherches se situent en Théorie de la Démonstration et plus particulièrement en Logique Linéaire et en Ludique. Depuis un certain nombre d'années, je m'intéresse également à la Linguistique Computationnelle. Actuellement, tout en poursuivant un travail mathématique sur la Ludique et en particulier ses liens avec la nouvelle Géométrie de l'Interaction dans les algèbres d'opérateurs que J.-Y. Girard développe actuellement, j'étudie la transposition des concepts novateurs de la Ludique pour l'étude des langues naturelles.

PUBLICATIONS (cinq parmi les plus significatives des cinq dernières années)

M.-R. Fleury, M. Quatrini : First order in Ludics, in Mathematical Structures in Computer Science 14,no 2, 189—213, 2004.
C. Faggian, M.-R. Fleury, M. Quatrini : Introduction to uniformity in Ludics, in Linear Logic in Computer Science , 236—246 London Mathematical Society, Lectures Notes Series 316. Cambridge University Press. 2005.
M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus, in Categorial grammars and pregroups special issue of Studia Logica 87.2/3, 2007.
A. Lecomte, M. Quatrini : Ludics and its applications to Natural Language Semantics, proceedings of Wollic 09, Tokyo, Japan, (Workshop on Logic, Language, Information and Computation), Springer, LNAI n° 5514, pp 242-256, 2009,
A. Lecomte, M. Quatrini : Ludics and Rhetorics, Actes de PRELUDE, Springer, LNCS, LNAI-Folli, to appear,

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.

Positionnement

admin — 2011-02-19T01:32:44Z

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 ﬁgure 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 ﬁnancé 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) aﬁn 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 aﬁn 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 plaç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 uniﬁé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 signiﬁcation 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 aﬁn 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 apparaî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.

Moot Richard

2011-05-16T09:17:26Z

Richard Moot est actuellement au LABRI en tant que chercheur CNRS et membre de l'équipe de SIGNES.

- Membres / Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Signes - INRIA

Mery Bruno

2011-05-16T09:17:18Z

Doctorant en Informatique, au LaBRI.

- Membres / Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Signes - INRIA

Mace Fanny

2011-05-10T15:52:25Z

- Membres / Modélisation de l'apprentissage de la langue des signes, Structures Formelles du Langage (UMR 7023 CNRS/Paris 8)

Loddo Jean-Vincent

2011-05-09T14:37:06Z

Maître de conférences :

IUT de Villetaneuse - Département R&T
Laboratoire d'Informatique de Paris Nord (LIPN) - Équipe LCR
Université Paris Nord (Paris 13)

Docteur en informatique de l'Université Paris 7 (ancien thésard de PPS et du LIENS).

Laurea in scienze dell'informazione de l'Université de Pise.

Publications

* J.-V. Loddo, L. Saiu. How to Correctly Prune Tropical Trees. In proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC'2010). France 2010. pdf

* J.-V. Loddo, L. Saiu. Marionnet : a virtual network laboratory and simulation tool. 1th International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SimulationWorks'2010). Marseille, France, 2008. pdf

* P. Coupey, C. Fouqueré, J.-V. Loddo. Tree Components Programming : An Application to XML. In proceedings of the 4th International Colloquium of Theoretical Aspects of Computing (ICTAC'2007). Macau, China, 2007. pdf

* J.-V. Loddo, L. Saiu. Status report : marionnet or "how to implement a virtual network laboratory in six months and be happy". ACM SIGPLAN Workshop on ML (ML'2007), Freiburg (Germany), 2007. pdf

* R. Di Cosmo, J.-V. Loddo. Playing Logic Programs with the Alpha-Beta Algorithm. In proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000). St. Gilles, Ile de la Réunion, France 2000. ps.gz

* R. Di Cosmo, J.-V. Loddo and S. Nicolet. A Game Semantics Foundation for Logic Programming. In proceedings of the 6th International Conference on Algebraic and Logic Programming (PLIP 98). Pisa, Italy 1998, LNCS, Springer-Verlag. ps.gz (short), ps.gz (long)

* P. Degano, J.-V. Loddo and C. Priami. Mobile Processes with Local Clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm 1996. ps.gz

Livet Pierre

2011-03-09T10:22:03Z

64 ans, Professeur d'épistémologie à l'Université d'Aix-Marseille.

Espace, négation, ontologie et logique linéaire, pp. 245-260, in Jean Baptiste Joinet et Samuel Tronçon, Ouvrir la logique au monde, Philosophie et Mathématique de l'interaction, Hermann, Cerisy, Paris, 2009
Avec Frédéric Nef, Les êtres sociaux , Hermann, 2009. (410 p.)
P. Livet, J-P. Müller, D. Phan, L. Sanders, “Ontology, a mediator for Agent-Based Modeling in Social Science, Journal of Artificial Societies and Social Simulation, 2009
P. Livet « Conversation et révision » Langage et Société, Les normes pratiques, n°119, p 43-62, 2007

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.

Lecomte Alain

2011-03-09T10:22:12Z

Né le 15/04/1947

Professeur Classe Exceptionnelle, CNU 07 (après avoir été en 72ème section)
Thèse Mathématiques Appliquées en 1974
Habilitation à Diriger des Recherches en linguistique informatique en 1994
Thèmes de recherches :
Formalisation logique des grammaires,
Sémantique formelle
Pragmatique formelle
Modélisation du dialogue
Epistémologie des sciences du langage

Membre de l'UMR 7023 depuis 2006 (CLIPS IMAG – Grenoble auparavant)
Professeur de Sciences du langage (linguistique formelle) à l'Université Paris 8, Vincennes – St-Denis
Publications dans de nombreuses revues internationales (Springer, Kluwer, CSLI)
Nombreuses collaborations avec chercheurs étrangers (Pays-Bas, USA, Italie)
Collaborateur extérieur de l'INRIA Bordeaux Sud Ouest, équipe SIGNES
Membre du GDR « Sémantique et Modélisation » (dir. F. Corblin)
Coordinateur du projet BLAN 0032 “PRELUDE” de 2006 à 2009.

PUBLICATIONS (5) :

‘Categorial Grammar for Minimalism', in Language and Grammar, Studies in Mathematical Linguistics and Natural Language, Phil Scott, Claudia Casadio et Robert Seely eds. CSLI, Stanford, 2005
'Rebuilding MP on a logical ground', Research on Language and Computation, volume 2, n° 1, 2004, Special Issue on Resource Logics and Minimalist Grammars, edited by Christian Retoré and Edward Stabler, Kluwer, pp 27 – 55
(avec C. Retoré) ‘Extending Lambek grammars : a Logical Account of Minimalist Grammars, in Actes du 39ème congrès de l'ACL (Association for Computational Linguistics), Toulouse, 9 – 11 juillet 2001, pp 354 – 362,
‘Semantics and Minimalist Grammars', Formal Grammar, 2008, CSLI Publications
(avec M. Quatrini) ‘Ludics and its Applications to Natural Language Semantics', proceedings of Wollic 09, Tokyo, Japan, (Workshop on Logic, Language, Information and Computation), Springer, LNAI n° 5514, pp 242-256, 2009,

Laboratoire d'Informatique de Paris-Nord

2011-03-16T13:10:47Z

Le Laboratoire d'Informatique de Paris-Nord (L.I.P.N.) est une unité mixte de recherche de l'Université Paris-Nord et du CNRS (UMR7030). Les recherches du LIPN portent sur l'automatisation du raisonnement autour des axes forts de la combinatoire, de l'optimisation combinatoire, de l'informatique fondamentale et de l'intelligence artificielle. Ces travaux s'appuient notamment sur des compétences en algorithmique, logique, langage naturel et l'apprentissage artificiel. Le laboratoire est structuré en cinq équipes dont les sujets de recherche présentent de nombreux points de rencontre : A3, AOC, CALIN, LCR et RCLN.

Coordinateur/responsable :

Mr. FOUQUERE
Christophe
Professeur
Informatique

Autres membres :

Mr. BOUDES
Pierre
MCF
Informatique

Mr. COUPEY
Pascal
Professeur
Informatique

Mr. LODDO
Jean-Vincent
MCF
Informatique

Mr. ROMANO
Marco
doctorant
Informatique

Mr. ABRUSCI
Michele
Professeur
Philosophie

Kempson Ruth

2011-03-09T10:21:52Z

Né le 26.6.1944

Degrees/Honours
1965 BA Combined Honours Music/English. II.2 Birmingham University
1969 MA Modern English Language (with distinction). London University.
1973 PhD Linguistics. London : Presupposition and Delimitation of Semantics
1989 Fellow British Academy.
1999 Member Academia Europaea.

Career
1969-1970 Research Assistant : Survey of English Usage, University College London.
1971-1985 Lecturer SOAS.
1982-1983 Visiting Professor. University of Massachusetts Amherst
1985-1987 Reader General Linguistics. London.
1987-1999 Professor General Linguistics. SOAS.
1992-6 Head Linguistics Department, SOAS..
1998-2009. Professor General Linguistics. London. At KCL (Philosophy)
1999-2004 Leverhulme Research Professor
May 2009– Visiting Research Professor. QMUL.
September 2009-December 2010 Kings College London (pt-time) on
September 2009– Emeritus Professor Kings College London

Funded Research Projects
(1) 1980-83 SSRC 'Problems of Ambiguity' plus (2) 1983-4.
(3) 1988-89.ESRC.Grammar as an Input System. £14,500
(4) 1990-92.ESRC Logical Foundations of Relevance Reasoning (Gabbay, Cunningham). £75,780.
(5) 1995-7. EPSRC A Labelled Deductive System for Natural Language Understanding (Gabbay) £193,026.96
(6) 1997 Leverhulme. Language as communication : a dynamic perspective. £3174.
(7) 1999-2004. Leverhulme Research Professorship approx £250,000
(8) 2003-2004 ESRC 00-22-0355 Dialogue Dynamics I : A Pilot Study. £41,496
(9) 01/10/03-31/12/06. AHRC Joint project with L. Marten, SOAS
RGAN8675/APN 16312 A dynamic typology of pronouns and clitics in Romance and Bantu £267,212
(10) 01/07/07-30/06/08 F07/0540U (principal applicant) Dialogue Matters :
Securing Foundations for Dialogue Technology Development £150,000.
(11) 01/01/07-31/12/10 ESRC:RES-062-23-0962 Dynamics of Conversational Dialogue £698,951.00

Keiff Laurent

2014-03-10T06:45:49Z

Chercheur associé dans l'équipe ANR LOCI.
Thèse d'Histoire et Philosophie des Sciences et Techniques soutenue à Lille 3, consacrée au problème du pluralisme logique du point de vue de l'approche dialogique de la sémantique, ainsi qu'à la métathéorie d'une série de systèmes de dialogues (concernant principalement les modalités et la négation).
Professeur certifié de philosophie.

- Membres

Joinet Jean-Baptiste

admin — 2011-05-20T12:45:49Z

- Membres

Institut de Mathématiques de Luminy

2011-03-16T11:40:11Z

L'Institut de Mathématiques de Luminy a été créé le 1er janvier 1996 à partir de l'ancien Laboratoire de Mathématiques Discrètes (1992-1995).

L'IML est une UMR (Unité Mixte de Recherches) du CNRS qui dépend scientifiquement de l'Institut des Sciences Mathématiques et de leurs Interactions (INSMI) et administrativement de la Délégation Régionale Provence accueillant un bon nombre d'enseignants-chercheurs de la Faculté des Sciences de Luminy (elle est en convention de cotutelle avec l'Université de la Méditerranée).

L'Institut de Mathématiques de Luminy est situé sur le campus de Luminy.

Coordinateur / responsble

Mme QUATRINI Myriam Maitre de conférences Mathématiques.

Autres membres :

Mm FLEURY
Marie-Renée
MdC Retraitée
Mathématiques

Mr. VAUX
Lionel
Maître de Conférences
Mathématiques

Mr.SEILLER
Thomas
Doctorant
Mathématiques.

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/

Fouqueré Christophe

2011-03-09T10:22:09Z

Docteur en informatique après des études à l'ENS Cachan, maintenant professeur à l'université Paris 13. Il dirige le Laboratoire d'Informatique de Paris 13 (LIPN - UMR 7030). Il travaille sur l'application de la logique linéaire à la représentation du langage naturel (syntaxe principalement) et à la programmation (programmation logique, programmation web, parallélisme strict). Il a aussi mené des travaux sur les logiques de description. Il a encadré et encadre des thèses sur ces différents (…)

- Membres / Coordination, Modélisation de l'apprentissage de la langue des signes, Communication Web et Ontologies, Questions formelles autour de la ludique, Laboratoire d'Informatique de Paris-Nord

Fleury Marie-Renée

2011-03-09T10:21:01Z

• née le 1er Aout 1946

• Cursus

1969 Agrégation de mathématiques, puis Assistante à Luminy (Université Aix-Marseille 2)
1978 Maitre assistante, 1985 Maitre de conférences, 1999 Maitre de conférences Hors classe
Situation actuelle : Retraitée.

• Activités pédagogiques :

cours de mathématiques et de logique en Licence (L1-2-3) et Master (M1-2)au sein du Département de mathématiques de la Faculté des Sciences de Luminy.
Animation du ”Groupe collège” de l'IREM (production de brochures régulières).
Responsable (2005-2008) des ateliers ”Hippocampe” qui initie les lycéens à la démarche d'un chercheur..

• Recherche : à l'IML, Institut de Mathématiques de Luminy, équipe ”Logique de la programmation”
Thèmes de recherche des cinq dernières années : théorie de la démonstration.
2000-04 : Logique Linéaire et Ludique : interprétation des quantificateurs du premier ordre de la logique linéaire en ludique. Etude des propriétés d'uniformité susceptibles de garantir un résultat de complétude. Ce travail a donné lieu à deux publications.
2005 : Logique linéaire, -calcul et linguistique : Depuis les grammaires de Lambek, les logiciens et les linguistes ont essayé de spécifier les grammaires comme des théories logiques. De par sa capacité à être sensible à la gestion des ressources, la logique linéaire non commutative est particulièrement bien adaptée pour des applications linguistiques. Le -calcul permet d'exprimer l'aspect calculatoire d'une logique. Nous avons développé un -calcul linéaire pour un calcul linéaire mixte (avec connecteurs non commutatifs et d'autres commutatifs). Ce travail a donné lieu à une publication.
2006-2009 : dans le cadre du projet ANR "Prelude" : étude des possibilités que la ludique apporte pour penser tout ce qui, dans la langue, est du domaine de l'interaction afin de représenter le dialogue d'un point de vue dynamique. Plus particulièrement, mon travail dans ce projet a porté sur la modélisation des actes de langage en ludique. Actuellement, je me propose d'étendre cette formalisation à d'autres types d'actes dans le domaine social.

• Publications récentes (cinq parmi les plus significatives des cinq dernières années) :
2004 : Claudia Faggian, Marie-Renée Fleury-Donnadieu, Myriam Quatrini. ”Introduction to Uniformity in Ludics”, Linear Logic in Computer Science, London Mathematical Society, Lectures Notes Series 316, Edited by T. Erhrhard, J.-Y Girard, P. Scott. Cambridge University Press (pages 236-246)
2004 : Marie-Renée Fleury-Donnadieu, Myriam Quatrini, First order in Ludics, MSCS (Mathematical Structures in Computer Science), Cambridge University Press , juin 2004, Vol 14-2 (pages 189-213)
2007 : - M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus in ”Categorial grammars and pregroups” special issue of Studia Logica 87.2/3
à paraître : M.-R. Fleury & S. Tronçon : Ludics as a frame for the formalisation of speech acts, Actes de PRELUDE, , , Springer, LNCS, LNAI-Folli
.

• Organisation de Colloques et séminaires (cinq dernières années)

De 1993 jusqu'en 2007 : Organisation du Séminaire de Logique.
Nov. 2004 : workshop ”Constructivisme et extraction de programmes” en l'honneur de Per Martin-Löf
Fév. 2006 : co-organisatrice de la session ”Logic and Linguistics” (session résidentielle GEOCAL, CIRM)
2007-2008-2009 co-organisatrice des workshops annuels du projet ANR Prelude

Cuxac Christian

2011-05-09T14:36:56Z

Professeur, Paris 8 - Sciences du langage
Responsable d'équipe de recherche au sein de l'UMR 7023, Langues des signes et gestualité.

Thèmes de recherche :
- Dresser une typologie de l'iconicité
- Quel statut accorder aux éléments qui composent le lexique ?
- Gestualité co-verbale et langues des signes

Membre du SFL, domaine des sciences du langage, apport de compétences en matière de langage des signes.

Parcours de recherches :
– Responsable scientifique du projet « Réalisation de corpus de données visuelles pour l'analyse des processus de création d'unités gestuelles (LSF et gestualité naturelle) », CREAGEST, attribué par l'ANR dans le cadre du Programme Thématique Sciences Humaines et Sociales « Corpus et outils de la recherche en sciences humaines et sociales » 2007-2011.

– Depuis 2004, responsable français pour le CNRS d'un projet de recherche en collaboration avec le CNR (responsable italien : Elena Pizzuto) dans le cadre des programmes d'échanges internationaux du CNRS visant à comparer langue des signes française et langue des signes italiennes et à croiser nos données.

– Participation au projet STIC « Langue des signes » sous la responsabilité de J. M. Toulotte et S. Gibet visant à la création d'un avatar signant en LSF (à partir de 2004)

– Co-responsable (avec Patrice Dalle, IRIT Toulouse) d'une action spécifique « Interaction gestuelle » du département STIC du CNRS intitulée « Étude et développement de la communication homme-machine visuo-gestuelle », devenue équipe projet à partir de décembre 2003.

– Responsable scientifique et administratif d'un projet intitulé : "Les langues des signes : analyseurs privilégiés de la faculté de langage..." en partenariat avec le LIMSI (Orsay) et l'IRIT (Toulouse) et l'Université Paris IV, projet s'inscrivant dans le cadre du thème "Langage et Cognition" de l'Action Incitative 'Cognitique 2000' du Ministère de la Recherche.

– De 1991 à 2000, dans le cadre du LIMSI-CNRS, participation active (plusieurs interventions) au Groupe de travail « Le geste de communication », supporté par le pôle Paris-Sud Cognisciences. Réalisation d'un Document de Travail (cassette vidéo) intitulé : « Relations temporelles et aspectuelles en Langue des Signes Française ».

– Rapport de recherche concernant l'éducation des enfants sourds, intitulé : « Intégration ou éducation spécialisée : un faux problème », 1981, 76 pages URA 1031, ligne budgétaire de l'université « Rénovation Pédagogique ».

– De 1980 à 1982, m'a été confiée par Monsieur Dessaint, alors Directeur de l'INJS de Paris, à raison de 20 heures de vacations hebdomadaires, la responsabilité du Département « Langues et Recherches Linguistiques » du Laboratoire de Pédagogie de l'INJS de Paris dans le cadre de la mise en place d'une filière d'éducation bilingue pour les élèves sourds de l'INJS.

– Participation à un groupe d'étude sur « le langage mimo-gestuel dans l'éducation des déficients auditifs » organisé par le CTNERHI en 1977-78.

Publications :
– CUXAC C., 2000, La langue des signes française. Les voies de l'iconicité, Faits de Langues 15/16, Paris, Éditions Ophrys, 391 pages.
– CUXAC C., 1983, Le langage des sourds, Paris, Payot, 200 pages.

Coupey Pascal

2011-05-10T15:52:33Z

Laboratoire d'Informatique de l'université Paris Nord
Institut Galilé

- Membres / Communication Web et Ontologies, Laboratoire d'Informatique de Paris-Nord

cliquez sur Contacts (au dessus)

2012-03-07T11:25:16Z

- Contact

Boudes Pierre

2011-05-09T14:36:38Z

Titulaire d'un doctorat de mathématiques obtenu en 2002, Pierre Boudes est maître de conférences en informatique à l'université Paris 13, depuis septembre 2005.
Ses recherches portent notamment sur la théorie de la démonstration et de la programmation au laboratoire d'informatique de Paris nord (LIPN), UMR CNRS 7030.
Pierre Boudes est enseignant et semi-administratif (en ce moment, vice-président du département d'informatique) à l'institut Galilée.

- Membres / Questions formelles autour de la ludique, Laboratoire d'Informatique de Paris-Nord

Beyssade Claire

admin — 2011-05-20T12:46:06Z

- Membres

Bassac Christian

2011-05-16T09:17:22Z

Docteur et agrégé en sciences du langage. Chercheur à Toulouse 2 et Bordeaux 3, maître de conférences à l'Université de Bordeaux 3 (en 2004).

- Membres / Sémantique de l'énoncé, Lexique, Syntaxe Dynamique, Signes - INRIA

Abrusci Michele

2011-05-10T15:52:31Z

Professore straordinario di Logica e Supplente di Logica Matematica

Education :

Licence en Philosophie (Université de Florence)

Professeur agrégé à l'Université de Bari de 1988 à 1991

Professeur agrégé à l'Université Sapienza de Rome La 1991 à 1994

Professeur à l'Université de Bari de 1994 à 1996.

publications :

La logique mathématique, Fratelli Laterza, Bari, 1992.

Réseaux de preuve non commutative, dans « Advances in Linear Logic", Cambridge University Press, 1995.

Lambeck calcul, cycliques multiples additifs logique linéaire non commutative et multiples additifs logique linéaire, dans "Les preuves linguistiques et les catégories", Clueb, 1996.

Autres :

Coordinateur du "site Roma Tre dans le TMR Réseau de recherche sur la logique linéaire" en informatique théorique

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

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.

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 ?

Séminaire LOCI - 04/2014

2014-04-02T13:40:39Z

2 Avril 2014
Séminaire de l'équipe LOCI Locaux de l'association Résurgences, Marseille.

Paolo Pistone : Rules, types and the transcendence of second order logic
Laurent Keiff : Ludique modale, nouvelles de l'entresol
Samuel Tronçon : Résurgences au sein de LOCI
Discussion générale : la négation

Séminaire LOCI - 02/2014

2014-03-10T06:34:18Z

20 février 2014
Séminaire de l'équipe LOCI.
Lieu : Locaux de l'association Résurgences, Marseille.

- Séminaire

Séminaire LOCI - 01/2014

2014-03-10T06:31:13Z

16 janvier 2014

Séminaire de l'équipe LOCI Locaux de l'association Résurgences, Marseille.

Intervenant :

C. Fouqueré, "Ludique et types. Eléments de déconstruction"

Séminaire LOCI - 11/2013

2014-03-10T06:20:42Z

14 novembre 2013

Séminaire de l'équipe LOCI
Locaux de l'association Résurgences, Marseille.

Intervenants :

A. Lecomte
M. Quatrini : "Modélisation des dialogues en Ludique"

Séminaire LOCI - 10/2013

2014-03-10T01:37:20Z

17 octobre 2013

Séance consacrées au point de vue ludique sur les modalités
Locaux de l'association Résurgences, Marseille.

Intervenants :

P. Livet "Logique linéaire et modalités"
L. Keiff "Modalités. Sémantique et théorie de la preuve"

Séminaire LOCI - 09/2013

2014-03-10T01:31:12Z

Séminaire de l'équipe LOCI.
Rue Pouchet, Paris.

Intervenants :

A. Lecomte
M. Marion

Séminaire LOCI - 07/2013

2014-03-09T13:49:22Z

Séminaire de l'équipe LOCI.
5 juillet 2013, locaux de Résurgences, Marseille.

Intervenants :

Christophe Fouqueré et Myriam Quatrini : "Inférence et argumentation en Ludique"
Francesca Ferrante

Séminaire LOCI 06/2013

2014-02-28T11:03:00Z

Programme :

10h00 - Alain Lecomte : un aperçu de Hippias mineur
11h00 - Paul-André Melies
12h30 - Discussion

14h00 - Eugenia Sironi, sur les types dépendants en Ludique
15h00 - Pierre Livet, "Actes de langage et propriétés inférentielles"
16h00 - Samuel Tronçon, sur l'interaction sociale (travail en cours)

à Résurgences - 111, rue Consolat - 13001 Marseille

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.