Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
ANR - LOCI http://www.anr-loci.fr/ Le projet LOCI (Locativité et interaction en linguistique, logique et informatique) s'organise autour de trois concepts mis en avant dans l'approche ludique : la locativité, la procéduralité et la normativité. Ces concepts sont particulièrement opérants dans l'étude du signe et de la signification, qu'il s'agisse de la linguistique au sens classique, ou qu'il s'agisse de domaines plus vastes et peut-être encore insuffisamment connus comme les langages gestuels et la pragmatique (dialogues, actes de langage, règles sociales s'exprimant au travers du langage), voire des domaines connexes comme la communication web ou la théorie de l'argumentation. fr SPIP - www.spip.net Winterstein Grégoire https://www.anr-loci.fr/presentation/membres/article/winterstein-gregoire https://www.anr-loci.fr/presentation/membres/article/winterstein-gregoire 2012-01-10T18:16:20Z text/html fr <p>Post-doctorant au sein de l'ANR Loci (laboratoire SFL-Université Paris 8), <br class='autobr' /> 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 <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> <div class='rss_texte'><p>Post-doctorant au sein de l'ANR Loci (laboratoire SFL-Université Paris 8),<br class='autobr' /> 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<br class='autobr' /> théorie de l'argumentation dans la langue. <br/> 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é.</p></div> White Graham https://www.anr-loci.fr/presentation/membres/article/graham-white https://www.anr-loci.fr/presentation/membres/article/graham-white 2011-03-09T10:21:42Z text/html fr Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Queen Mary College London <p>• 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 <br class='autobr' /> Bibliography : Contex for Human Action” (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/queen-mary-college-london" rel="tag"> Queen Mary College London</a> <div class='rss_texte'><p>• née le 26 avril 1951 <br/></p> <ul class="spip"><li> de nationalité britannique <br/></li><li> D. Phil. In Mathematics, Oxford, Nov. 1982, thesis on “The Arithmetic of Prym Varieties” under Michael Attiyah <br/></li><li> S. M. In Mathematics, MIT, juin 1975 <br/></li><li> Commitee member of UK Computing Research Challenge 5, “Architecture of Brain and Mind” <br/></li><li> Member of the London Mathematical Society and of the American Philosophy Association <br/></li><li> Lecturer at the Department of Computer Science, Queen Mary, University of London</li></ul> <p><strong>Bibliography : </strong> <br/> Contex for Human Action” in Erol Gelenbe, Samson Abramsky and V. Sassone (eds) visions of Computer Science (British Computer Society, 2008) <br/> Causality, Modality and Explanation, Notre Dame Journal of Formal Logic, 49, 2008 <br/> Davidson and Reiter on Actions, Fundamenta Informatica, 2007 <br/> The Philosophy of Programming Languages in Floridi (ed) The Blackwell Guide to the Philosophy of Computing and Information, Blackwell, 2003</p></div> Vaux Lionel https://www.anr-loci.fr/presentation/membres/article/lionel-vaux https://www.anr-loci.fr/presentation/membres/article/lionel-vaux 2011-05-09T14:35:42Z text/html fr Questions formelles autour de la ludique Institut de Mathématiques de Luminy <p>Maître de conférences en mathématiques à l'université de la Méditerranée depuis septembre 2009. <br class='autobr' /> 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. <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/institut-de-mathematiques-de" rel="tag"> Institut de Mathématiques de Luminy</a> <div class='rss_texte'><p>Maître de conférences en mathématiques à l'université de la Méditerranée depuis septembre 2009. <br/></p> <p>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. <br/></p> <p><strong>Projets</strong></p> <ul class="spip"><li> membre du groupe de travail Geocal du GDR Informatique Mathématique.</li><li> membre des projets Choco, Logoi et Loci de l'ANR.</li><li> coordinateur du projet QuAND, sur un financement PEPS de l'INS2I.</li></ul></div> Tronçon Samuel https://www.anr-loci.fr/presentation/membres/article/samuel-troncon https://www.anr-loci.fr/presentation/membres/article/samuel-troncon 2011-03-09T10:20:47Z text/html fr 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 <p>Publications récentes : <br class='autobr' /> 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 monde ». (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/coordination" rel="tag">Coordination</a>, <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/modelisation-de-l-apprentissage-de" rel="tag">Modélisation de l'apprentissage de la langue des signes</a>, <a href="https://www.anr-loci.fr/mot/vie-sociale-et-pragmatique" rel="tag">Vie sociale et pragmatique</a>, <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/resurgences" rel="tag"> Résurgences</a> <div class='rss_texte'><p><strong>Publications récentes :</strong><br class='autobr' /> Jean-Baptiste Joinet, Samuel Tronçon (éditeurs). Ouvrir la logique au monde : philosophie et mathématique de l'interaction. Hermann. 2009.<br/> Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon. Dialogues in Ludics. Actes des rencontres PRELUDE à Pauillac. 2010.<br/> Frédéric Pascal, Samuel Tronçon. Dynamique du langage et ontologie. Actes des journées de Rochebrune. Paris : Telecom ParisTech. 2009<br/> Samuel Tronçon. Éléments de sémiotique cognitive. In « Ouvrir la logique au monde ». Hermann. 2009.<br/> Samuel Tronçon. Interaction et signification. In Jean-Baptiste Joinet. « Logique, dynamique et cognition ». Presses de la Sorbonne. 2007.</p></div> Thème https://www.anr-loci.fr/reunions/interactions-sociales/article/statement-467 https://www.anr-loci.fr/reunions/interactions-sociales/article/statement-467 2012-02-22T11:43:30Z text/html fr Fleury Marie-Renée edito_rubrique <p>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). <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/interactions-sociales/" rel="directory">Interactions sociales, apprentissage et langue des signes</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>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).</p> <p>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...)</p> <p>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.</p> <p>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.</p></div> Structures Formelles du Langage https://www.anr-loci.fr/presentation/partenaires/article/structures-formelles-du-langage https://www.anr-loci.fr/presentation/partenaires/article/structures-formelles-du-langage 2011-03-09T10:22:15Z text/html fr <p>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. <br class='autobr' /> Au sein du laboratoire, le Coordinateur/responsable du projet LOCI est Alain LECOMTE Professeur en Sc. du langage. <br class='autobr' /> Autres membres impliqués dans le projet : Mr ROUSSARIE Laurent Mdc en Sc. du Langage. Mr CUXAC Christian (...)</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partenaires</a> <div class='rss_texte'><p>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.</p> <p>Au sein du laboratoire, le Coordinateur/responsable du projet LOCI est <strong>Alain LECOMTE</strong> Professeur en Sc. du langage.</p> <p><u> Autres membres impliqués dans le projet :</u><br/></p> <ul class="spip"><li> Mr <strong>ROUSSARIE Laurent</strong> Mdc en Sc. du Langage.</li></ul><ul class="spip"><li> Mr <strong>CUXAC Christian</strong> professeur en Sc. du Langage.</li></ul><ul class="spip"><li> Mme <strong>MACE Fanny</strong> Doctorante en Sc. du Langage.</li></ul></div> Statement https://www.anr-loci.fr/reunions/ludique-tutorial-et-semantique-de/article/statement https://www.anr-loci.fr/reunions/ludique-tutorial-et-semantique-de/article/statement 2011-04-05T17:12:13Z text/html fr Tronçon Samuel - <a href="https://www.anr-loci.fr/reunions/ludique-tutorial-et-semantique-de/" rel="directory">Ludique (tutorial) et Sémantique de l'énoncé</a> Statement https://www.anr-loci.fr/reunions/type-dependency-type-theory-with/article/nouvel-article https://www.anr-loci.fr/reunions/type-dependency-type-theory-with/article/nouvel-article 2011-10-21T11:50:00Z text/html fr Tronçon Samuel edito_rubrique <p>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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/type-dependency-type-theory-with/" rel="directory">Type Dependency, Type Theory with Records, and Natural-Language Flexibility</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>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.</p> <p>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.</p> <p>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.</p> <p>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.</p></div> Statement https://www.anr-loci.fr/reunions/meeting-de-lancement/article/statement-331 https://www.anr-loci.fr/reunions/meeting-de-lancement/article/statement-331 2011-05-13T13:40:40Z text/html fr admin <p>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 <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/meeting-de-lancement/" rel="directory">Réunion de lancement</a> <div class='rss_texte'><p>LOCI (”Locativité et Interaction en Logique, Langage et Informatique”) s'inscrit dans une perspective résolument pluridisciplinaire, qui concerne à égalité :</p> <ul class="spip"><li>l'informatique, dans ses aspects pratiques et ses liens avec la logique,</li><li> la linguistique,</li><li> les sciences humaines et sociales</li><li> la philosophie</li></ul> <p>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 :</p> <ul class="spip"><li> 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,</li></ul><ul class="spip"><li> 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.</li></ul> <p>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.</p> <p>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).</p> <p>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).<br class='autobr' /> 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.</p></div> Statement https://www.anr-loci.fr/reunions/ontologies-and-lexical-semantics/article/statement-452 https://www.anr-loci.fr/reunions/ontologies-and-lexical-semantics/article/statement-452 2011-09-23T15:01:26Z text/html fr Tronçon Samuel - <a href="https://www.anr-loci.fr/reunions/ontologies-and-lexical-semantics/" rel="directory">Ontologies and lexical semantics</a> Statement https://www.anr-loci.fr/reunions/modalities-and-commitments/article/statement-463 https://www.anr-loci.fr/reunions/modalities-and-commitments/article/statement-463 2012-01-10T18:56:04Z text/html fr Winterstein Grégoire edito_rubrique <p>La journée se tiendra dans les bâtiments de l'ENS, au 24 rue Lhomond en salle L380 (anciennement T15). <br class='autobr' /> 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. <br class='autobr' /> 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. <br class='autobr' /> Il apparaît dans ces approches des (...)</p> - <a href="https://www.anr-loci.fr/reunions/modalities-and-commitments/" rel="directory">Modalities and commitments</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>La journée se tiendra dans les bâtiments de l'ENS, au 24 rue Lhomond en salle L380 (anciennement T15).</p> <p>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.</p> <p>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.</p> <p>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.</p> <p>Cette journée a pour but de faire le point sur les modalités et de les<br class='autobr' /> envisager sous ce jour nouveau, à l'écart de tout réalisme modal.</p></div> Statement https://www.anr-loci.fr/reunions/the-logic-of-the-lexicon/article/the-logic-of-the-lexicon https://www.anr-loci.fr/reunions/the-logic-of-the-lexicon/article/the-logic-of-the-lexicon 2014-02-28T09:47:16Z text/html fr edito_rubrique <p>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) <br class='autobr' /> Precise location : Toulouse, Université Toulouse Capitole, Salle Bâtiment Arsenal salle J002. <br class='autobr' /> Topics : Lexical semantics in compositional semantics Lexical pragmatics, word meaning in context Connections bewteen distributive semantics and compositional semantics Existent lexical (...)</p> - <a href="https://www.anr-loci.fr/reunions/the-logic-of-the-lexicon/" rel="directory">The logic of the lexicon</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>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)</p> <p>Precise location : Toulouse, Université Toulouse Capitole, Salle Bâtiment Arsenal salle J002.</p> <p><strong>Topics</strong> :</p> <ul class="spip"><li> Lexical semantics in compositional semantics</li><li> Lexical pragmatics, word meaning in context</li><li> Connections bewteen distributive semantics and compositional semantics</li><li> Existent lexical networks</li><li> Acquisition of a lexicon</li><li> Relation to ontologies</li><li> Lexicon for syntaxic and semantic analysis</li></ul> <p><strong>Other participants :</strong></p> <p>Philippe de Groote (Nancy)<br class='autobr' /> Pierre Livet (Aix-Marseille)<br class='autobr' /> Juliette Conrath (Toulouse) <br class='autobr' /> Philippe Muller (Toulouse)<br class='autobr' /> Myriam Quatrini (Aix-Marseille) <br class='autobr' /> Sylvain Pogodalla (Nancy)<br class='autobr' /> Stergos Afantenos (Toulouse) <br class='autobr' /> Farah Benamara (Toulouse) <br class='autobr' /> Eugenia Sironi (Marseille) <br class='autobr' /> Pierre Bourreau (Tübingen) <br class='autobr' /> Maxime Amblard (Nancy)</p></div> Sironi Eugenia https://www.anr-loci.fr/presentation/membres/article/sironi-eugenia https://www.anr-loci.fr/presentation/membres/article/sironi-eugenia 2011-10-31T15:36:14Z text/html fr <p>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.</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> <div class='rss_texte'><p>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.</p></div> Sironi Eugenia https://www.anr-loci.fr/presentation/membres/article/sironi-eugenia-english https://www.anr-loci.fr/presentation/membres/article/sironi-eugenia-english 2011-10-31T15:35:55Z text/html en <p>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.</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Members</a> <div class='rss_texte'><p>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.</p></div> SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest https://www.anr-loci.fr/presentation/partenaires/article/signes https://www.anr-loci.fr/presentation/partenaires/article/signes 2011-03-16T11:40:21Z text/html fr <p>SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partenaires</a> <div class='rss_texte'><p>SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest</p> <p>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 :<br/></p> <ul class="spip"><li> sur la logique linéaire (en particulier espaces cohérents, sémantique catégorique, modèles du premier ordre),</li><li> sur le lien entre lambda calcul typé et théorie des langages classiques (notamment à travers les grammaires catégorielles abstraites),</li><li> sur l'analyse syntaxique de l'oral (analyse catégorielle multimodale),</li><li> sur la sémantique lexicale dans un cadre compositionnel et logique.</li></ul> <p>Chercheurs :</p> <ul class="spip"><li> Christian Bassac,</li><li> Bruno Méri,</li><li> Richard Moot,</li><li> Christian Rétoré</li><li> Sylvain Salvati</li></ul></div> Seiller Thomas https://www.anr-loci.fr/presentation/membres/article/thomas-seiller https://www.anr-loci.fr/presentation/membres/article/thomas-seiller 2011-05-09T14:34:18Z text/html fr Questions formelles autour de la ludique Institut de Mathématiques de Luminy <p>Thomas Seiller travaille actuellement à l'Institut mathématique de Luminy dans l'équipe Logique de la programmation. <br class='autobr' /> 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. <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/institut-de-mathematiques-de" rel="tag"> Institut de Mathématiques de Luminy</a> <div class='rss_texte'><p>Thomas Seiller travaille actuellement à l'Institut mathématique de Luminy dans l'équipe Logique de la programmation.</p> <p>Il prépare une thèse de mathématiques, intitulée <i>Curry-Howard pour la concurrence : Géométrie de l'interaction et complexité</i>, sous la direction de Jean-Yves Girard et de Laurent Regnier.</p> <p> Il travaille principalement sur la géométrie de l'interaction, dans sa nouvelle version introduite par Jean-Yves Girard dans l'article <i>Geometry of Interaction V : logic in the hyperfinite factor</i>.</p></div> Salvati Sylvain https://www.anr-loci.fr/presentation/membres/article/sylvain-salvati https://www.anr-loci.fr/presentation/membres/article/sylvain-salvati 2011-05-16T09:17:29Z text/html fr Questions formelles autour de la ludique Signes - INRIA <p>Sylvain Salvati est actuellement Chargé de Recherche à l'INRIA Bordeaux Sud-Ouest où il travaille au sein de l'équipe Signes. <br class='autobr' /> Son travail porte sur un formalisme grammatical fondé sur le λ-calcul et la logique linéaire : les grammaires catégorielles abstraites (www). <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/signes-inria" rel="tag"> Signes - INRIA</a> <div class='rss_texte'><p>Sylvain Salvati est actuellement Chargé de Recherche à l'INRIA Bordeaux Sud-Ouest où il travaille au sein de l'équipe Signes. <br/></p> <p>Son travail porte sur un formalisme grammatical fondé sur le λ-calcul et la logique linéaire : les grammaires catégorielles abstraites (www).<br/></p> <p> 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.</p></div> Roussarie Laurent https://www.anr-loci.fr/presentation/membres/article/laurent-roussarie https://www.anr-loci.fr/presentation/membres/article/laurent-roussarie 2011-05-09T14:37:15Z text/html fr Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Vie sociale et pragmatique Structures Formelles du Langage (UMR 7023 CNRS/Paris 8) <p>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). <br class='autobr' /> Thèmes de recherche : - Sémantique formelle de la comparaison - Delixis et démonstratifs - Impératifs : Sémantique discursive et dialogique - Restriction <br class='autobr' /> Membre du SFL dans le domaine des sciences du langage. Apport de compétences en Sémantique. Publications : <br class='autobr' /> Articles de (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/vie-sociale-et-pragmatique" rel="tag">Vie sociale et pragmatique</a>, <a href="https://www.anr-loci.fr/mot/structures-formelles-du-langage" rel="tag"> Structures Formelles du Langage (UMR 7023 CNRS/Paris 8)</a> <div class='rss_texte'><p>Docteur en linguistique théorique, formelle et automatique de l'UFRL, Paris7 Denis Diderot.<br/> Maître de conférence à l'Université Paris 8 Vincennes/St-Denis, UFR SDL.<br/> Membre de l'UMR 7023 (Structures formelles du langage).<br/></p> <p>Thèmes de recherche :<br/> - Sémantique formelle de la comparaison<br/> - Delixis et démonstratifs<br/> - Impératifs : Sémantique discursive et dialogique<br/> - Restriction<br/></p> <p>Membre du SFL dans le domaine des sciences du langage. Apport de compétences en Sémantique.<br/></p> <p><strong>Publications :</strong><br/></p> <p>Articles de revues :<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Roussarie, Laurent et Amsili, Pascal (2007). Interpréter les pronoms phrastiques. Modèles Linguistiques, 56, pp. 83-112.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Caudal, Patrick, Roussarie, Laurent et & Vetters, Carl. (2003). L'imparfait, un temps inconséquent. Langue Française, 138, pp. 61-74.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p>Contribution à ouvrages collectifs :<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p>Communications en conférences :<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Caudal, Patrick et Roussarie, Laurent (2004). Brands of perfects : semantics and pragmatics. In Proceedings of the Texas Linguistics Society 8, Austin.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Roussarie, Laurent (2003). Dynamique des référents d'actes de langage. Journées Semantique et Modélisation, 20 mars 2003, Paris. (Slides).<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Caudal, Patrick et Roussarie, Laurent (2002). Contribution discursive et sémantique des constructions en si. Chronos 5, Groningen.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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)<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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. <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Caudal, Patrick et Roussarie, Laurent (2000). Event Structure vs. Stage Structure and Abstract Aspectual Relations. In Proceedings of BLS 26, UC Berkeley.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/> <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p></div> Romano Marco https://www.anr-loci.fr/presentation/membres/article/marco-romano https://www.anr-loci.fr/presentation/membres/article/marco-romano 2011-03-09T10:22:05Z text/html fr Communication Web et Ontologies Laboratoire d'Informatique de Paris-Nord <p>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 entreprise (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/laboratoire-d-informatique-de" rel="tag"> Laboratoire d'Informatique de Paris-Nord</a> <div class='rss_texte'><p>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 entreprise informatique italienne (Epistematica), laquelle expérimente l'usage de ces technologies.</p></div> Rétoré Christian https://www.anr-loci.fr/presentation/membres/article/christian-retore https://www.anr-loci.fr/presentation/membres/article/christian-retore 2011-05-10T16:11:40Z text/html fr admin Coordination Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Communication Web et Ontologies Questions formelles autour de la ludique Signes - INRIA <p>Professeur au département d'informatique, UFR Maths-Info, à l'Université Bordeaux 1.</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/coordination" rel="tag">Coordination</a>, <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/signes-inria" rel="tag"> Signes - INRIA</a> <div class='rss_texte'><p>Professeur au département d'informatique, UFR Maths-Info, à l'Université Bordeaux 1.</p></div> Résurgences https://www.anr-loci.fr/presentation/partenaires/article/resurgences https://www.anr-loci.fr/presentation/partenaires/article/resurgences 2011-03-16T13:08:49Z text/html fr <p>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, (...)</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partenaires</a> <div class='rss_texte'><p>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.<br class='autobr' /> 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.</p> <p>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.<br class='autobr' /> L'association emploie trente-sept personnes elle est agréée organisme de formation et impliquée dans plusieurs réseaux, membre notamment du PRIMI (<a href="http://www.primi.pro" class='spip_url spip_out auto' rel='nofollow external'>www.primi.pro</a>), 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.</p> <p>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).<br class='autobr' /> 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.</p> <p>Chercheurs :</p> <ul class="spip"><li> Samuel Tronçon</li><li> Pierre Livet</li></ul></div> Queen Mary College, Dept Of Computer science, London https://www.anr-loci.fr/presentation/partenaires/article/queen-mary-college-dept-of https://www.anr-loci.fr/presentation/partenaires/article/queen-mary-college-dept-of 2011-05-20T14:35:30Z text/html fr <p>Dept of Computer Science, Queen Mary College, London <br class='autobr' /> 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, (...)</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partenaires</a> <div class='rss_texte'><p>Dept of Computer Science, Queen Mary College, London</p> <p>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.<br/></p> <p>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.</p> <p>Chercheurs :</p> <ul class="spip"><li> Ruth Kempson</li><li> Graham White</li></ul></div> Queen Mary College, Dept of Computer Science, London https://www.anr-loci.fr/presentation/partenaires/article/queen-mary-college-london https://www.anr-loci.fr/presentation/partenaires/article/queen-mary-college-london 2011-05-10T16:12:43Z text/html en <p>Dept of Computer Science, Queen Mary College, London</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partners</a> <div class='rss_texte'><p>Dept of Computer Science, Queen Mary College, London</p></div> Quatrini Myriam https://www.anr-loci.fr/presentation/membres/article/myriam-quatrini https://www.anr-loci.fr/presentation/membres/article/myriam-quatrini 2011-03-09T10:21:31Z text/html fr Coordination Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Communication Web et Ontologies Questions formelles autour de la ludique Institut de Mathématiques de Luminy <p>42 ans <br class='autobr' /> 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 <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/coordination" rel="tag">Coordination</a>, <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/institut-de-mathematiques-de" rel="tag"> Institut de Mathématiques de Luminy</a> <div class='rss_texte'><p>42 ans</p> <p>Position : Maître de Conférences en Mathématiques, Membre de l'Institut de Mathématiques de Luminy' <br/> Adresse Professionnelle : Département de Mathématiques, Faculté des Sciences de Luminy, Case 901,163 Av de Luminy, 13 288 Marseille cedex 9<br/> Email : quatrini@iml.univ-mrs.fr tel : 04 91 26 96 36</p> <p><strong>CURSUS</strong></p> <ul class="spip"><li> Phd Thesis : Doctorat de Mathématiques, dirigée par G. Blanc,, janvier 1995, Faculté des Sciences de Luminy,</li><li> D.E.A. de Mathématiques Pures de l'Université de Provence, juin 1991</li></ul> <p><strong>RESPONSABILITES</strong></p> <ul class="spip"><li> 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)</li><li> 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)</li><li> Chercheur à l'Institut de mathématiques de Luminy, dans l'équipe « Logique de la Programmation »</li><li> Responsable scientifique du site partenaire Marseille pour le projet A.N.R. Prélude</li></ul> <p> <strong>RECHERCHE</strong> <br/> 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.</p> <p><strong>PUBLICATIONS</strong> (cinq parmi les plus significatives des cinq dernières années)<br/></p> <ul class="spip"><li> M.-R. Fleury, M. Quatrini : First order in Ludics, in Mathematical Structures in Computer Science 14,no 2, 189—213, 2004.</li><li> 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.</li><li> M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus, in Categorial grammars and pregroups special issue of Studia Logica 87.2/3, 2007.</li><li> 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,</li><li> A. Lecomte, M. Quatrini : Ludics and Rhetorics, Actes de PRELUDE, Springer, LNCS, LNAI-Folli, to appear,</li></ul></div> Programme préliminaire https://www.anr-loci.fr/reunions/ludics-and-philosophy/article/programme-preliminaire https://www.anr-loci.fr/reunions/ludics-and-philosophy/article/programme-preliminaire 2014-06-19T10:44:57Z text/html fr edito_rubrique <p>Thursday, June 26th <br class='autobr' /> 09h30 : Opening : Themes of these days <br class='autobr' /> 10h15 : Alain Lecomte : Ludics and modelisation of Socratic dialogues <br class='autobr' /> 11h00 : coffee break <br class='autobr' /> 11h15 : Michele Abrusci : Incompleteness theorems and Transcendental Syntax <br class='autobr' /> 12h00 : Mathieu Marion : Dialogue, dialectics, and inferentialism <br class='autobr' /> 12h45 : lunch <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/ludics-and-philosophy/" rel="directory">LUDICS AND PHILOSOPHY</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>Thursday, June 26th</p> <p>09h30 : Opening : Themes of these days <br class='autobr' /> 10h15 : Alain Lecomte : Ludics and modelisation of Socratic dialogues <br class='autobr' /> 11h00 : coffee break <br class='autobr' /> 11h15 : Michele Abrusci : Incompleteness theorems and Transcendental Syntax <br class='autobr' /> 12h00 : Mathieu Marion : Dialogue, dialectics, and inferentialism</p> <p>12h45 : lunch</p> <p>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</p> <p>Friday, June 27th</p> <p>09h30 :Laurent Keiff : Modalities, Proof theory and Ludics <br class='autobr' /> 10h15 : Frederic Nef : Relation and Connection <br class='autobr' /> 11h00 : coffee break <br class='autobr' /> 11h15 : Michele Basaldella : Ludics without designs <br class='autobr' /> 12h00 : Arnaud Valence : Towards a Transcendental Euristics</p> <p>12h45 : lunch</p> <p>14h30 : Daniele Porello : TBA <br class='autobr' /> 15h15 : Pierre Livet : The notion of incompatibility in Brandom's inferentialism <br class='autobr' /> 16h00 : coffee break <br class='autobr' /> 16h15 : Samuel Tronçon : Ludics and Social Interaction <br class='autobr' /> 17h00 : General Discussion</p></div> Programme https://www.anr-loci.fr/reunions/ludique-tutorial-et-semantique-de/article/programme https://www.anr-loci.fr/reunions/ludique-tutorial-et-semantique-de/article/programme 2011-04-04T14:42:27Z text/html fr Tronçon Samuel edito_rubrique <p>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) <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/ludique-tutorial-et-semantique-de/" rel="directory">Ludique (tutorial) et Sémantique de l'énoncé</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p><strong>Jeudi 20 janvier</strong></p> <ul class="spip"><li> 9h30 : Ludique : cours introductif par Lionel Vaux (IML)</li><li> 11 h : pause café</li><li> 11 h 20 Suite</li><li> 12h30 : repas</li><li> 14 h : Introduction aux c-desseins par Christophe Fouqueré (LIPN)</li><li> 15h30 : pause</li><li> 16 h : Ludique et Dialogues, et quelques applications par Myriam Quatrini (IML)</li></ul> <p><strong>Vendredi 21 janvier</strong></p> <ul class="spip"><li> 9 h 30 : Propositions pour une s ́emantique inf ́erentialiste de l' ́enonc ́e par Alain lecomte (SFL)</li><li> 10h30 : pause</li><li> 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)</li><li> 12h30 : repas</li><li> 14 h Table ronde animée et introduite par Samuel Tronçon (Résurgences)</li></ul></div> Programme https://www.anr-loci.fr/reunions/meeting-de-lancement/article/programme-321 https://www.anr-loci.fr/reunions/meeting-de-lancement/article/programme-321 2011-05-13T13:36:38Z text/html fr admin edito_rubrique <p>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 <br class='autobr' /> 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 <br class='autobr' /> de la modélisation des processus d'apprentissage interactif en langue des signes (...)</p> - <a href="https://www.anr-loci.fr/reunions/meeting-de-lancement/" rel="directory">Réunion de lancement</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><ul class="spip"><li> 9h30 : Présentation du projet par Alain LECOMTE (SFL-Paris 8-CNRS), coordinateur</li><li> 10h 15 : Intervention de madame Nadia NADAH, assistante de projet à l'ANR</li><li> 10h 35 : pause café</li><li> 11h : Intervention de Prof. Michele ABRUSCI (Rome 3), l'intérêt du projet du point de vue<br class='autobr' /> des travaux sur la communication Web et les ontologies</li><li> 11h 45 : Intervention de Prof. Christian CUXAC (Paris 8), l'intérêt du projet du point de vue<br class='autobr' /> de la modélisation des processus d'apprentissage interactif en langue des signes</li><li> 12h30:Intervention de Prof.RuthKEMPSON (King'sCollege,London),l'intérêt du projet<br class='autobr' /> du point de vue de la modélisation de la syntaxe dynamique</li><li> 13h 15 : fin des exposés du matin<br class='autobr' /> L'après-midi est consacrée à une réunion d'organisation interne.</li></ul></div> Programme https://www.anr-loci.fr/reunions/ontologies-and-lexical-semantics/article/program https://www.anr-loci.fr/reunions/ontologies-and-lexical-semantics/article/program 2011-09-23T14:45:48Z text/html fr Tronçon Samuel edito_rubrique <p>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 <br class='autobr' /> Friday, September 30, (...)</p> - <a href="https://www.anr-loci.fr/reunions/ontologies-and-lexical-semantics/" rel="directory">Ontologies and lexical semantics</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p><strong>Friday, September 30, morning</strong></p> <ul class="spip"><li> 9h.00-10h00 : Alain LECOMTE (SFL, Université Paris 8)<br class='autobr' /> Introduction aux problèmes de lexique</li><li> 10h00-10h30 : Coffeebreak</li><li> 10h30-11h30 : Marco ROMANO (Università Roma Tre & Epistematica Srl)<br class='autobr' /> Ontologies, Logic and Interaction, 1. Approaches to Semantic Web : From lexical semantics to geometrical compatibility</li><li> 11h30-12h30 : V. Michele ABRUSCI (Università Roma Tre)<br class='autobr' /> Ontologies, Logic and Interaction, 2. Open questions and new research perspectives</li></ul> <p><strong>Friday, September 30, afternoon</strong></p> <ul class="spip"><li> 15h00-16h00 : Pierre LIVET(Université de Provence)<br class='autobr' /> Ludics as a process of making explicit and interactive ontological types</li><li> 16h00-17h00 : Claudia CASADIO (Università di Chieti-Pescara)<br class='autobr' /> Ontologies in Linguistics and Psychology : Theoretical models and open problems</li><li> 17h00-17h30 : Coffeebreak</li><li> 17h30-18h30 : Remo PARESCHI (Università del Molise)<br class='autobr' /> An inside-out perspective on lightweight ontologies</li></ul><ul class="spip"><li> 18h30-19h30 : First general discussion. Chair : Christophe FOUQUERÉ (LIPN, Université Paris 13)<br class='autobr' /> Ontologies et sémantique lexicale</li></ul> <p><strong>Saturday, October 1, morning</strong></p> <ul class="spip"><li> 9h00-10h00 : Aldo GANGEMI (ISTC, CNR, Roma)<br class='autobr' /> Some design patterns for the ontology-lexicon interface over the Web</li><li> 10h00-10h30 : Coffeebreak</li><li> 10h30-11h30 : Richard MOOT (LaBRI, Université de Bordeaux)<br class='autobr' /> Syntax, semantics, and pragmatics in a unified type theoretical framework<br class='autobr' /> (Joint work with Laurent Prévot and Christian Retoré)</li><li> 11h30-12h30 : DanielePORELLO (University Amsterdam)<br class='autobr' /> Ontology Merging as Social Choice</li></ul> <p><strong>Saturday, October 1, afternoon</strong></p> <ul class="spip"><li> 15h00-16h00 : Monica MONACHINI (ILC, CNR, Pisa)<br class='autobr' /> Towards interfacing lexical and ontological resources</li><li> 16h00-17h00 : Samuel TRONÇON (Groupe Résurgences / IML)<br class='autobr' /> Diffusion et infiltration dans les réseaux sociaux</li><li> 17h00-17h30 : Coffeebreak</li><li> 17h30-18h30 : Final general discussion. Chair : Claire BEYSSADE (Institut Nicod, Paris)<br class='autobr' /> Ontologies et sémantique lexicale</li></ul></div> Programme https://www.anr-loci.fr/reunions/modalities-and-commitments/article/programme-464 https://www.anr-loci.fr/reunions/modalities-and-commitments/article/programme-464 2012-01-10T18:56:32Z text/html fr Winterstein Grégoire <p>Vous trouverez ci-dessous le programme de la journée. <br class='autobr' /> 10h00 : Alain Lecomte - Introduction <br class='autobr' /> 10h30 : Alda Mari - "Les modalités : opérateurs ou prédicats ?" <br class='autobr' /> 12h00 : Pause déjeuner <br class='autobr' /> 13h30 : Daniele Porello : "Notes on dialectical pragmatism" <br class='autobr' /> 15h00 : Pause <br class='autobr' /> 15h30 : Grégoire Winterstein : "Ludique et Projection"</p> - <a href="https://www.anr-loci.fr/reunions/modalities-and-commitments/" rel="directory">Modalities and commitments</a> <div class='rss_texte'><p>Vous trouverez ci-dessous le programme de la journée.</p> <hr class="spip" /> <p>10h00 : Alain Lecomte - Introduction</p> <p>10h30 : Alda Mari - "Les modalités : opérateurs ou prédicats ?"</p> <p>12h00 : Pause déjeuner</p> <p>13h30 : Daniele Porello : "Notes on dialectical pragmatism"</p> <p>15h00 : Pause</p> <p>15h30 : Grégoire Winterstein : "Ludique et Projection"</p></div> Programme https://www.anr-loci.fr/reunions/interactions-sociales/article/programme-469 https://www.anr-loci.fr/reunions/interactions-sociales/article/programme-469 2012-02-23T14:47:01Z text/html fr Fleury Marie-Renée <p>Jeudi 5 Avril : Vie sociale et pragmatique <br class='autobr' /> 9h30 Accueil <br class='autobr' /> ......................................... <br class='autobr' /> 10h - 12h Philippe Blache (LPL) <br class='autobr' /> Pause déjeuner <br class='autobr' /> 14h - 15h Claire Beyssade (Institut Jean Nicot) : "Les questions au coeur du dialogue" <br class='autobr' /> ......................................... <br class='autobr' /> 15h - 16h Myriam Quatrini (IML) / Christophe Fouqueré (LIPN) : "Modélisation de l'argumentation en Ludique" (Résumé ci-dessous) <br class='autobr' /> Pause <br class='autobr' /> 16h30 - 17h30 Pierre Livet (CEPERC) Modalités, ludique et actes (...)</p> - <a href="https://www.anr-loci.fr/reunions/interactions-sociales/" rel="directory">Interactions sociales, apprentissage et langue des signes</a> <div class='rss_texte'><hr/> <hr/><h3 class="spip">Jeudi 5 Avril : Vie sociale et pragmatique</h3><hr/> <p>9h30 <u>Accueil</u></p> <center>.........................................</center> <p>10h - 12h <u> Philippe Blache </u> (LPL)</p> <hr/align="center", width=33%> <center> Pause déjeuner </center> <hr/align="center", width=33%> <p>14h - 15h <u> Claire Beyssade </u> (Institut Jean Nicot) :</p> <center><i>"Les questions au coeur du dialogue"</i></center><center>.........................................</center> <p>15h - 16h <u> Myriam Quatrini </u> (IML) / <u> Christophe Fouqueré </u> (LIPN) :</p> <center><i>"Modélisation de l'argumentation en Ludique"</i></center> <p><br/></p> <center>(Résumé ci-dessous) </center><hr/align="center", width=33%> <center> Pause </center> <hr/align="center", width=33%> <p>16h30 - 17h30 <u> Pierre Livet </u> (CEPERC)</p> <center> <i>Modalités, ludique et actes de langage</i></center> <center>.........................................</center> <p>17h30 - 18h30 <u> Samuel Tronçon </u> (Résurgence) : <i>les projets en cours</i></p> <hr/> <hr/><h3 class="spip">Vendredi 6 Avril : Langue des Signes</h3><hr/> <p>9h30 <u>Accueil</u></p> <center>.........................................</center> <p>10h - 12h <u> Christian Cuxac </u> (Paris 8)</p> <hr/align="center", width=33%> <center> Pause déjeuner </center> <hr/align="center", width=33%> <p>14h - 15h <u> Marie-Thérèse L'Huillier </u> (Paris 8) :<br/></p> <center><i>"Comment faire évoluer les troubles de l'attention visuelle <br/> chez l'enfant sourd ?"</i> </center><hr/align="center", width=33%> <center> Pause </center> <hr/align="center", width=33%> <p>15h30 - 16h15 <u> Fanny Macé </u> (Paris 8) <br/></p> <center> <i>Limitation dans l'interaction dans la langue des signes émergente</i></center> <center>.........................................</center> <p>16h15 - 17h <u> Loïc Kervajan </u> (TALEP, LIF-Marseille)</p> <center><i>"Une approche de la décomposition morphosyntaxique de la LSF, au service du discours métalinguistique."</i></center><hr/align="center", width=33%> <center> Pause </center> <hr/align="center", width=33%> <p>17h30 Table ronde</p> <hr/> <hr/> <center><h3 class="spip"> Résumés </h3></center> <hr/> <p><u> Claire Beyssade </u> (Institut Jean Nicot) : <br/></p> <center><i>"Les questions au coeur du dialogue"</i></center> <p><br/> <strong>Résumé</strong> :<br/> Je commencerai par rappeler la part croissante prise par l'étude des<br class='autobr' /> questions en sémantique et en pragmatique formelles et je montrerai en quoi<br class='autobr' /> les travaux récents (comme ceux de Roberts, Büring ou Ginzburg sur le<br class='autobr' /> dialogue ou ceux de Groenendijk et al. sur Inquisitive Semantics) ont<br class='autobr' /> conduit à faire des questions, qu'elles soient implicites ou explicites, le<br class='autobr' /> pivot de la gestion des dialogues et à repenser ce qu'est le sens d'un<br class='autobr' /> énoncé en distinguant des contenus sémantiques multiples, remplissant des<br class='autobr' /> fonctions dialogiques différentes. Je discuterai particulièrement deux<br class='autobr' /> points : <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> le rapport entre contenu at issue et question en discussion</p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> le lien entre biais et négation dans les questions, mais aussi dans les<br class='autobr' /> réponses.</p> <p><u> Christophe Fouqueré et Myriam Quatrini </u> : <br/></p> <center><i> Modélisation de l'argumentation en Ludique</i></center> <p><br/> <strong>Résumé :</strong><br/> 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.<br/> La représentation des dialogues et des controverses s'appuie sur une notion<br class='autobr' /> 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.</p> <p><u> Marie-Thérèse L'Huillier </u> (Paris 8) :<br/></p> <center><i>"Comment faire évoluer les troubles de l'attention visuelle chez l'enfant sourd ?"</i></center> <p><br/> <strong>Résumé :</strong><br/> Dans cet exposé, je présenterai l'analyse<br class='autobr' /> longitudinale et transversale d'une expérimentation des activités<br class='autobr' /> perspectives et interactives avec le pointage et la visée "donner à<br class='autobr' /> voir"</p> <p><u> Pierre Livet </u> (CEPERQ, Aix en provence) :<br/></p> <center><i> "Modalités, ludique et actes de language"</i></center> <p><br/> <strong>Résumé :</strong><br/> 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.</p> <p><u> Loïc Kervajan </u> (TALEP, LIF-Marseille)<br/></p> <center><i>"Une approche de la décomposition morphosyntaxique de la LSF, au service du discours métalinguistique."</i></center> <p><br/> <strong>Résumé</strong> :<br/> L'enseignement du français écrit à de jeunes sourds peut être en <br class='autobr' /> lui-même<br class='autobr' /> source d'échec lorsqu'il se fait d'emblée par l'utilisation du <br class='autobr' /> discours<br class='autobr' /> métalinguistique sur le français. Or, il semble très compliqué pour un<br class='autobr' /> locuteur d'appréhender l'exercice du discours métalinguistique (en tant <br class='autobr' /> que<br class='autobr' /> tel) si ce dernier ne renvoie pas à une langue qu'il maitrise, qu'il<br class='autobr' /> manipule couramment. Par contre, la maitrise de cet exercice peut l'aider<br class='autobr' /> dans l'apprentissage d'une langue seconde. Si passer par cette maitrise<br class='autobr' /> n'est pas indispensable pour un entendant, puisqu'il est possible<br class='autobr' /> d'acquérir une seconde langue simplement par immersion linguistique (donc<br class='autobr' /> par répétition), cela devient une aide très précieuse pour un Sourd <br class='autobr' /> puisque<br class='autobr' /> l'immersion linguistique est impossible à réaliser. Aujourd'hui, les<br class='autobr' /> enseignants de français pour les Sourds sont rarement Sourds eux-mêmes,<br class='autobr' /> sont rarement couramment bilingues et, pour la plupart, utilisent quelques<br class='autobr' /> gestes désordonnés pour accompagner leur démonstration « orale » <br class='autobr' /> de français<br class='autobr' /> signé. La LSF n'est alors jamais utilisée comme référentiel <br class='autobr' /> à partir duquel<br class='autobr' /> analyser des mécanismes morphosyntaxiques pour<br class='autobr' /> en comprendre d'autres en français.</p> <p>Dans cette présentation, je proposerai une approche descriptive de la LSF<br class='autobr' /> donnant une autre vision de la richesse de cette langue, tantôt perçue - à<br class='autobr' /> tord - comme moins structurée qu'une langue comme le français, tantôt<br class='autobr' /> perçue comme tellement différente - voir plus riche sous certains aspects -<br class='autobr' /> qu'une langue vocale que la comparaison serait hasardeuse. Pourtant, je<br class='autobr' /> montrerai jusqu'à quel niveau de complexité structurelle la description<br class='autobr' /> morphosyntaxique d'énoncés courts de la LSF peut nous entrainer, avec la<br class='autobr' /> mise en lumière de mécanismes de contraintes d'accord particuliers.<br class='autobr' /> J'évoquerai également en quoi la comparaison linguistique peut être<br class='autobr' /> pertinente dans le cadre de l'apprentissage d'une langue seconde, même si<br class='autobr' /> la langue première est la LSF.</p> <hr class="spip" /><h3 class="spip">Les conférenciers invités </h3> <p><strong>Christian Cuxac</strong> : Professeur, Paris 8 - chercheur à l'UMR : SFL<br class='autobr' /> (Structure Formelle du Langage)</p> <p><strong>Marie-Thérèse L'Huillier </strong> : Ingénieure d'étude, <br class='autobr' /> CNRS-Paris 8</p> <p><strong>Philippe Blache </strong> : Directeur de Recherches, Laboratoire Parole et Langage,<br class='autobr' /> Aix en Provence</p> <p><strong>Claire Beyssade</strong> : chargée de recherche à l'Institut Jean Nicot (ENS Paris)</p> <p><strong>Pierre Livet </strong> : professeur émérite de l'université de Provence, <br class='autobr' /> chercheur<br class='autobr' /> au CEPERC (Centre d'EPistémologie et d'ERgonomie Comparatives)</p> <p><strong>Myriam Quatrini</strong> : Maître de conférences, Aix-Marseille Université,<br class='autobr' /> chercheur à l'IML (Institut de Mathématiques de Luminy)</p> <p><strong>Christophe Fouqueré </strong> : Professeur d'Informatique à l'université <br class='autobr' /> Paris 13,<br class='autobr' /> chercheur au LIPN (Laboratoire d'Informatique de l'université Paris Nord )</p> <p><strong>Fanny Macé</strong> : doctorante au laboratoire SFL (Structure Formelle du Langage),<br class='autobr' /> Paris 8</p> <p><strong>Loic Kervajan </strong> : Post-doc dans l'équipe TALEP du LIF</p></div> Programm https://www.anr-loci.fr/reunions/the-logic-of-the-lexicon/article/programm-595 https://www.anr-loci.fr/reunions/the-logic-of-the-lexicon/article/programm-595 2014-06-23T11:24:55Z text/html fr Tronçon Samuel <p>Program <br class='autobr' /> 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 <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/the-logic-of-the-lexicon/" rel="directory">The logic of the lexicon</a> <div class='rss_texte'><p><strong>Program</strong></p> <p><i>Monday morning</i></p> <ul class="spip"><li> 9:30 Presentation of the workshop</li><li> 10-10:50 Sylvain Salvati (INRIA & LABRI - Bordeaux) <i>Simple account of basic lexical semantics</i></li><li> pause 20'</li><li> 11:10-12 Tim van de Cruys (CNRS - IRIT - Toulouse) <i>Word vectors, distributional similarity and applications</i></li></ul> <p><i>Monday afternoon</i></p> <ul class="spip"><li> 14 14:50 Veronika Lux (CNRS - ATILF - Nancy) <i>Introducing the French Lexical Network </i></li><li> 14:50 15:40 Mathieu Lafourcade & Manel Zarrouk (U. Montpellier 2 - LIRMM) <i> Deductive and inductive inferences from JeuxDeMots, a game-acquired lexicon</i></li><li> pause 30'</li><li> 16:10-17 Mickael Zock (CNRS - LIF - Marseille) <i>How to help authors to overcome the Tip-Of-the-Tongue problem : lexical graphs (or associative networks) and some inherent problems</i></li><li> 17 -17:50 Bruno Gaume (CNRS - CLLE - Toulouse) <i>A robust metrology of lexical networks based on random walks in lexical relations </i></li></ul> <p><i>Tuesday morning</i></p> <ul class="spip"><li> Nathalie Aussenac-Gilles (CNRS - IRIT - Toulouse) <i>Ontologies, texts and the lexicon</i></li><li> pause 20'</li><li> 10:40-11:30 Alain Lecomte (U. Paris 8 & SFL) <i>Ludics and the lexicon</i></li><li> 11:30-12:20 Christophe Fouqueré (U. Paris 13 & LIPN) <i>About Coherence Use in Natural Language </i></li></ul> <p><i>Tuesday afternoon</i></p> <ul class="spip"><li> 14-14:50 Robin Cooper (U. Göteborg) <i>Types, judgements and lexical meaning</i></li><li> 14:50-15:40 Nicholas Asher (CNRS - IRIT - Toulouse) <i>Word meaning in context : semantic approaches based on type theory</i></li><li> pause 30'</li><li> 16:10- 17 Zhaohui Luo (Royal Holloway College, U. of London) <i>Modern Type Theories and Montague Semantics : Comparisons and Beyond </i></li><li> 17-17:40 Christian Retoré (U. Bordeaux 1 & IRIT - Toulouse) <i>Compositional semantics and lexical pragmatics in type theory</i></li><li> 17:40-18 Tim van de Cruys (CNRS - IRIT - Toulouse) <i>On the convergence between compositional semantics and distributional semantics : A Tensor-based Factorization Model of Semantic Compositionality</i></li></ul> <p><i>Wednesday morning</i></p> <ul class="spip"><li> 9:30-10:20 Laurence Danlos (U. Paris 7 & INRIA) <i>Problems at the syntax-semantics interface with adverbial connectives </i></li><li> pause 20'</li><li> 10:40-11:30 Richard Moot (CNRS - LaBRI - Bordeaux) <i>Wide-coverage semantics applied to temporal ordering and presupposition </i></li><li> 11-:30-12:20 Reinhard Muskens (U. Tilburg) <i>Names</i></li></ul> <p><i>Wedesday afternoon</i></p> <p>Discussion of the projects Polymnie and LOCI, prospect for national and international projects.</p></div> Positionnement https://www.anr-loci.fr/presentation/article/positionnement https://www.anr-loci.fr/presentation/article/positionnement 2011-02-19T01:32:44Z text/html fr admin edito_rubrique <p>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 <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/" rel="directory">Présentation</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>LOCI (”Locativité et Interaction en Logique, Langage et Informatique”) s'inscrit dans une perspective résolument pluridisciplinaire, qui concerne à égalité :</p> <ul class="spip"><li> l'informatique, dans ses aspects pratiques et ses liens avec la logique,</li><li> la linguistique,</li><li> les sciences humaines et sociales</li><li> la philosophie</li></ul> <p>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.</p> <p>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 :</p> <ul class="spip"><li> 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,</li><li> 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.</li></ul> <p>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 <br class='autobr' /> 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 <br class='autobr' /> 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.</p> <p>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. <br class='autobr' /> 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é <br class='autobr' /> 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 <br class='autobr' /> 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).</p> <p>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). <br class='autobr' /> 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.</p></div> Moot Richard https://www.anr-loci.fr/presentation/membres/article/richard-moot https://www.anr-loci.fr/presentation/membres/article/richard-moot 2011-05-16T09:17:26Z text/html fr Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Signes - INRIA <p>Richard Moot est actuellement au LABRI en tant que chercheur CNRS et membre de l'équipe de SIGNES.</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/signes-inria" rel="tag"> Signes - INRIA</a> <div class='rss_texte'><p>Richard Moot est actuellement au LABRI en tant que chercheur CNRS et membre de l'équipe de SIGNES.</p></div> Mery Bruno https://www.anr-loci.fr/presentation/membres/article/bruno-mery https://www.anr-loci.fr/presentation/membres/article/bruno-mery 2011-05-16T09:17:18Z text/html fr Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Signes - INRIA <p>Doctorant en Informatique, au LaBRI.</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/signes-inria" rel="tag"> Signes - INRIA</a> <div class='rss_texte'><p>Doctorant en Informatique, au LaBRI.</p></div> Mace Fanny https://www.anr-loci.fr/presentation/membres/article/fanny-mace https://www.anr-loci.fr/presentation/membres/article/fanny-mace 2011-05-10T15:52:25Z text/html fr Modélisation de l'apprentissage de la langue des signes Structures Formelles du Langage (UMR 7023 CNRS/Paris 8) - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/modelisation-de-l-apprentissage-de" rel="tag">Modélisation de l'apprentissage de la langue des signes</a>, <a href="https://www.anr-loci.fr/mot/structures-formelles-du-langage" rel="tag"> Structures Formelles du Langage (UMR 7023 CNRS/Paris 8)</a> Loddo Jean-Vincent https://www.anr-loci.fr/presentation/membres/article/jean-vincent-loddo https://www.anr-loci.fr/presentation/membres/article/jean-vincent-loddo 2011-05-09T14:37:06Z text/html fr Communication Web et Ontologies Laboratoire d'Informatique de Paris-Nord <p>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) <br class='autobr' /> Docteur en informatique de l'Université Paris 7 (ancien thésard de PPS et du LIENS). <br class='autobr' /> Laurea in scienze dell'informazione de l'Université de Pise. <br class='autobr' /> Publications <br class='autobr' /> * J.-V. Loddo, L. Saiu. How to Correctly Prune Tropical Trees. In proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/laboratoire-d-informatique-de" rel="tag"> Laboratoire d'Informatique de Paris-Nord</a> <div class='rss_texte'><p>Maître de conférences : <br/></p> <ul class="spip"><li> IUT de Villetaneuse - Département R&T</li><li> Laboratoire d'Informatique de Paris Nord (LIPN) - Équipe LCR</li><li> Université Paris Nord (Paris 13)</li></ul> <p>Docteur en informatique de l'Université Paris 7 (ancien thésard de PPS et du LIENS).</p> <p>Laurea in scienze dell'informazione de l'Université de Pise.</p> <h3 class="spip">Publications</h3> <p> * 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</p> <p> * 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> <p> * 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</p> <p> * 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</p> <p> * 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</p> <p> * 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> <p> * 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</p></div> Livet Pierre https://www.anr-loci.fr/presentation/membres/article/pierre-livet https://www.anr-loci.fr/presentation/membres/article/pierre-livet 2011-03-09T10:22:03Z text/html fr Vie sociale et pragmatique Résurgences <p>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> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/vie-sociale-et-pragmatique" rel="tag">Vie sociale et pragmatique</a>, <a href="https://www.anr-loci.fr/mot/resurgences" rel="tag"> Résurgences</a> <div class='rss_texte'><p>64 ans, Professeur d'épistémologie à l'Université d'Aix-Marseille.</p> <ul class="spip"><li> 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</li><li> Avec Frédéric Nef, Les êtres sociaux , Hermann, 2009. (410 p.)</li><li> 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</li><li> P. Livet « Conversation et révision » Langage et Société, Les normes pratiques, n°119, p 43-62, 2007</li></ul></div> Lieu et Accès https://www.anr-loci.fr/reunions/interactions-sociales/article/programme-466 https://www.anr-loci.fr/reunions/interactions-sociales/article/programme-466 2012-02-22T11:43:52Z text/html fr Fleury Marie-Renée <p>La conférence a lieu à l'IMéRA (Institut Méditerranéen de <br class='autobr' /> Recherches <br class='autobr' /> avancées, www.imera.fr, <br class='autobr' /> dans les locaux de l'ancien observatoire de Marseille, situé à côté <br class='autobr' /> du <br class='autobr' /> Palais Longchamp, à deux pas du centre, très accessible par métro direct <br class='autobr' /> depuis la gare Saint Charles, tram et bus (le 81)depuis la Canebière. <br class='autobr' /> Toutes les indications (plan, ...) pour se rendre à la conférence sont sur le <br class='autobr' /> site de l'IMéRA :www.imera.fr <br class='autobr' /> L'accès aux conférences est libre, mais *vous devez vous inscrire* <br class='autobr' /> auprès de Marie-Renée (...)</p> - <a href="https://www.anr-loci.fr/reunions/interactions-sociales/" rel="directory">Interactions sociales, apprentissage et langue des signes</a> <div class='rss_texte'><p>La conférence a lieu à l'IMéRA (Institut Méditerranéen de <br class='autobr' /> Recherches<br class='autobr' /> avancées, <a href="http://www.imera.fr/index.php/fr/informations-pratiques/plan-dacces.html" class='spip_out' rel='external'>www.imera.fr</a>,<br class='autobr' /> dans les locaux de l'ancien observatoire de Marseille, situé à côté <br class='autobr' /> du<br class='autobr' /> Palais Longchamp, à deux pas du centre, très accessible par métro direct<br class='autobr' /> depuis la gare Saint Charles, tram et bus (le 81)depuis la Canebière.</p> <p>Toutes les indications (plan, ...) pour se rendre à la conférence sont sur le<br class='autobr' /> site de l'IMéRA :<a href="http://www.imera.fr/index.php/fr/informations-pratiques/plan-dacces.html" class='spip_out' rel='external'>www.imera.fr</a></p> <p>L'accès aux conférences est libre, mais *vous devez vous inscrire* <br class='autobr' /> auprès de <strong>Marie-Renée Fleury</strong> en envoyant un mail à <u>*fleurymr@gmail.com*</u><fleurymr@gmail.com> indiquant vos nom, prénom, institution, et vos dates prévues d'arrivée et de départ.</p></div> Lecomte Alain https://www.anr-loci.fr/presentation/membres/article/alain-lecomte https://www.anr-loci.fr/presentation/membres/article/alain-lecomte 2011-03-09T10:22:12Z text/html fr Coordination Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Modélisation de l'apprentissage de la langue des signes Structures Formelles du Langage (UMR 7023 CNRS/Paris 8) <p>Né le 15/04/1947 <br class='autobr' /> 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 <br class='autobr' /> Membre de l'UMR 7023 depuis 2006 (CLIPS IMAG – Grenoble auparavant) Professeur de Sciences du langage (linguistique formelle) à (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/coordination" rel="tag">Coordination</a>, <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/modelisation-de-l-apprentissage-de" rel="tag">Modélisation de l'apprentissage de la langue des signes</a>, <a href="https://www.anr-loci.fr/mot/structures-formelles-du-langage" rel="tag"> Structures Formelles du Langage (UMR 7023 CNRS/Paris 8)</a> <div class='rss_texte'><p>Né le 15/04/1947</p> <p>Professeur Classe Exceptionnelle, CNU 07 (après avoir été en 72ème section)<br class='autobr' /> Thèse Mathématiques Appliquées en 1974<br/> Habilitation à Diriger des Recherches en linguistique informatique en 1994<br/> Thèmes de recherches : <br/> Formalisation logique des grammaires,<br/> Sémantique formelle<br/> Pragmatique formelle<br/> Modélisation du dialogue<br/> Epistémologie des sciences du langage</p> <p>Membre de l'UMR 7023 depuis 2006 (CLIPS IMAG – Grenoble auparavant)<br/> Professeur de Sciences du langage (linguistique formelle) à l'Université Paris 8, Vincennes – St-Denis <br/> Publications dans de nombreuses revues internationales (Springer, Kluwer, CSLI)<br/> Nombreuses collaborations avec chercheurs étrangers (Pays-Bas, USA, Italie)<br/> Collaborateur extérieur de l'INRIA Bordeaux Sud Ouest, équipe SIGNES<br/> Membre du GDR « Sémantique et Modélisation » (dir. F. Corblin)<br/> Coordinateur du projet BLAN 0032 “PRELUDE” de 2006 à 2009.</p> <p><u>PUBLICATIONS (5) :</u></p> <ul class="spip"><li> ‘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</li><li> '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</li><li> (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,</li><li> ‘Semantics and Minimalist Grammars', Formal Grammar, 2008, CSLI Publications</li><li> (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,</li></ul></div> Laboratoire d'Informatique de Paris-Nord https://www.anr-loci.fr/presentation/partenaires/article/lipn https://www.anr-loci.fr/presentation/partenaires/article/lipn 2011-03-16T13:10:47Z text/html fr <p>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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partenaires</a> <div class='rss_texte'><p>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.</p> <p><u>Coordinateur/responsable : </u></p> <ul class="spip"><li> Mr. <strong>FOUQUERE<br class='autobr' /> Christophe</strong><br class='autobr' /> Professeur<br class='autobr' /> Informatique</li></ul> <p><u>Autres membres : </u></p> <ul class="spip"><li> Mr. <strong>BOUDES<br class='autobr' /> Pierre</strong><br class='autobr' /> MCF<br class='autobr' /> Informatique</li></ul><ul class="spip"><li> Mr. <strong>COUPEY<br class='autobr' /> Pascal</strong><br class='autobr' /> Professeur<br class='autobr' /> Informatique</li></ul><ul class="spip"><li> Mr. <strong>LODDO<br class='autobr' /> Jean-Vincent</strong><br class='autobr' /> MCF<br class='autobr' /> Informatique</li></ul><ul class="spip"><li> Mr.<strong> ROMANO<br class='autobr' /> Marco</strong><br class='autobr' /> doctorant<br class='autobr' /> Informatique</li></ul><ul class="spip"><li> Mr.<strong> ABRUSCI<br class='autobr' /> Michele</strong><br class='autobr' /> Professeur<br class='autobr' /> Philosophie</li></ul></div> Kempson Ruth https://www.anr-loci.fr/presentation/membres/article/ruth-kempson https://www.anr-loci.fr/presentation/membres/article/ruth-kempson 2011-03-09T10:21:52Z text/html fr Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Queen Mary College London <p>Né le 26.6.1944 <br class='autobr' /> 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. <br class='autobr' /> Career 1969-1970 Research Assistant : Survey of English Usage, University College London. 1971-1985 Lecturer SOAS. 1982-1983 Visiting Professor. University of Massachusetts (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/queen-mary-college-london" rel="tag"> Queen Mary College London</a> <div class='rss_texte'><p>Né le 26.6.1944 <br/></p> <p><strong>Degrees/Honours</strong> <br/> 1965 BA Combined Honours Music/English. II.2 Birmingham University <br/> 1969 MA Modern English Language (with distinction). London University.<br/> 1973 PhD Linguistics. London : Presupposition and Delimitation of Semantics <br/> 1989 Fellow British Academy. <br/> 1999 Member Academia Europaea.</p> <p><strong>Career</strong> <br/> 1969-1970 Research Assistant : Survey of English Usage, University College London. <br/> 1971-1985 Lecturer SOAS. <br/> 1982-1983 Visiting Professor. University of Massachusetts Amherst <br/> 1985-1987 Reader General Linguistics. London.<br/> 1987-1999 Professor General Linguistics. SOAS. <br/> 1992-6 Head Linguistics Department, SOAS..<br/> 1998-2009. Professor General Linguistics. London. At KCL (Philosophy) <br/> 1999-2004 Leverhulme Research Professor <br/> May 2009– Visiting Research Professor. QMUL.<br/> September 2009-December 2010 Kings College London (pt-time) on <br class='autobr' /> September 2009– Emeritus Professor Kings College London</p> <p> <strong>Funded Research Projects</strong> <br/> (1) 1980-83 SSRC 'Problems of Ambiguity' plus (2) 1983-4. <br/> (3) 1988-89.ESRC.Grammar as an Input System. £14,500 <br/> (4) 1990-92.ESRC Logical Foundations of Relevance Reasoning (Gabbay, Cunningham). £75,780.<br/> (5) 1995-7. EPSRC A Labelled Deductive System for Natural Language Understanding (Gabbay) £193,026.96 <br/> (6) 1997 Leverhulme. Language as communication : a dynamic perspective. £3174. <br/> (7) 1999-2004. Leverhulme Research Professorship approx £250,000 <br/> (8) 2003-2004 ESRC 00-22-0355 Dialogue Dynamics I : A Pilot Study. £41,496 <br/> (9) 01/10/03-31/12/06. AHRC Joint project with L. Marten, SOAS <br/> RGAN8675/APN 16312 A dynamic typology of pronouns and clitics in Romance and Bantu £267,212 <br/> (10) 01/07/07-30/06/08 F07/0540U (principal applicant) Dialogue Matters : <br/>Securing Foundations for Dialogue Technology Development £150,000.<br/> (11) 01/01/07-31/12/10 ESRC:RES-062-23-0962 Dynamics of Conversational Dialogue £698,951.00</p></div> Keiff Laurent https://www.anr-loci.fr/presentation/membres/article/keiff-laurent https://www.anr-loci.fr/presentation/membres/article/keiff-laurent 2014-03-10T06:45:49Z text/html fr <p>Chercheur associé dans l'équipe ANR LOCI. <br class='autobr' /> 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). <br class='autobr' /> Professeur certifié de philosophie.</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> <div class='rss_texte'><p>Chercheur associé dans l'équipe ANR LOCI.</p> <p>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).</p> <p>Professeur certifié de philosophie.</p></div> Joinet Jean-Baptiste https://www.anr-loci.fr/presentation/membres/article/jean-baptiste-joinet https://www.anr-loci.fr/presentation/membres/article/jean-baptiste-joinet 2011-05-20T12:45:49Z text/html fr admin - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> Institut de Mathématiques de Luminy https://www.anr-loci.fr/presentation/partenaires/article/institut-de-mathematiques-de https://www.anr-loci.fr/presentation/partenaires/article/institut-de-mathematiques-de 2011-03-16T11:40:11Z text/html fr <p>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). <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/presentation/partenaires/" rel="directory">Partenaires</a> <div class='rss_texte'><p>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).</p> <p>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).</p> <p>L'Institut de Mathématiques de Luminy est situé sur le campus de Luminy.</p> <p><u> Coordinateur / responsble </u></p> <p>Mme <strong>QUATRINI Myriam</strong> Maitre de conférences Mathématiques.</p> <p><u> Autres membres : </u></p> <ul class="spip"><li> Mm<strong> FLEURY<br class='autobr' /> Marie-Renée</strong><br class='autobr' /> MdC Retraitée<br class='autobr' /> Mathématiques</li></ul><ul class="spip"><li> Mr. <strong>VAUX<br class='autobr' /> Lionel</strong><br class='autobr' /> Maître de Conférences<br class='autobr' /> Mathématiques</li></ul><ul class="spip"><li> Mr.<strong>SEILLER<br class='autobr' /> Thomas</strong><br class='autobr' /> Doctorant<br class='autobr' /> Mathématiques.</li></ul></div> Hôtels https://www.anr-loci.fr/reunions/interactions-sociales/article/hotels https://www.anr-loci.fr/reunions/interactions-sociales/article/hotels 2012-02-23T14:42:47Z text/html fr Fleury Marie-Renée <p>Hôtels à proximité de la gare <br class='autobr' /> Hôtel Vertigo <br class='autobr' /> 42, rue des Petites Maries - 13001 Marseille - <br class='autobr' /> Téléphone : 04 91 91 07 11 <br class='autobr' /> Chambre double : 55 euros <br class='autobr' /> Chambre collective (partage de chambre, 2, 3, 4 lits) : 23,50 euros par personne <br class='autobr' /> www.hotelvertigo.fr/ <br class='autobr' /> Hôtel Terminus <br class='autobr' /> 1, Place des Marseillaises. 13001 Marseille. <br class='autobr' /> Tél : 04 91 90 70 59 <br class='autobr' /> Chambre. 45 / 50 Euros. <br class='autobr' /> www.hotel-beaulieu-marseille.com/ <br class='autobr' /> Azur Hôtel <br class='autobr' /> 24, cours Franklin Roosevelt. 13001 Marseille <br class='autobr' /> Tél : 04 91 42 74 38 <br class='autobr' /> Chambre. 57 Euros <br class='autobr' /> Petit (...)</p> - <a href="https://www.anr-loci.fr/reunions/interactions-sociales/" rel="directory">Interactions sociales, apprentissage et langue des signes</a> <div class='rss_texte'><hr/><hr/><h3 class="spip">Hôtels à proximité de la gare</h3><hr/> <p><strong>Hôtel Vertigo</strong></p> <p>42, rue des Petites Maries - 13001 Marseille -</p> <p> Téléphone : 04 91 91 07 11</p> <p>Chambre double : 55 euros</p> <p>Chambre collective (partage de chambre, 2, 3, 4 lits) : 23,50 euros par<br class='autobr' /> personne</p> <p><a href="http://www.hotelvertigo.fr/" class='spip_url spip_out auto' rel='nofollow external'>www.hotelvertigo.fr/</a></p> <p><strong> Hôtel Terminus</strong></p> <p>1, Place des Marseillaises. 13001 Marseille.</p> <p>Tél : 04 91 90 70 59</p> <p>Chambre. 45 / 50 Euros.</p> <p><a href="http://www.hotel-beaulieu-marseille.com/" class='spip_url spip_out auto' rel='nofollow external'>www.hotel-beaulieu-marseille.com/</a></p> <p><strong>Azur Hôtel</strong></p> <p>24, cours Franklin Roosevelt. 13001 Marseille</p> <p>Tél : 04 91 42 74 38</p> <p>Chambre. 57 Euros</p> <p>Petit déjeuner. 7 euros</p> <p><a href="http://www.azur-hotel.fr/" class='spip_url spip_out auto' rel='nofollow external'>www.azur-hotel.fr/</a></p> <hr/><hr/><h3 class="spip">Hôtels à proximité du Vieux Port</h3><hr/> <p><strong>Etap Hôtel</strong></p> <p>46, rue Sainte. 13001 Marseille</p> <p>Chambre. 57 Euros</p> <p>Petit déjeuner. 7 euros</p> <p><a href="http://www.etaphotel.com/fr" class='spip_url spip_out auto' rel='nofollow external'>www.etaphotel.com/fr</a></p> <p><strong>Europe Hotel Vieux Port</strong></p> <p>12, Rue Beauvau. 13001 Marseille.<br class='autobr' /> Tél : 04 91 33 65 64</p> <p>Chambre. 60-70 Euros</p> <p>Petit déjeuner. 7 euros</p> <p><a href="http://www.europehotelmarseille.com/" class='spip_url spip_out auto' rel='nofollow external'>www.europehotelmarseille.com/</a></p> <p><strong> Hotel du Sud</strong></p> <p>18, rue Beauvau. 13001 Marseille.</p> <p>Tél : 04 91 54 38 50</p> <p>Chambre.</p> <p>Petit déjeuner.</p> <p><a href="http://www.hoteldusud.com/" class='spip_url spip_out auto' rel='nofollow external'>www.hoteldusud.com/</a></p> <p><strong> Hôtel Carré Vieux Port</strong></p> <p>6, rue Beauvau. 13001 Marseille.</p> <p>Tel. : 04 91 33 02 33</p> <p>Chambre. 68-86 Euros.</p> <p>Petit Déjeuner compris.</p> <p><a href="http://www.hotel-carre-vieux-port.com/" class='spip_url spip_out auto' rel='nofollow external'>www.hotel-carre-vieux-port.com/</a></p></div> Fouqueré Christophe https://www.anr-loci.fr/presentation/membres/article/christophe-fouquere https://www.anr-loci.fr/presentation/membres/article/christophe-fouquere 2011-03-09T10:22:09Z text/html fr 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 <p>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 sujets. Au (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/coordination" rel="tag">Coordination</a>, <a href="https://www.anr-loci.fr/mot/modelisation-de-l-apprentissage-de" rel="tag">Modélisation de l'apprentissage de la langue des signes</a>, <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/laboratoire-d-informatique-de" rel="tag"> Laboratoire d'Informatique de Paris-Nord</a> <div class='rss_texte'><p>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 sujets. Au niveau de la valorisation de la recherche, recherche, il a participé à plusieurs projets de recherche au niveau national et international.</p></div> Fleury Marie-Renée https://www.anr-loci.fr/presentation/membres/article/marie-renee-fleury https://www.anr-loci.fr/presentation/membres/article/marie-renee-fleury 2011-03-09T10:21:01Z text/html fr 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 Questions formelles autour de la ludique Institut de Mathématiques de Luminy <p>• née le 1er Aout 1946 <br class='autobr' /> • 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. <br class='autobr' /> • 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). (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/modelisation-de-l-apprentissage-de" rel="tag">Modélisation de l'apprentissage de la langue des signes</a>, <a href="https://www.anr-loci.fr/mot/vie-sociale-et-pragmatique" rel="tag">Vie sociale et pragmatique</a>, <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/institut-de-mathematiques-de" rel="tag"> Institut de Mathématiques de Luminy</a> <div class='rss_texte'><p>• née le 1er Aout 1946</p> <p>• <strong>Cursus</strong> <br/></p> <ul class="spip"><li> 1969 Agrégation de mathématiques, puis Assistante à Luminy (Université Aix-Marseille 2)</li><li> 1978 Maitre assistante, 1985 Maitre de conférences, 1999 Maitre de conférences Hors classe</li><li> Situation actuelle : Retraitée.</li></ul> <p>• <strong>Activités pédagogiques :</strong><br/></p> <ul class="spip"><li> 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.</li><li> Animation du ”Groupe collège” de l'IREM (production de brochures régulières).</li><li> Responsable (2005-2008) des ateliers ”Hippocampe” qui initie les lycéens à la démarche d'un chercheur..</li></ul> <p>• <strong>Recherche </strong> : à l'IML, Institut de Mathématiques de Luminy, équipe ”Logique de la programmation” <br/> Thèmes de recherche des cinq dernières années : théorie de la démonstration.<br/> 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.<br/> 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.<br/> 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.</p> <p>• <strong>Publications récentes</strong> (cinq parmi les plus significatives des cinq dernières années) : <br/> 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)<br class='autobr' /> 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) <br/> 2007 : - M.-R. Fleury, M. Quatrini : A mixed Lambda-Calculus in ”Categorial grammars and pregroups” special issue of Studia Logica 87.2/3<br/> <u>à paraître : </u>M.-R. Fleury & S. Tronçon : Ludics as a frame for the formalisation of speech acts, Actes de PRELUDE, , , Springer, LNCS, LNAI-Folli<br class='autobr' /> .</p> <p>• <strong>Organisation de Colloques et séminaires</strong> (cinq dernières années)</p> <p>De 1993 jusqu'en 2007 : Organisation du Séminaire de Logique.<br/> Nov. 2004 : workshop ”Constructivisme et extraction de programmes” en l'honneur de Per Martin-Löf <br/> Fév. 2006 : co-organisatrice de la session ”Logic and Linguistics” (session résidentielle GEOCAL, CIRM)<br/> 2007-2008-2009 co-organisatrice des workshops annuels du projet ANR Prelude</p></div> Cuxac Christian https://www.anr-loci.fr/presentation/membres/article/christian-cuxac https://www.anr-loci.fr/presentation/membres/article/christian-cuxac 2011-05-09T14:36:56Z text/html fr Modélisation de l'apprentissage de la langue des signes Structures Formelles du Langage (UMR 7023 CNRS/Paris 8) <p>Professeur, Paris 8 - Sciences du langage Responsable d'équipe de recherche au sein de l'UMR 7023, Langues des signes et gestualité. <br class='autobr' /> 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 <br class='autobr' /> Membre du SFL, domaine des sciences du langage, apport de compétences en matière de langage des signes. <br class='autobr' /> Parcours de recherches : Responsable scientifique du projet « Réalisation de corpus de données (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/modelisation-de-l-apprentissage-de" rel="tag">Modélisation de l'apprentissage de la langue des signes</a>, <a href="https://www.anr-loci.fr/mot/structures-formelles-du-langage" rel="tag"> Structures Formelles du Langage (UMR 7023 CNRS/Paris 8)</a> <div class='rss_texte'><p>Professeur, Paris 8 - Sciences du langage<br/> Responsable d'équipe de recherche au sein de l'UMR 7023, Langues des signes et gestualité.<br/></p> <p>Thèmes de recherche :<br/> - Dresser une typologie de l'iconicité<br/> - Quel statut accorder aux éléments qui composent le lexique ?<br/> - Gestualité co-verbale et langues des signes<br/></p> <p>Membre du SFL, domaine des sciences du langage, apport de compétences en matière de langage des signes.</p> <p>Parcours de recherches : <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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)<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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 ».<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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 ».<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> 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.<br/></p> <p><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> Participation à un groupe d'étude sur « le langage mimo-gestuel dans l'éducation des déficients auditifs » organisé par le CTNERHI en 1977-78.<br/></p> <p>Publications : <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> CUXAC C., 2000, La langue des signes française. Les voies de l'iconicité, Faits de Langues 15/16, Paris, Éditions Ophrys, 391 pages. <br /><img src='https://www.anr-loci.fr/sites/anr-loci/local/cache-vignettes/L8xH11/puce-32883.gif?1686310376' width='8' height='11' class='puce' alt="-" /> CUXAC C., 1983, Le langage des sourds, Paris, Payot, 200 pages.</p></div> Coupey Pascal https://www.anr-loci.fr/presentation/membres/article/pascal-coupey https://www.anr-loci.fr/presentation/membres/article/pascal-coupey 2011-05-10T15:52:33Z text/html fr Communication Web et Ontologies Laboratoire d'Informatique de Paris-Nord <p>Laboratoire d'Informatique de l'université Paris Nord <br class='autobr' /> Institut Galilé</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/laboratoire-d-informatique-de" rel="tag"> Laboratoire d'Informatique de Paris-Nord</a> <div class='rss_texte'><p>Laboratoire d'Informatique de l'université Paris Nord</p> <p>Institut Galilé</p></div> cliquez sur Contacts (au dessus) https://www.anr-loci.fr/contacts/article/nous-contacter https://www.anr-loci.fr/contacts/article/nous-contacter 2012-03-07T11:25:16Z text/html fr - <a href="https://www.anr-loci.fr/contacts/" rel="directory">Contact</a> Boudes Pierre https://www.anr-loci.fr/presentation/membres/article/pierre-boudes https://www.anr-loci.fr/presentation/membres/article/pierre-boudes 2011-05-09T14:36:38Z text/html fr Questions formelles autour de la ludique Laboratoire d'Informatique de Paris-Nord <p>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. <br class='autobr' /> 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. <br class='autobr' /> Pierre Boudes est enseignant et semi-administratif (en ce moment, vice-président du département d'informatique) à l'institut (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/questions-formelles-autour-de-la" rel="tag">Questions formelles autour de la ludique</a>, <a href="https://www.anr-loci.fr/mot/laboratoire-d-informatique-de" rel="tag"> Laboratoire d'Informatique de Paris-Nord</a> <div class='rss_texte'><p>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.</p> <p>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. <br/></p> <p>Pierre Boudes est enseignant et semi-administratif (en ce moment, vice-président du département d'informatique) à l'institut Galilée.</p></div> Beyssade Claire https://www.anr-loci.fr/presentation/membres/article/claire-beyssade https://www.anr-loci.fr/presentation/membres/article/claire-beyssade 2011-05-20T12:46:06Z text/html fr admin - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> Bassac Christian https://www.anr-loci.fr/presentation/membres/article/christian-bassac https://www.anr-loci.fr/presentation/membres/article/christian-bassac 2011-05-16T09:17:22Z text/html fr Sémantique de l'énoncé, Lexique, Syntaxe Dynamique Signes - INRIA <p>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).</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/semantique-de-l-enonce-lexique" rel="tag">Sémantique de l'énoncé, Lexique, Syntaxe Dynamique</a>, <a href="https://www.anr-loci.fr/mot/signes-inria" rel="tag"> Signes - INRIA</a> <div class='rss_texte'><p>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).</p></div> Abrusci Michele https://www.anr-loci.fr/presentation/membres/article/michele-abrusci https://www.anr-loci.fr/presentation/membres/article/michele-abrusci 2011-05-10T15:52:31Z text/html fr Communication Web et Ontologies Laboratoire d'Informatique de Paris-Nord <p>Professore straordinario di Logica e Supplente di Logica Matematica <br class='autobr' /> Education : <br class='autobr' /> Licence en Philosophie (Université de Florence) <br class='autobr' /> Professeur agrégé à l'Université de Bari de 1988 à 1991 <br class='autobr' /> Professeur agrégé à l'Université Sapienza de Rome La 1991 à 1994 <br class='autobr' /> Professeur à l'Université de Bari de 1994 à 1996. <br class='autobr' /> publications : <br class='autobr' /> La logique mathématique, Fratelli Laterza, Bari, 1992. <br class='autobr' /> Réseaux de preuve non commutative, dans « Advances in Linear Logic", Cambridge University Press, 1995. <br class='autobr' /> Lambeck calcul, cycliques (...)</p> - <a href="https://www.anr-loci.fr/presentation/membres/" rel="directory">Membres</a> / <a href="https://www.anr-loci.fr/mot/communication-web-et-ontologies" rel="tag">Communication Web et Ontologies</a>, <a href="https://www.anr-loci.fr/mot/laboratoire-d-informatique-de" rel="tag"> Laboratoire d'Informatique de Paris-Nord</a> <div class='rss_texte'><p>Professore straordinario di Logica e Supplente di Logica Matematica</p> <p> <strong>Education : </strong></p> <p>Licence en Philosophie (Université de Florence)</p> <p> Professeur agrégé à l'Université de Bari de 1988 à 1991</p> <p> Professeur agrégé à l'Université Sapienza de Rome La 1991 à 1994</p> <p>Professeur à l'Université de Bari de 1994 à 1996.</p> <p><strong>publications : </strong></p> <p>La logique mathématique, Fratelli Laterza, Bari, 1992.</p> <p>Réseaux de preuve non commutative, dans « Advances in Linear Logic", Cambridge University Press, 1995.</p> <p>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.</p> <p><strong>Autres :</strong></p> <p>Coordinateur du "site Roma Tre dans le TMR Réseau de recherche sur la logique linéaire" en informatique théorique</p></div> Journée "Musique, dialogue, interaction" https://www.anr-loci.fr/reunions/journee-musique-dialogue/article/journee-musique-dialogue https://www.anr-loci.fr/reunions/journee-musique-dialogue/article/journee-musique-dialogue 2014-02-28T09:43:45Z text/html fr edito_rubrique <p>L'ANR LOCI a le plaisir de vous annoncer sa <br class='autobr' /> prochaine journée d'études le 07 janvier 2013 prochain sur le thème <br class='autobr' /> "Musique, dialogue, interaction". <br class='autobr' /> 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" <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/journee-musique-dialogue/" rel="directory">Journée "Musique, dialogue, interaction"</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>L'ANR LOCI a le plaisir de vous annoncer sa<br class='autobr' /> prochaine journée d'études le<strong> 07 janvier 2013</strong> prochain sur le thème<br class='autobr' /> "Musique, dialogue, interaction".</p> <p>Session du matin : <strong>Salle des actes (45, rue d'Ulm)</strong> :</p> <ul class="spip"><li> 10h - 11h : Ruth Kempson : "Language, music and interaction"</li><li> 11h - 12h : Jonathan Ginzburg : "Speech stream compositionality"</li></ul> <p>Session de l'après-midi : <strong>Salle de séminaire IJN/LSCP (29, rue d'Ulm)</strong> :</p> <ul class="spip"><li> 14h - 15h : Alain Lecomte, Myriam Quatrini, Christophe Fouqueré : "La ludique, confrontée à la théorie du dialogue et à la syntaxe dynamique"</li><li> 15h : discussion générale</li></ul></div> Task 6: Formal questions around ludics https://www.anr-loci.fr/axes-de-travail/article/task-6-formal-questions-around https://www.anr-loci.fr/axes-de-travail/article/task-6-formal-questions-around 2011-03-15T10:48:41Z text/html en <p>Ludics, coherent spaces and first order <br class='autobr' /> 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. <br class='autobr' /> We propose to address the issue of the fragments generated by tree languages whose complexity (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Research topics</a> <div class='rss_texte'><h3 class="spip">Ludics, coherent spaces and first order</h3> <p>Work in the PRELUDE project raised formal issues incompletely or not at all considered a til now that<br class='autobr' /> we should now deal with. The basic objects of Ludics are chronicles which satisfy certain properties,<br class='autobr' /> the design being a coherent subset and a behaviour a set of designs closed by orthogonality.</p> <ul class="spip"><li> ludics, c-designs : c-designs generalize Ludics' designs.</li></ul> <p>We propose to address the issue of the fragments generated by tree languages whose complexity<br class='autobr' /> analysis, generation, learning is polynomial, like what has been done within the lambda-calculus (cf.<br class='autobr' /> S. Salvati, 2009)</p> <ul class="spip"><li> behaviours in Ludics : the concept of incarnation was introduced by J.-Y. Girard to characterize the<br class='autobr' /> subset of designs in a behaviour which minimally defines it. How to characterize such behaviour more<br class='autobr' /> precisely, the intrinsic relationship between incarnation and behaviour, the relationship with the<br class='autobr' /> coherent spaces?</li><li> ludics and first-order : the link between Ludics and first order is to deepen after the work of<br class='autobr' /> Fleury and Quatrini. We will in particular consider the case of attribute value structures without<br class='autobr' /> terms, the link between quantification and connectors "with" indexed, and finally the "braiding"<br class='autobr' /> categorical model with first order.</li></ul><h3 class="spip">Formal questions around Ludics</h3> <p><u>Coordinator :</u> Christian Retoré (SIGNES)</p> <p><u>Members :</u> Christophe Fouqueré (LIPN), Myriam Quatrini (IML), Marie-Renée Fleury (IML),<br class='autobr' /> Sylvain Salvati (LaBRI), Lionel Vaux, Thomas Seiller (IML)</p> <p><u>External collaborators : </u>Paul-André Melliès PPS – Paris 7), François Lamarche (LORIA)</p> <p><u>Objectives :</u></p> <p> Study of properties of Ludics related to C-designs, the concept of incarnation, first order<br class='autobr' /> Content :</p> <ul class="spip"><li> ludics, c-designs : (LABRI) study of fragments that can be generated by tree languages<br class='autobr' /> whose complexity analysis, generation, learning is polynomial</li><li> behaviours in Ludics : (LIPN, IML) minimal characterization of incarnation, links with<br class='autobr' /> coherent spaces</li><li> Ludics and first order : (SIGNES, LIPN, IML) : Study of attribute value structures without<br class='autobr' /> terms, the link between quantification and indexed connectors "with", "braiding" of categorical<br class='autobr' /> model with first order.</li></ul></div> Tâche 6 : Questions formelles autour de la ludique https://www.anr-loci.fr/axes-de-travail/article/tache-5-questions-formelles-autour https://www.anr-loci.fr/axes-de-travail/article/tache-5-questions-formelles-autour 2011-03-15T10:48:22Z text/html fr <p>Questions formelles autour de la ludique <br class='autobr' /> Coordinateur : Christian Retoré (LABRI) <br class='autobr' /> Membres : Christophe Fouqueré (LIPN), Myriam Quatrini (IML), Marie-Renée Fleury (IML), Sylvain Salvati (LaBRI) <br class='autobr' /> Collaborateur extérieur : Paul-André Melliès (PPS – Paris 7) <br class='autobr' /> Objectifs : - étude des propriétés de la ludique relativement aux c-desseins, à la notion d'incarnation, au premier ordre <br class='autobr' /> Contenu : * ludique, c-desseins : (LABRI) étude de fragments pouvant être générés par des langages d'arbres (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Axes de travail</a> <div class='rss_texte'><p><strong>Questions formelles autour de la ludique</strong></p> <p><strong>Coordinateur :</strong> Christian Retoré (LABRI)</p> <p><strong>Membres :</strong> Christophe Fouqueré (LIPN), Myriam Quatrini (IML), Marie-Renée Fleury (IML), Sylvain Salvati (LaBRI)</p> <p><strong>Collaborateur extérieur :</strong> Paul-André Melliès (PPS – Paris 7)</p> <p><strong>Objectifs :</strong><br class='autobr' /> - étude des propriétés de la ludique relativement aux c-desseins, à la notion d'incarnation, au premier ordre</p> <p><strong>Contenu : </strong></p> <ul class="spip"><li> * 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</li><li> * comportements en ludique : (LIPN, IML) Caractérisation minimale de l'incarnation, relation avec les espaces cohérents</li><li> * 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.</li></ul> <p><strong>Ludique, espaces cohérents, premier ordre</strong></p> <p>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é.</p> <ul class="spip"><li> * ludique, c-desseins : les c-desseins généralisent les desseins de la ludique.</li><li> 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</li><li> * 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 ?</li><li> * 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.</li></ul></div> Task 5: Web communication and ontologies https://www.anr-loci.fr/axes-de-travail/article/task-5-web-communication-and https://www.anr-loci.fr/axes-de-travail/article/task-5-web-communication-and 2011-03-15T10:48:37Z text/html en <p>Web Communication and Ontologies <br class='autobr' /> Divided into two subtasks : <br class='autobr' /> Task 5.1 : From interaction to web languages <br class='autobr' /> Coordinator : Christophe Fouqueré (LIPN) <br class='autobr' /> Members : Pascal Coupey (LIPN), Jean-Vincent Loddo (LIPN), Samuel Tronçon (Résurgences), Christian Retoré (SIGNES) <br class='autobr' /> Objectives: <br class='autobr' /> Models for interactions at work in the case of web sites and services Use of these models as type system <br class='autobr' /> Content : 1) (LIPN) Development of a model taking into account precisely all of the interactions at work for (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Research topics</a> <div class='rss_texte'><h3 class="spip">Web Communication and Ontologies</h3> <p> <u>Divided into two subtasks :</u></p> <p> <u>Task 5.1 :</u> From interaction to web languages</p> <p><u>Coordinator :</u> Christophe Fouqueré (LIPN)</p> <p><u>Members :</u> Pascal Coupey (LIPN), Jean-Vincent Loddo (LIPN), Samuel Tronçon (Résurgences),<br class='autobr' /> Christian Retoré (SIGNES)</p> <p><u>Objectives:</u></p> <p> Models for interactions at work in the case of web sites and services <br/> Use of these models as type system</p> <p><strong>Content :</strong></p> <ul class="spip"><li> 1) (LIPN) Development of a model taking into account precisely all of the interactions at work</li><li> for a website: operations on the browser, cloning, case of sharing code between client and server.</li><li> 2) (LIPN) Adaptation of the theoretical framework of c-designs by incorporating a structure</li><li> location (address of ludics) adapted to web pages. Study of the resulting properties (completeness</li><li> of rational language over the previous model).</li><li> 3) (LIPN / Résurgences) Development of a language for describing Web services based on</li><li> Ludics. If the methodology is similar to the previous framework (sequences of queries and</li><li> answers provide traces of the interaction), the context of web services requires particular</li><li> characteristics and purposes: the server can stop interaction (unlike client), ...</li><li> 4) (LIPN) Comparison of language developed in Section 3 with the current standards (WSDL,</li><li> BPEL in particular).</li><li> 5) (LIPN) Use of these models as a typing system for web programming languages developed in</li><li> parallel.</li></ul><h3 class="spip">Web Communication </h3> <p>The task 5 concerns the study of communication across the web, either by considering the use of<br class='autobr' /> ontologies or by the use of web sites and services. We shall look for how, in these two frames, the<br class='autobr' /> dialogical approach is at stake, offering a modelling more adapted to these phenomena. We shall<br class='autobr' /> confront the models obtained to those developed in linguistics and in the frame of social interaction<br class='autobr' /> (tasks 1 and 2). It seems to us that the web is the ideal place for that since it naturally integrates<br class='autobr' /> PROGRAMME BLANC <br/> EDITION 2010 <br/> Projet XXX <br/> DOCUMENT SCIENTIFIQUE <br/> 13/43 <br/> language (as a mean of expression), social life (being a place of exchange between persons) and the<br class='autobr' /> machine (as intermediary and artefact).</p></div> Tâche 5 : Communication Web et Ontologies https://www.anr-loci.fr/axes-de-travail/article/tache-4-communication-web-et https://www.anr-loci.fr/axes-de-travail/article/tache-4-communication-web-et 2011-03-15T10:48:19Z text/html fr <p>Communication Web et Ontologies <br class='autobr' /> Divisée en deux sous-tâches : De l'interaction aux langages pour le web <br class='autobr' /> Coordinateur : Christophe Fouqueré (LIPN) <br class='autobr' /> Membres : Pascal Coupey (LIPN), Jean-Vincent Loddo (LIPN), Samuel Tronçon (Résurgences) <br class='autobr' /> 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 <br class='autobr' /> Contenu : 1) (LIPN) Développement d'un modèle en ludique tenant compte précisément de toutes les interactions à (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Axes de travail</a> <div class='rss_texte'><p><strong>Communication Web et Ontologies</strong></p> <p><strong>Divisée en deux sous-tâches :</strong><br class='autobr' /> <strong>De l'interaction aux langages pour le web</strong></p> <p><strong>Coordinateur :</strong> Christophe Fouqueré (LIPN)</p> <p><strong>Membres : </strong> Pascal Coupey (LIPN), Jean-Vincent Loddo (LIPN), Samuel Tronçon (Résurgences)</p> <p><strong>Objectifs :</strong><br class='autobr' /> - modèles pour les interactions à l'oeuvre dans le cas des sites et services web<br class='autobr' /> - utilisation de ces modèles comme système de types</p> <p><strong>Contenu :</strong></p> <ul class="spip"><li> 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.</li><li> 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).</li><li> 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, ...</li><li> 4) (LIPN) Comparaison du langage développé au point 3 avec les standards actuels (WSDL, BPEL en particulier).</li><li> 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.</li></ul> <p><strong>Communication Web</strong></p> <p>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).</p></div> Task 4 : Social Life and Pragmatics https://www.anr-loci.fr/axes-de-travail/article/task-4-social-life-and-pragmatics https://www.anr-loci.fr/axes-de-travail/article/task-4-social-life-and-pragmatics 2011-03-15T10:48:31Z text/html en <p>Interaction and social life <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Research topics</a> <div class='rss_texte'><h3 class="spip">Interaction and social life </h3> <p>Previous results of the PRELUDE project have put ahead the use of ludical concepts to represent<br class='autobr' /> speech acts (Fleury & Tronçon, to appear, Livet, to appear). It is possible to extend this formalization<br class='autobr' /> to other kinds of acts in the social domain. The crucial point of these approaches resides in that they<br class='autobr' /> don't refer to a a priori norm, and they don't consider intention as a primitive. Speech acts are primarily<br class='autobr' /> dialogic : they consist in interactions of designs (that is strategies) of speakers. While existing<br class='autobr' /> approaches in terms of games see things through utility and gain to expect, the ludical approach puts<br class='autobr' /> the emphasis on the structure of a game itself (its "geometry"). A game may then be viewed as a<br class='autobr' /> polarity phenomenon between on one side a set of designs G possessed by one participant and on the<br class='autobr' /> other side a set of designs G possessed by the other participant, that we may presume dual to each<br class='autobr' /> other. A set of designs is the rule for its dual set. For instance, the fact that a speaker has in his or her<br class='autobr' /> game a design that, if played, would constrain the other speaker to give up immediately compels this<br class='autobr' /> second speaker to play some particular design which would prevent the first one from using such a<br class='autobr' /> dissuasive weapon... P. Livet proposed, in this line, solutions for promise and excuse. S. Tronçon and<br class='autobr' /> M-R Fleury have shown how to explain speech acts by means of the expected continuations, thus<br class='autobr' /> avoiding the reference to intention. This project will continue on this line. More particularly, the ethos<br class='autobr' /> of dialogue will be explored, starting from the idea that social actions like promise, excuse but also<br class='autobr' /> solicitation, order etc. obey not to imperatives dictated by some superior instance, but simply obey to<br class='autobr' /> geometrical considerations like symmetry and orthogonality in elementary structures of interaction.<br class='autobr' /> Moreover, we shall appeal to our partner “Resurgences” to make experimentations in social<br class='autobr' /> environment (recordings of dialogues, of interactions in work and/or in training). The concepts,<br class='autobr' /> designs and behaviours, will be compared with others like “obligations” in the so called “geometry of<br class='autobr' /> obligations” (Cardone, 2009) which is nicely represented in the Theory of Categories.</p> <h3 class="spip">Social Life and Pragmatics</h3> <p><u>Coordinator :</u> Marie-Renée Fleury (IML)</p> <p><u>Members :</u> Samuel Tronçon (Résurgences), Pierre Livet (Résurgences),</p> <p><u>External Collaborators :</u> Jean-Baptiste Joinet (Paris 1), Claire Beyssade (IJN), Laurent Roussarie<br class='autobr' /> (SFL – Paris 8)</p> <p><u>Content :</u> the members will start from the work they have already made in the context of Ludics,<br class='autobr' /> They will not only continue the theoretical study of speech acts but also extend this formulation to<br class='autobr' /> other types of acts in the social field. In addition, they use a corpus of discourses and dialogues<br class='autobr' /> obtained by the association Resurgences in order to make a study of concrete cases.</p> <p><strong>Stages</strong></p> <ul class="spip"><li> 1 - Deepening the ludical approach to speech acts: interpretation of constants, fax, location, and</li><li> main theorems.</li><li> 2 - Extension of the formalization of the SA to the overall standard classification.</li><li> 3 - Development of conceptual tools for analyzing SA and the formalization of real situations.</li><li> 4 - Creation of a corpus of speech acts in situations</li><li> 5 - Analysis of the corpus and classification of real cases.</li><li> 6 - Formalization of corpus. Analysis of practices.</li><li> 7 – Development of tools for helping negotiation, conversational tools etc.</li></ul></div> Tâche 4 : Vie sociale et pragmatique https://www.anr-loci.fr/axes-de-travail/article/tache-3-vie-sociale-et-pragmatique https://www.anr-loci.fr/axes-de-travail/article/tache-3-vie-sociale-et-pragmatique 2011-03-15T10:48:10Z text/html fr <p>Vie sociale et pragmatique <br class='autobr' /> Coordinatrice : Marie-Renée Fleury (IML) <br class='autobr' /> Membres : Samuel Tronçon (Résurgences), Pierre Livet (Résurgences), <br class='autobr' /> Collaborateurs extérieurs : Jean-Baptiste Joinet (Paris 1), Claire Beyssade (IJN), Laurent Roussarie (SFL – Paris 8) <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Axes de travail</a> <div class='rss_texte'><p><strong>Vie sociale et pragmatique</strong></p> <p><strong>Coordinatrice :</strong> Marie-Renée Fleury (IML)</p> <p><strong>Membres :</strong> Samuel Tronçon (Résurgences), Pierre Livet (Résurgences),</p> <p><strong>Collaborateurs extérieurs :</strong> Jean-Baptiste Joinet (Paris 1), Claire Beyssade (IJN), Laurent Roussarie (SFL – Paris 8)</p> <p><strong>Contenu :</strong> 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.</p> <p> <strong>Interaction et vie sociale</strong></p> <p>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.</p></div> Task 3: Modelisation of the Signs Language Learning https://www.anr-loci.fr/axes-de-travail/article/task-3-modelisation-of-the-signs https://www.anr-loci.fr/axes-de-travail/article/task-3-modelisation-of-the-signs 2011-03-15T10:48:34Z text/html en <p>Modeling of learning <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Research topics</a> <div class='rss_texte'><h3 class="spip"> Modeling of learning</h3> <p>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.</p> <p>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.</p> <h3 class="spip">Modelling of Sign language learning</h3> <p><u><strong>Coordinator :</strong> </u>Samuel Tronçon (Association « Résurgences »)</p> <p><u><strong>Members :</strong></u> Christian Cuxac, Fanny Macé, Alain Lecomte (SFL – Paris 8), Marie-Renée Fleury<br class='autobr' /> (IML)</p> <p><u><strong>Content :</strong></u> 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<br class='autobr' /> languages meet and mutually teach each other. We will encode the exchanges so that they be<br class='autobr' /> workable in terms of the use of a software that handles interactions in games where two players<br class='autobr' /> interact by reacting to the propositions of the other.</p> <p>The treatment gradually develops lists of constraints so that the more we advance in the<br class='autobr' /> interaction, the more it becomes normalized.</p></div> Tâche 3 : Modélisation de l'apprentissage de la langue des signes https://www.anr-loci.fr/axes-de-travail/article/tache-2-modelisation-de-l https://www.anr-loci.fr/axes-de-travail/article/tache-2-modelisation-de-l 2011-03-15T10:48:06Z text/html fr <p>Modélisation de l'apprentissage de la langue des signes <br class='autobr' /> Coordinateur : Samuel Tronçon (Association « Résurgences ») <br class='autobr' /> Membres : Christian Cuxac, Ivani Fusellier, Fanny Macé, Alain Lecomte (SFL – Paris 8), Marie-Renée Fleury (IML) <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Axes de travail</a> <div class='rss_texte'><p><strong>Modélisation de l'apprentissage de la langue des signes</strong></p> <p><strong>Coordinateur </strong> : Samuel Tronçon (Association « Résurgences »)</p> <p><strong>Membres :</strong> Christian Cuxac, Ivani Fusellier, Fanny Macé, Alain Lecomte (SFL – Paris 8), Marie-Renée Fleury (IML)<br/></p> <p><strong>Contenu :</strong> 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</p> <p><strong>Modélisation de l'apprentissage</strong></p> <p>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. <br class='autobr' /> 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.</p></div> Task 2 : Lexical knowledge https://www.anr-loci.fr/axes-de-travail/article/task-2-lexical-knowledge https://www.anr-loci.fr/axes-de-travail/article/task-2-lexical-knowledge 2011-03-15T10:48:28Z text/html en <p>Lexical knowledge <br class='autobr' /> 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 (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Research topics</a> <div class='rss_texte'><h3 class="spip">Lexical knowledge</h3> <p>As said before, a lexical item crystallizes meaning acquired along interactions with several contexts<br class='autobr' /> and the lexicon is the trace of these interactions which are held between pre-representations (kinds of<br class='autobr' /> questioning schemes) in various contexts. It seems to us that these pre-representations could be easily<br class='autobr' /> rendered by c-designs in Terui's sense. In them, loci are replaced by named actions (which could<br class='autobr' /> correspond to the semantic primitives (cf. types of actions represented by verbs…)). The normalization<br class='autobr' /> of c-designs is a generalization of the reduction of lambda-terms. That says that it makes operations of<br class='autobr' /> generalized application and abstraction to interact. The by-product of an interaction would be a<br class='autobr' /> residual, or trace, and the lexicon would be the set of them. This task concerns present attempts which<br class='autobr' /> follow Pustejovsky's Generative Lexicon, as they are made by N. Asher, C. Retoré and B. Méry. It will<br class='autobr' /> be conducted by (or in collaboration with) them. We shall study more specifically the efficiency of cdesigns<br class='autobr' /> to represent this knowledge. This opens the field to a more negotiated conception of meaning<br class='autobr' /> of words, which allow to keep away from the inconveniences of literal meaning, in order to go more in<br class='autobr' /> the direction of a meaning in context. This allows us to get a better understanding of the evolution of<br class='autobr' /> the lexicon.</p> <h3 class="spip">Semantics of the utterance</h3> <p><u>Coordinator :</u> Alain Lecomte (SFL - Paris 8)</p> <p><u>Members : </u> Myriam Quatrini (IML), Laurent Roussarie (SFL – Paris 8), Claire Beyssade (IJN)</p> <p><u>External Collaborators :</u> Aarne Ranta (Göteborg, Chalmers) , Nicholas Asher (IRIT, Toulouse)</p> <p><u>Content : </u> theoretical work starting from the known approaches to formal semantics aiming at<br class='autobr' /> revisiting thm and offering more practical tools. Take for example the notion of epistemic<br class='autobr' /> modality (like in "Paul could be the culprit," Paul may be the culprit here. "). Instead of trying to<br class='autobr' /> define it from possible worlds and orders of preference (A. Kratzer) we will attempt to define it<br class='autobr' /> by means of concepts from the proof-theory. In summary: the statement is "true" if there is a<br class='autobr' /> 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<br class='autobr' /> etc.. Applications to temporality, space.<br class='autobr' /> The semantics of the statement will be seen in discourse and dialogue. From this perspective, a<br class='autobr' /> comparison with the SDRT Asher et al. will be conducted. The concepts of rhetoric relations, of<br class='autobr' /> topics, of discourse plane will be revisited. The ideas put forward in this project are expected to<br class='autobr' /> give a theory of discourse and dialogue which makes the economy of the concept of intention.<br class='autobr' /> A book will be drawn from this sub-task.</p></div> Tâche 2 : Sémantique de l'énoncé, Lexique, Syntaxe Dynamique https://www.anr-loci.fr/axes-de-travail/article/tache-1-connaissances-lexicales https://www.anr-loci.fr/axes-de-travail/article/tache-1-connaissances-lexicales 2011-03-09T10:22:18Z text/html fr <p>Sémantique de l'énoncé <br class='autobr' /> 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) <br class='autobr' /> Contenu : Travail théorique à partir des approches connues de la sémantique formelle visant à revisiter ces dernières et à proposer des outils plus concrets <br class='autobr' /> L'énoncé est « vrai » s'il existe une procédure P permettant d'extraire à partir de « faits » (...)</p> - <a href="https://www.anr-loci.fr/axes-de-travail/" rel="directory">Axes de travail</a> <div class='rss_texte'><h3 class="spip">Sémantique de l'énoncé</h3> <p><i>Coordinateur</i> : Alain Lecomte (SFL - Paris 8)<br/> Membres : Myriam Quatrini (IML), Laurent Roussarie (SFL – Paris 8), Claire Beyssade (IJN)<br/> Collaborations extérieures : Aarne Ranta (Göteborg, Chalmers) , Nicholas Asher (IRIT, Toulouse)</p> <p>Contenu : Travail théorique à partir des approches connues de la sémantique formelle visant à revisiter ces dernières et à proposer des outils plus concrets</p> <p>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. <br/> 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.</p> <h3 class="spip">Connaissances lexicales</h3> <p>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.</p></div> Program https://www.anr-loci.fr/reunions/rebuilding-logic-and-rethinking/article/programm https://www.anr-loci.fr/reunions/rebuilding-logic-and-rethinking/article/programm 2011-05-05T09:28:33Z text/html en admin edito_rubrique <p>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 <br class='autobr' /> Myriam <br class='autobr' /> Quatrini) 15h : Applications to the web and the problem of ontologies (Christophe <br class='autobr' /> Fouqueré) 16h: pause 16h 30 : Quantifiers from an interactive (...)</p> - <a href="https://www.anr-loci.fr/reunions/rebuilding-logic-and-rethinking/" rel="directory">Rebuilding Logic and Rethinking Language in Interaction terms</a> / <a href="https://www.anr-loci.fr/mot/edito_rubrique" rel="tag">edito_rubrique</a> <div class='rss_texte'><p>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</p> <ul class="spip"><li> 10h 30 : Presentation of the LOCI project (Alain Lecomte)</li><li> 11h : Tutorial on Ludics (Lionel Vaux)</li><li> 12h30 : pause lunch</li></ul><ul class="spip"><li> 14h : Towards Formal Pragmatics based on Ludics (Alain Lecomte and<br class='autobr' /> Myriam<br class='autobr' /> Quatrini)</li><li> 15h : Applications to the web and the problem of ontologies (Christophe<br class='autobr' /> Fouqueré)</li><li> 16h: pause</li><li> 16h 30 : Quantifiers from an interactive perspective (Christian Retoré<br class='autobr' /> and<br class='autobr' /> Michele Abrusci)</li><li> 17h 30 : Proto-logical origins of logic (Jean-Baptiste Joinet)</li><li> 18h30 : END</li></ul></div> Program https://www.anr-loci.fr/reunions/type-dependency-type-theory-with/article/program-457 https://www.anr-loci.fr/reunions/type-dependency-type-theory-with/article/program-457 2011-10-21T11:57:47Z text/html fr <p>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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/type-dependency-type-theory-with/" rel="directory">Type Dependency, Type Theory with Records, and Natural-Language Flexibility</a> <div class='rss_texte'><p><strong>Thursday, the 16th of March</strong></p> <ul class="spip"><li> 09:30 : Aarne Ranta. Machine Translation, Type Theory, Dependent Types.</li></ul><ul class="spip"><li> 10:20 : Alain Lecomte. Paraproofs as meanings.</li></ul><ul class="spip"><li> Coffee (30 min)</li></ul><ul class="spip"><li> 11:30 : Robin Cooper. Dependent types in TTR.</li></ul><ul class="spip"><li> 12:20 : Myriam Quatrini & Eugenia Sironi. Records in Ludics.</li></ul><ul class="spip"><li> Lunch (1 hour)</li></ul><ul class="spip"><li> 14:00 : Graham White. Linearity, Non-Linearity and E-Type Phenomena.</li></ul><ul class="spip"><li> 14:40 : Jonathan Ginzburg. Integrating multimodality into a type theoretic model of learning in dialogue.</li></ul><ul class="spip"><li> 15:30 : Wilfried Meyer-Viol. Linguistic interpretations of records and dependent types.</li></ul><ul class="spip"><li> Tea (30 min)</li><li> 16:40 : Christophe Fouqueré. Coherence Use in Natural Language.</li></ul><ul class="spip"><li> 17:20 : Samuel Tronçon. On concepts and how they evolve.</li></ul><ul class="spip"><li> 19:00 : Dinner.</li></ul> <p><strong>Friday, the 17th of June</strong></p> <ul class="spip"><li> 09:30 : Mehrnoosh Sadrzadeh. Theory and Practice of a Categorical Compositional Distributional Model of Meaning.</li></ul><ul class="spip"><li> 10:10 : Shalom Lappin. Type Theory and Distributional Models of Meaning.</li></ul><ul class="spip"><li> Coffee (20 min)</li><li> 11:10 : Zhaohui Luo. Type-theoretical semantics with coercive subtyping.</li></ul><ul class="spip"><li> 11:50 : Glyn Morrill. CatLog and categorial parser/theorem proving.</li></ul><ul class="spip"><li> Lunch (1 hour)</li><li> 13:30 : Peter Ljunglöf. Editing Syntax Trees on the Surface.</li></ul><ul class="spip"><li> Alex Clark. Residuated lattices in syntactic description.</li><li> 14:10 Ellen Breitholtz.Enthymemes and Lexical Interpretation.</li><li> 14:50 Tea (30 min)</li><li> 16:00 : Staffan Larsson. Perceptual types.</li><li> 16:40 : Tim Fernando. Beneath types and proofs ?</li></ul></div> Séminaire LOCI - 04/2014 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-02-2014-575 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-02-2014-575 2014-04-02T13:40:39Z text/html fr <p>2 Avril 2014 <br class='autobr' /> 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</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p><strong>2 Avril 2014</strong><br class='autobr' /> Séminaire de l'équipe LOCI Locaux de l'association Résurgences, Marseille.</p> <ul class="spip"><li> Paolo Pistone : Rules, types and the transcendence of second order logic</li><li> Laurent Keiff : Ludique modale, nouvelles de l'entresol</li><li> Samuel Tronçon : Résurgences au sein de LOCI</li><li> Discussion générale : la négation</li></ul></div> Séminaire LOCI - 02/2014 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-02-2014 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-02-2014 2014-03-10T06:34:18Z text/html fr <p>20 février 2014 <br class='autobr' /> Séminaire de l'équipe LOCI. <br class='autobr' /> Lieu : Locaux de l'association Résurgences, Marseille.</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p><strong>20 février 2014</strong></p> <p>Séminaire de l'équipe LOCI.</p> <p>Lieu : Locaux de l'association Résurgences, Marseille.</p></div> Séminaire LOCI - 01/2014 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-01-2014 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-01-2014 2014-03-10T06:31:13Z text/html fr <p>16 janvier 2014 <br class='autobr' /> Séminaire de l'équipe LOCI Locaux de l'association Résurgences, Marseille. <br class='autobr' /> Intervenant : C. Fouqueré, "Ludique et types. Eléments de déconstruction"</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p><strong>16 janvier 2014</strong></p> <p>Séminaire de l'équipe LOCI Locaux de l'association Résurgences, Marseille.</p> <p>Intervenant :</p> <ul class="spip"><li> C. Fouqueré, "<i>Ludique et types. Eléments de déconstruction</i>"</li></ul></div> Séminaire LOCI - 11/2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-11-2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-11-2013 2014-03-10T06:20:42Z text/html fr <p>14 novembre 2013 <br class='autobr' /> Séminaire de l'équipe LOCI <br class='autobr' /> Locaux de l'association Résurgences, Marseille. <br class='autobr' /> Intervenants : A. Lecomte M. Quatrini : "Modélisation des dialogues en Ludique"</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p><strong>14 novembre 2013</strong></p> <p>Séminaire de l'équipe LOCI<br class='autobr' /> Locaux de l'association Résurgences, Marseille.</p> <p>Intervenants :</p> <ul class="spip"><li> A. Lecomte</li><li> M. Quatrini : "Modélisation des dialogues en Ludique"</li></ul></div> Séminaire LOCI - 10/2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-10-2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-10-2013 2014-03-10T01:37:20Z text/html fr <p>17 octobre 2013 <br class='autobr' /> Séance consacrées au point de vue ludique sur les modalités <br class='autobr' /> Locaux de l'association Résurgences, Marseille. <br class='autobr' /> Intervenants : P. Livet "Logique linéaire et modalités" L. Keiff "Modalités. Sémantique et théorie de la preuve"</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p><strong>17 octobre 2013</strong></p> <p>Séance consacrées au point de vue ludique sur les modalités<br class='autobr' /> Locaux de l'association Résurgences, Marseille.</p> <p>Intervenants :</p> <ul class="spip"><li> P. Livet "Logique linéaire et modalités"</li><li> L. Keiff "Modalités. Sémantique et théorie de la preuve"</li></ul></div> Séminaire LOCI - 09/2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-09-2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-09-2013 2014-03-10T01:31:12Z text/html fr <p>Séminaire de l'équipe LOCI. <br class='autobr' /> Rue Pouchet, Paris. <br class='autobr' /> Intervenants : A. Lecomte M. Marion</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p>Séminaire de l'équipe LOCI.<br class='autobr' /> Rue Pouchet, Paris.</p> <p>Intervenants :</p> <ul class="spip"><li> A. Lecomte</li><li> M. Marion</li></ul></div> Séminaire LOCI - 07/2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-07-2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci-07-2013 2014-03-09T13:49:22Z text/html fr <p>Séminaire de l'équipe LOCI. <br class='autobr' /> 5 juillet 2013, locaux de Résurgences, Marseille. <br class='autobr' /> Intervenants : Christophe Fouqueré et Myriam Quatrini : "Inférence et argumentation en Ludique" Francesca Ferrante</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p>Séminaire de l'équipe LOCI. <br class='autobr' /> 5 juillet 2013, locaux de Résurgences, Marseille.</p> <p>Intervenants :</p> <ul class="spip"><li> Christophe Fouqueré et Myriam Quatrini : "Inférence et argumentation en Ludique"</li><li> Francesca Ferrante</li></ul></div> Séminaire LOCI 06/2013 https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci https://www.anr-loci.fr/reunions-du-groupe-loci/article/workshop-loci 2014-02-28T11:03:00Z text/html fr <p>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) <br class='autobr' /> à Résurgences - 111, rue Consolat - 13001 Marseille</p> - <a href="https://www.anr-loci.fr/reunions-du-groupe-loci/" rel="directory">Séminaire</a> <div class='rss_texte'><p>Programme :</p> <ul class="spip"><li> 10h00 - Alain Lecomte : un aperçu de Hippias mineur</li><li> 11h00 - Paul-André Melies</li><li> 12h30 - Discussion</li></ul><ul class="spip"><li> 14h00 - Eugenia Sironi, sur les types dépendants en Ludique</li><li> 15h00 - Pierre Livet, "Actes de langage et propriétés inférentielles"</li><li> 16h00 - Samuel Tronçon, sur l'interaction sociale (travail en cours)</li></ul> <p>à Résurgences - 111, rue Consolat - 13001 Marseille</p></div> Statement https://www.anr-loci.fr/reunions/rebuilding-logic-and-rethinking/article/statement-151 https://www.anr-loci.fr/reunions/rebuilding-logic-and-rethinking/article/statement-151 2011-05-05T09:30:24Z text/html en admin <p>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 (...)</p> - <a href="https://www.anr-loci.fr/reunions/rebuilding-logic-and-rethinking/" rel="directory">Rebuilding Logic and Rethinking Language in Interaction terms</a> <div class='rss_texte'><h3 class="spip">Logic</h3> <p><br class='manualbr' />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. <br class='manualbr' />It has also been possible to establish a relation with coherent spaces, which provide a semantics for linear logic. <br class='manualbr' />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.<br class='manualbr' />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.<br class='manualbr' />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.</p> <h3 class="spip">Natural language, meaning and Learning</h3> <p><br class='manualbr' />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. <br class='manualbr' />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.<br class='manualbr' />Speech acts, assertion and negation and the use of quantificational expressions in ordinary language will be addressed.</p> <h3 class="spip">Artificial languages</h3> <p><br class='manualbr' />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:<br class='manualbr' />From interaction to web languages<br class='manualbr' />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. <br class='manualbr' />Ontologies and folksonomies<br class='manualbr' />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 of ``labelled'' 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.<br class='manualbr' />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.<br class='manualbr' />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.</p></div>