Author: "Retoré, Christian" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Retoré, Christian"' showing total 357 results

Start Over Author "Retoré, Christian"

357 results on '"Retoré, Christian"'

101. Note de lecture sur Two-Step Approaches to Natural Language Formalisms de Frank Morawietz

Author: Retoré, Christian, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2009

102. Deverbal semantics and the Montagovian generative lexicon ΛTyn

Author: Real, Livy, Retoré, Christian, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut Polytechnique de Bordeaux - IPB (FRANCE), Université de Bordeaux (FRANCE), Universidade Federal do Paraná - UFPR (BRAZIL), and Laboratoire Bordelais de Recherche en Informatique - LaBRI (Bordeaux, France)
Subjects: Logique en informatique, Lexical Semantics, Type Theory, Compositional Semantics, Informatique et langage, Intelligence artificielle, Apprentissage
Abstract: We propose a lexical account of action nominals, in particular of deverbalnominalisations, whose meaning is related to the event expressed by their baseverb. The literature about nominalisations often assumes that the semantics ofthe base verb completely defines the structure of action nominals. We arguethat the information in the base verb is not sufficient to completely determinethe semantics of action nominals. We exhibit some data from differentlanguages, especially from Romance language, which show that nominalisationsfocus on some aspects of the verb semantics. The selected aspects, however,seem to be idiosyncratic and do not automatically result from the internalstructure of the verb nor from its interaction with the morphological suffix. We therefore propose a partially lexicalist approach view of deverbal nouns. Itis made precise and computable by using the Montagovian Generative Lexicon, atype theoretical framework introduced by Bassac, Mery and Retor'e in thisjournal in 2010. This extension of Montague semantics with a richer type systemeasily incorporates lexical phenomena like the semantics of action nominals inparticular deverbals, including their polysemy and (in)felicitouscopredications.
Published: 2014

103. Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property

Author: Amblard, Maxime, Retoré, Christian, Semantic Analysis of Natural Language (SEMAGRAMME), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Exploration et exploitation de données textuelles (TEXTE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Logic, Intuitionistic Noncommutative Logic, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Lambek calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], normalisation
Abstract: International audience; This article defines and studies a natural deduction system for partially commutative intuitionistic multiplicative linear logic, that is a combination of intuitionistic commutative linear logic with the Lambek calculus, which is non- commutative, and was first introduced as a sequent calculus by de Groote. In this logic, the hypotheses are endowed with a series-parallel partial order: the parallel composition corresponds to the commutative product, while the series composition corresponds to the noncommutative product. The relation between the two products is that a rule, called entropy, allows us to replace a series-parallel order with a sub series-parallel order -- this rule (already studied by Retoré) strictly extends the entropy rule initially introduced by de Groote. A particular subsystem emerges when hypotheses are totally ordered: this is Lambek calculus with product, and when orders are empty it is is multiplicative linear logic. So far only the sequent calculus and cut-elimination have been properly studied. In this article, we define natural deduction with product elimination rules as Abramsky proposed long ago. We then give a brief illustration of its application to computational linguistics and prove normalisation, firstly for the Lambek calculus with product and then for the full partially ordered calcu- lus. We show that normal proofs enjoy the subformula property, thus yielding another proof of decidability of these calculi. This logic was shown to be useful for modelling the truly concurrent exe- cution of Petri nets and for minimalist grammars in computational linguistics. Regarding this latter application, natural deduction and the Curry-Howard iso- morphism is extremely useful since it leads to the semantic representation of analysed sentences.
Published: 2014

104. Recension de 'La déesse des petites victoires' Yannick Grannec (Editions Anne Carrière, 2012)

Author: Retoré, Christian, Zémor, Gilles, Exploration et exploitation de données textuelles (TEXTE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut de Mathématiques de Bordeaux (IMB), and Université Bordeaux Segalen - Bordeaux 2-Université Sciences et Technologies - Bordeaux 1-Université de Bordeaux (UB)-Institut Polytechnique de Bordeaux (Bordeaux INP)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]
Abstract: National audience; Recension de "La déesse des petites victoires" Yannick Grannec (Editions Anne Carrière, 2012)
Published: 2014

105. A natural framework for natural language semantics: many sorted logic and Hilbert operators in type theory (half page abstract, talk at the Logic Colloquium 2013 Evora July 2013)

Author: Retoré, Christian, Exploration et exploitation de données textuelles (TEXTE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), and Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Sciences et Technologies - Bordeaux 1-Université Bordeaux Segalen - Bordeaux 2
Subjects: [INFO]Computer Science [cs]
Published: 2014

106. The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics

Author: Retoré, Christian, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institut Polytechnique de Bordeaux - IPB (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Bordeaux (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université Fédérale Toulouse Midi-Pyrénées
Subjects: Logique en informatique, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Type theory, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Computational linguistics, Intelligence artificielle, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Apprentissage, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many-sorted higher order logic. Word meaning is described by several lambda terms of second order lambda calculus (Girard’s system F): the principal lambda term encodes the argument structure, while the other lambda terms implement meaning transfers. The base types include a type for propositions and many types for sorts of a many-sorted logic for expressing restriction of selection. This framework is able to integrate a proper treatment of lexical phenomena into a Montagovian compositional semantics, like the (im)possible arguments of a predicate, and the adaptation of a word meaning to some contexts. Among these adaptations of a word meaning to contexts, ontological inclusions are handled by coercive subtyping, an extension of system F introduced in the present paper. The benefits of this framework for lexical semantics and pragmatics are illustrated on meaning transfers and coercions, on possible and impossible copredication over different senses, on deverbal ambiguities, and on “fictive motion”. Next we show that the compositional treatment of determiners, quantifiers, plurals, and other semantic phenomena is richer in our framework. We then conclude with the linguistic, logical and computational perspectives opened by the Montagovian generative lexicon.
Published: 2014

107. Proof nets without links for Lambek calculus and partially commutative linear logic

Author: Porello, Daniele, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Retoré, Christian, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest
Subjects: TheoryofComputation_MISCELLANEOUS, Lambek syntactic calculus, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, categorial grammar, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, linear logic, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Abstract: International audience; Proof nets wothout links turn algebraic properties of the connectives like assocativity into proof equality. We recall similar results for multiplicative linear logic and for Lambek syntactic calculus before providing an almost complete solution for partially commutative linear logic which contains both commutative and non commutative connectives.
Published: 2008

108. Les mathématiques de la linguistique computationnelle. Second volet: Logique

Author: Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, and Retoré, Christian
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Published: 2008

109. Les mathématiques de la linguistique computationnelle. Premier volet: la théorie des langages

Author: Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, and Retoré, Christian
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Published: 2008

110. An Automata-Theoretic Approach to Minimalism

Author: Kobele, Gregory, Retoré, Christian, Salvati, Sylvain, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Retoré, Christian, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, and J. Rogers and S. Kepser
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2007

111. Non-Associative Categorial Grammars and Abstract Categorial Grammars

Author: Retoré, Christian, Salvati, Sylvain, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Retoré, Christian, Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), and Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2007

112. Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product

Author: Amblard, Maxime, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), S. B. Cooper and T. F. Kent and B. Löwe and A. Sorbi, Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), and Retoré, Christian
Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, linear logic, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Lambek calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], logi, proof theory, AMS 03B47
Abstract: International audience; This paper provides a natural deduction system for Partially Commutative Intuitionistic Multiplicative Linear Logic (PCIMLL) and establishes its normalisation and subformula property. Such a system in- volves both commutative and non commutative connectives and deals with context that are series-parallel multisets of formulæ. This calcu- lus is the extension of the one introduced by de Groote presented by the second order for modelling Petri net execution, with a full entropy which allow order to be relaxed into any suborder — as opposed to the Non Commutative Logic of Abrusci and Ruet. Our result also includes, as a special case, the normalisation of natural deduction the Lambek calculus with product, which is unsurprising but yet unproved. Up to now PCIMLL with full entropy had no natural deduction. In particular for linguistic applications, such a syntax is much welcome to construct semantic representations from syntactic analyses.
Published: 2007

113. On the trees underlying natural language sentences

Author: Retoré, Christian, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: computational linguistics, formal language theory, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [SCCO.LING]Cognitive science/Linguistics, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [SCCO.LING] Cognitive science/Linguistics, [SHS.LANGUE] Humanities and Social Sciences/Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], AMS 68T42 68T45 68T50
Abstract: International audience; We recall what is known on the class of string languages corresponding to natural language syntax. We thereafter deal with the class of tree languages corresponding to the structure of natural language sentences, with some new results on the trees of minimalist grammars.
Published: 2007

114. Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)

Author: Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), GDR GEOCAL, and Retoré, Christian
Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Computer Science::Logic in Computer Science, linear logic, MSC 03B47, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Lambek calculus, proofnets, proof theory, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: We extend the proof net up to associativity and commutativity to the non commutative cyclic case, and thus provide proof net for the assocative Lambek calculus for which associativity of connectives is equality of the proofs.
Published: 2006

115. Quantification in Ordinary Language and Proof Theory

Author: Abrusci, Michele, primary, Pasquali, Fabio, additional, and Retoré, Christian, additional
Published: 2016
Full Text: View/download PDF

116. Syntaxe et traitement automatique des langues

Author: Retoré, Christian, Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), F. Lambert et H. Nolke, Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Inria, Rapport De Recherche, Retoré, Christian, INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), INRIA, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], TRAITEMENT AUTOMATIQUE DES LANGUES, SYNTAXE, LINGUISTIQUE INFORMATIQUE, COMPUTATIONAL LINGUISTICS, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], NATURAL LANGUAGE PROCESSING, SYNTAX, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [SHS.LANGUE] Humanities and Social Sciences/Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: This paper sketches the viewpoint of a logician who is now a linguist in becoming on the relationship between the automated processing of natural language syntax and the various linguistic models and theories of natural language syntax. After some applicative and historical remarks, we discuss the formal models used for natural language syntax and conclude with a brief presentation of our non standard approach., Cet article esquisse le point de vue personnel d'un logicien devenu apprenti linguiste sur les liens qu'entretient le traitement automatique de la syntaxe des langues avec les modèles et les théories linguistiques de la syntaxe. Après quelques repères applicatifs et historiques, nous discuterons les modèles formels employés en syntaxe, pour conclure par une présentation de l'approche hétérodoxe qui est la nôtre.
Published: 2005

117. Plurals: individuals and sets in a richly typed semantics

Author: Mery, Bruno, Moot, Richard, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), jSAI-ISAI, Shunsuke Yatabe, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut Polytechnique de Bordeaux - IPB (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Bordeaux (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Logique en informatique, FOS: Computer and information sciences, Higher-Order Lambda-Calculus, Computer Science - Computation and Language, Informatique et langage, Intelligence artificielle, Apprentissage, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Semantics, Plurals, ACM: J.: Computer Applications/J.5: ARTS AND HUMANITIES/J.5.4: Linguistics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computation and Language (cs.CL)
Abstract: International audience; We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning, transfers, (in)felicitous co-predication. In this setting we see how the various readings of plurals (collective, dis- tributive, coverings,...) can be modelled.
Published: 2013

118. A natural framework for natural language semantics: many sorted logic and Hilbert operators in type theory

Author: Retoré, Christian, Exploration et exploitation de données textuelles (TEXTE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), MEthodes et ingénierie des Langues, des Ontologies et du DIscours (IRIT-MELODI), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Association for Symbolic Logic (ASL)
Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Semantic, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; When computing compositionally the meaning of a sentence, depicted as a logical formula, one starts from the word senses, that are partial formulae, and combines them in accordance with the parse structure. This process involves two logics. The glue logic which combines the partial formulae: this is a lambda calculus, the lambda terms being intuitionistic propositional proofs—in Montague semantics, this logic is simply typed lambda calculus over two types, entities and truth-values (or propositions). Let us call target logic the other logic; its formulae are used to represent the meaning of the sentence—the target logic usually is higher order or first order logic. Our framework makes use of second order lambda calculus (system F) as the glue logic and many-sorted higher order logic as the target logic. The motivation for having many base types is to model restrictive selection (to leave out sentences like “The table whistles.”, to accept one like “Liverpool is an important harbour and votes labour.” (location/people) and to reject “Liverpool is an important harbour and won eighteen League titles. (location/football club). Those many base types (or sorts) naturally lead to quantify over types in order to factor operations that act uniformly over types. In such a setting, it is fairly natural to use typed Hilbert operators to express (generalised) quantification. Here we enrich our type system with predefined types, e.g., finite and countable sets (encodings in F are rather dull) and coercive subtyping (which is welcome for representing ontological inclusions like “cars” are “vehicles”) and adapt Hilbert operators to this extended type system.
Published: 2013

119. The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics

Author: Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, and Ralph Matthes and Alesky Schubert
Subjects: 000 Computer science, knowledge, general works, 010102 general mathematics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 06 humanities and the arts, natural language semantics, 0603 philosophy, ethics and religion, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], computational linguistics, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, type theory, 060302 philosophy, Computer Science, 0101 mathematics, [SHS.LANGUE]Humanities and Social Sciences/Linguistics
Abstract: International audience; We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many-sorted higher order logic. Word meaning is described by several lambda terms of second order lambda calculus (Girard's system F): the principal lambda term encodes the argument structure, while the other lambda terms implement meaning transfers. The base types include a type for propositions and many types for sorts of a many-sorted logic for expressing restriction of selection. This framework is able to integrate a proper treatment of lexical phenomena into a Montagovian compositional semantics, like the (im)possible arguments of a predicate, and the adaptation of a word meaning to some contexts. Among these adaptations of a word meaning to contexts, ontological inclusions are handled by coercive subtyping, an extension of system F introduced in the present paper. The benefits of this framework for lexical semantics and pragmatics are illustrated on meaning transfers and coercions, on possible and impossible copredication over different senses, on deverbal ambiguities, and on "fictive motion". Next we show that the compositional treatment of determiners, quantifiers, plurals, and other semantic phenomena is richer in our framework. We then conclude with the linguistic, logical and computational perspectives opened by the Montagovian generative lexicon.
Published: 2013

120. A Generative Montagovian Lexicon for Polysemous Deverbal Nouns

Author: Real-Coelho, Livy-Maria, Retoré, Christian, Departamento de Lingüística, Letras Clássicas e Vernáculas (LETRAS), Universidade Federal do Paraná (UFPR), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université Fédérale Toulouse Midi-Pyrénées
Subjects: computational linguistics, type theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], natural language understanding, compositional semantics, lexical semantics, lambda-calculus, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: Accepted for publication in the proceedings of 4th congress on Universal Logic --- Logic and linguistics workshop. Rio de Janeiro April 4-7 2013.; International audience; We propose a computational formalization of some forms of polysemy. Here we focus on the resultative/processual polysemy of deverbal nouns like assinatura ("signing/signature") or abertura ("opening/aperture") in Por- tuguese -- we also study similar constructs in French, Italian, and English. We follow the Montagovian Generative Lexicon (MGL) introduced in Bassac, Mery & Retor ́e (2010) based on second-order Girard's F system with several entity types -- including at least one type t for propositions and several entity types, as v (event), s (state) φ (physical object). Our for- malization produces the readings involving one aspect of the polysemous noun, and it also handles properly co-predication phenomena.
Published: 2013

121. Note de lecture sur 'Discourse processing' de Manfred Stede

Author: Retoré, Christian, Moot, Richard, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université Fédérale Toulouse Midi-Pyrénées
Subjects: [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, ComputingMilieux_MISCELLANEOUS, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience
Published: 2013

122. Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle

Author: Lefeuvre, Anaïs, Moot, Richard, Retoré, Christian, Sandillon-Rezer, Noémie-Fleur, Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), ATALA/AFCP, Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Lefeuvre, Anaïs
Subjects: grammaire catégorielle, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], compositionalité, interface syntaxe-sémantique, interface sémantique-pragmatique, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [SHS.LANGUE] Humanities and Social Sciences/Linguistics, théorie des types, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], analyse temporelle, récit de voyage
Abstract: International audience; Cet article présente notre utilisation de la théorie des types dans laquelle nous nous situons pour l'analyse syntaxique, sémantique et pour la construction du lexique. Notre outil, Grail permet de traiter le discours automatiquement à partir du texte brut et nous le testons sur un corpus de récit de voyages pyrénéens, Ititpy. Nous expliquons donc notre usage des grammaires catégorielles et plus particulièrement du calcul de Lambek et la correspondance entre ces catégories et le λ-calcul simplement typé dans le cadre de la DRT. Une flexibilité du typage doit être autorisée dans certains cas et bloquée dans d'autres. Quelques phénomènes linguistiques participant à une forme de glissement de sens provocant des conflits de types sont présentés. Nous expliquons ensuite nos motivations d'ordre pragmatique à utiliser un système à sortes et types variables en sémantique lexicale puis notre traitement compositionnel du temps des évènements inspiré du Binary Tense de (Verkuyl, 2008).
Published: 2012

123. Second order lambda calculus for meaning assembly: on the logical syntax of plurals

Author: Moot, Richard, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Moot, Richard, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest
Subjects: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; We propose the use of the second order lambda calculus as a "glue language" for meaning assembly and illustrate its use by giving a logical treatment of some (basic) fact about plurals, distributivity and collectivity.
Published: 2011

124. A discursive analysis of itineraries in an historical and regional corpus of travels: syntax, semantics, and pragmatics in a unified type theoretical framework

Author: Moot, Richard, Prévot, Laurent, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1, Laboratoire Parole et Langage (LPL), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Projet ITIPY de la région Aquitaine, Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest
Subjects: [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; In this paper we will discuss the application of (Segmented) Discourse Representation Theory and the Generative Lexicon to the analysis of a historical French corpus of itineraries in the Pyre ́ne ́es. Our research will focus in particular on how type coercion (Pustejovsky, 1995) can help us give a correct analysis of cases of so-called "fictive motion" (Talmy, 1999), which is evident is phrases like. (1) The road runs along the coast for two hours. (2) The path descended abruptly. This case is particular in that an entity (which is considered immobile and which, in the context, defines a path) is the subject of a movement verb and that the combination is interpreted as a generic statement about the nature of this path, without any movement necessarily taking place.
Published: 2011

125. A discursive analysis of itineraries in an historical and regional corpus of travels

Author: Moot, Richard, Prévot, Laurent, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Parole et Langage (LPL), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), and Projet ITIPY de la région Aquitaine
Subjects: [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; In this paper we will discuss the application of (Segmented) Discourse Representation Theory and the Generative Lexicon to the analysis of a historical French corpus of itineraries in the Pyre ́ne ́es. Our research will focus in particular on how type coercion (Pustejovsky, 1995) can help us give a correct analysis of cases of so-called "fictive motion" (Talmy, 1999), which is evident is phrases like. (1) The road runs along the coast for two hours. (2) The path descended abruptly. This case is particular in that an entity (which is considered immobile and which, in the context, defines a path) is the subject of a movement verb and that the combination is interpreted as a generic statement about the nature of this path, without any movement necessarily taking place.
Published: 2011

126. Quantification and interaction

Author: Abrusci, Michele, Retoré, Christian, Università degli Studi Roma Tre, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Subjects: logic, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, model theory, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [SHS.PHIL]Humanities and Social Sciences/Philosophy, proof theory, [SHS.LANGUE]Humanities and Social Sciences/Linguistics
Abstract: International audience; We criticize the usual approach to generalized quantification and discuss a proof theoretical approach.
Published: 2011

127. Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage

Author: Moot, Richard, Prévot, Laurent, Retoré, Christian, Laboratoire Parole et Langage (LPL), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1, Projet ITIPY de la région Aquitaine, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest
Subjects: [INFO]Computer Science [cs], [SHS.LANGUE]Humanities and Social Sciences/Linguistics, Corpus, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], ComputingMilieux_MISCELLANEOUS
Abstract: International audience; This work is part of the automated analysis of travel stories corpus. To do so, we refine Mon- tague semantics, to model the adaptation of word meaning to the context in which they appear. Here we study construction like 'the path goes down for half an hour' in which the path introduces a virtual traveller following it, extending ideas of the last author with Bassac, Mery. The introduction of a traveller relies on type raising sa- tisfies the following requirements : the quantification binding the traveller has the widest scope, and properties of the path do not apply to the traveller, be it virtual. This semantical analysis (actually its translation in λ-DRT) is already implemented for a part of the Grail lexicon.; Ce travail s'inscrit dans l'analyse automatique d'un corpus de récits de voyage. À cette fin,nous raffinons la sémantique de Montague pour rendre compte des phénomènes d'adaptation du sens des mots au contexte dans lequel ils apparaissent. Ici, nous modélisons les constructions de type 'le chemin descend pendant une demi-heure' où ledit chemin introduit un voyageur fictif qui le parcourt, en étendant des idées que le dernier auteur a développé avec Bassac et Mery. Cette introduction du voyageur utilise la montée de type afin que le quantificateur introduisant le voyageur porte sur toute la phrase et que les propriétés du chemin ne deviennent pas des propriétés du voyageur, fût-il fictif. Cette analyse sémantique (ou plutôt sa traduction en lambda-DRT) est d'ores et déjà implantée pour une partie du lexique de Grail.
Published: 2011

128. Categorial Minimalist Grammar: From Generative Syntax To Logical Form

Author: Amblard, Maxime, Lecomte, Alain, Retoré, Christian, Linear logic, proof networks and categorial grammars (CALLIGRAMME), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Structures Formelles du Langage (SFL), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Lumières (UPL), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), ANR-10-BLAN-0212,LOCI,Locativité et Interaction en Logique, Linguistique et Informatique(2010), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Université Paris Lumières (UPL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris 8 Vincennes-Saint-Denis (UP8), and Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
Subjects: minimalism, lambda-DRT, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], categorial grammar, minimalist grammar, linear logic, DRT, Montague semantics, [SHS.LANGUE]Humanities and Social Sciences/Linguistics, [SCCO.LING]Cognitive science/Linguistics, syntax, semantics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; We first recall some basic notions on minimalist grammars and on categorial grammars. Next we shortly introduce partially commutative linear logic, and our representation of minimalist grammars within this categorial system, the so-called categorial minimalist grammars. Thereafter we briefly present λμ-DRT (Discourse Representation Theory) an extension of λ-DRT (compositional DRT) in the framework of λμ calculus: it avoids type raising and derives different readings from a single semantic representation, in a setting which follows discourse structure. We run a complete example which illustrates the various structures and rules that are needed to derive a semantic representation from the categorial view of a transformational syntactic analysis.
Published: 2010

129. The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics

Author: Christian Retoré, Retoré, Christian, Christian Retoré, and Retoré, Christian
Abstract: We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic. Word meaning is depicted by several lambda terms of second order lambda calculus (Girard's system F): the principal lambda term encodes the argument structure, while the other lambda terms implement meaning transfers. The base types include a type for propositions and many types for sorts of a many sorted logic for expressing restriction of selection. This framework is able to integrate a proper treatment of lexical phenomena into a Montagovian compositional semantics, like the (im)possible arguments of a predicate, and the adaptation of a word meaning to some contexts. Among these adaptations of a word's sense to the context, ontological inclusions are handled by coercive subtyping, an extension of system F introduced in the present paper. The benefits of this framework for lexical semantics and pragmatics are illustrated on meaning transfers and coercions, on possible and impossible copredication over different senses, on deverbal ambiguities, and on "fictive motion". Next we show that the compositional treatment of determiners, quantifiers, plurals,... are finer grained in our framework. We then conclude with the linguistic, logical and computational perspectives opened by the Montagovian generative lexicon.
Published: 2014
Full Text: View/download PDF

130. Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes

Author: Bechet, Denis, Bonato, Roberto, Dikovsky, Alexandre, Foret, Annie, Le Nir, Yannick, Moreau, Erwan, Retoré, Christian, Tellier, Isabelle, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), Université Sciences et Technologies - Bordeaux 1-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Logical Information Systems (LIS), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), Modeling Tree Structures, Machine Learning, and Information Extraction (MOSTRARE), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Université Sciences et Technologies - Bordeaux 1 (UB)-Inria Bordeaux - Sud-Ouest, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Subjects: syntactical resources, modèle de Gold, inférence grammaticale, ressources syntaxiques, grammaires catégorielles, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], syntax learning, categorial grammars, [SCCO.LING]Cognitive science/Linguistics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], grammatical inference, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [SHS.LANGUE]Humanities and Social Sciences/Linguistics, acquisition syntaxique, Gold's model
Abstract: In this paper, we present our recent results on the acquistion of the syntax of natural languages, from the point of view of the theory of grammatical inference. Given a class of possible grammars, the objective is to identify, from a set of positive examples, a grammar in the class which produces the examples. The Gold model formalises the learning process and gives stringent criteria of its success: when does there exist an algorithm producing a target grammar ? what kind of structure should the examples have (strings of words, strings of tagged words, trees) ? From a theoretical point of view, our results establish the learnability or the unlearnability of various classes of categorial grammars. From a practical perspective, these results enable the extraction of syntactic information from real data. Finally, we discuss the interest of this approach for modelling child language acquisition and for automated induction of grammars from corpora.; Dans cet article, nous présentons nos résultats récents concernant l'apprentissage de la syntaxe des langues naturelles, en adoptant le point de vue de l'inférence grammaticale symbolique. L'objectif est d'identifier à partir d'exemples, dans une classe de grammaires connue à l'avance, une grammaire particulière qui engendre les dits exemples. Le modèle de Gold fixe les conditions et le critère de réussite d'une telle entreprise : quand un algorithme produisant une grammaire candidate existe-t-il ? quelle structure doivent contenir les exemples : suites de mots, suites de mots étiquetés, arbres d'analyse ? D'un point de vue théorique, nos résultats établissent l'apprenabilité ou la non-apprenabilité de certaines classes de grammaires catégorielles. En pratique, nos résultats permettent aussi d'acquérir automatiquement des ressources syntaxiques à partir de données réelles. Au final, nous discutons de l'intérêt de cette approche pour modéliser l'acquisition de leur langue naturelle par les enfants ainsi que pour construire automatiquement des grammaires électroniques à partir de corpus.
Published: 2007

131. A Montague-based model of Generative Lexical Semantics

Author: Mery, Bruno, Bassac, Christian, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), Equipe de Recherche en Syntaxe et Sémantique (ERSS), Université Bordeaux Montaigne-Université Toulouse - Jean Jaurès (UT2J)-Centre National de la Recherche Scientifique (CNRS), FoLLI, R. Muskens, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), and Mery, Bruno
Subjects: [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: International audience; Computational semantics has long relied upon the Montague correspondance between syntax and semantics, which is not by itself well suited for the computing of some phenomena, such as logical polysemy, addressed by recent advances in lexical semantics. Our aim is to integrate the results of lexical semantics studies such as the Generative Lexicon Theory in a straightforward way with the existing computing of logical forms, in order to form a Montagovian framework for lexical semantics. In addition, we will outline a way to integrate other kinds of semantic information.
Published: 2007

132. A Montagovian Generative Lexicon

Author: Mery, Bruno, Bassac, Christian, Retoré, Christian, Mery, Bruno, L. Kallmeyer and P. Monachesi and G. Penn and G. Satta, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), Equipe de Recherche en Syntaxe et Sémantique (ERSS), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), FoLLI, Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), and Université Bordeaux Montaigne-Université Toulouse - Jean Jaurès (UT2J)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Lexical Semantics, Type Theory, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Computational Semantics, Montague Semantics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Generative Lexicon
Abstract: International audience; Generative Lexical Semantics aims, among other things, to model co-compositional meanings that classical Montague semantics is unable to express. This paper outlines a simple extension of Montague semantics which amends the standard compositional mechanisms for the use of specific terms provided by the lexicon, in order to account for this theory. We hope that such a logical system would prove both simpler and easier to implement than the formulations currently used.
Published: 2007

133. Toward a knowledge representation model dedicated to the semantic analysis of the sentence

Author: Vanier, Jules, Bassac, Christian, Henry, Patrick, Marlet, Renaud, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), Equipe de Recherche en Syntaxe et Sémantique (ERSS), Université Bordeaux Montaigne-Université Toulouse - Jean Jaurès (UT2J)-Centre National de la Recherche Scientifique (CNRS), INRIA, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), Université Toulouse - Jean Jaurès (UT2J), and Université de Toulouse (UT)-Université de Toulouse (UT)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: ACM: J.: Computer Applications/J.5: ARTS AND HUMANITIES/J.5.4: Linguistics, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing/I.2.7.2: Language models, mécanismes génératifs, lexique génératif, grammaires catégorielles, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing/I.2.7.3: Language parsing and understanding, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing/I.2.7.6: Text analysis, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], règles de composition, sémantique de Montague
Abstract: Ce rapport a été rédigé en octobre 2005 mais n'a été publié en tant que rapport INRIA qu'en juillet 2006; Ce travail se situe dans le cadre de l'étude de la sémantique du langage naturel. Il s'agit d'une reformulation précise et automatisable du Lexique Génératif de Pustejovsky. Nous proposons un modèle lexical simultanément descriptif de la structure sémantique interne des mots et applicable de manière automatique à la suite d'une analyse syntaxique classique, par exemple celle des grammaires catégorielles. Notre formalisation des règles et nos algorithmes qui permettent de les appliquer sont illustrés par le traitement de la reconstruction métonymique et des usages ambigus de la préposition “avec”. (Ce rapport a été rédigé en octobre 2005 mais n'a été publié qu'en juillet 2006.)
Published: 2006

134. A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars

Author: Mery, Bruno, Amblard, Maxime, Durand, Irène, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), INRIA, Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: formal language theory, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing/I.2.7.2: Language models, natural language syntax, formal grammar, parsing, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.7: Natural Language Processing/I.2.7.3: Language parsing and understanding, mildly context-sensitive grammars, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], minimalist grammars
Abstract: Soumis en tant que rapport de recherche INRIA Futurs - Projet SIGNES; The present work is set in the field of natural language syntactic parsing. We present the concept of "mildly context-sensitive" grammar formalisms, which are full-fetched and efficient for syntactic parsing. We summarize a number of these formalisms' definitions, together with the relations between one another, and, most importantly, a survey of known equivalences. The conversion of Edward Stabler's Minimalist Grammars into Multiple Context-Free Grammars (MCFG) is presented in particular detail, along with a study of the complexity of this procedure and of its implications for parsing. This report is an adaptation of the French Master thesis that bears the same name, from Bordeaux 1 University, June 2006.
Published: 2006

135. The Logic of Categorial Grammars: Lecture Notes

Author: Retoré, Christian, Inria, Rapport De Recherche, Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), INRIA, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], COMPUTATIONAL LINGUISTICS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], LOGIC, FORMAL GRAMMAR, PROOF THEORY
Abstract: These lecture notes present categorial grammars as deductive systems, and include detailed proofs of their main properties. The first chapter deals with Ajdukiewicz and Bar-Hillel categorial grammars (AB grammars), their relation to context-free grammars and their learning algorithms. The second chapter is devoted to the Lambek calculus as a deductive system; the weak equivalence with context free grammars is proved; we also define the mapping from a syntactic analysis to a higher-order logical formula, which describes the semantics of the parsed sentence. The third and last chapter is about proof-nets as parse structures for Lambek grammars; we show the linguistic relevance of these graphs in particular through the study of a performance question. Although definitions, theorems and proofs have been reformulated for pedagogical reasons, these notes contain no personnal result but in the proofnet chapter.
Published: 2005

136. L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégorielles

Author: Amblard, Maxime, Lecomte, Alain, Retoré, Christian, Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Structures Formelles du Langage (SFL), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Lumières (UPL), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université Paris Lumières (UPL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris 8 Vincennes-Saint-Denis (UP8), and Amblard, Maxime
Subjects: [SCCO]Cognitive science, [INFO]Computer Science [cs], [SCCO] Cognitive science, [INFO] Computer Science [cs]
Abstract: National audience; Les propositions [2] de systèmes déductifs décrivant les grammaires minimalistes d'Edward Stabler [3] permettent d'étudier l'interface syntaxe sémantique [1] . L'idée principale est que la forme logique n'est pas le résultat immédiat de la dérivation syntaxique mais qu'il existe une analyse sémantique construite en parallèle. Les deux analyses participent à la bonne formation de la phrases, en ceci que les dérivations correctes sont celles dont les deux pendants, syn-taxique et sémantique, sont synchronisés. Nous montrons ici comment l'utilisation de contextes permet cette synchronisation. Grammaires Minimalistes Catégorielles La fusion (merge) correspond aux règles clas-siques d'élimination de / et \ des grammaires catégorielles. Le déplacement (move), correspond à l'élimination du produit noté ×. Les règles du produit sont les suivantes, Γ x : A ∆ y : B [i×] Γ,∆ (x,y) : A × B Γ w : A × B ∆,x : A,y : B,∆ z : C [e×] ∆,Γ,∆ let(x,y) = (π 1 (w),π 2 (w))inz : C π 1 et π 2 sont les projections des deux composantes la contruction let u = v in w de la programmation fonctionnelle L'élimination du produit peut intervenir à tout moment dans la dérivation, dès que les hypo-thèses à décharger ont été introduites. En pratique, nous utilisons une règle avec trois prémisses, règles qui s'obtient à partir de celles ci-dessus: Γ w : A × B x : A x : A y : B,∆ y : B [e×] 3 Γ,∆ let(x,y) = (π 1 (w),π 2 (w))inz : C
Published: 2004

137. Syntax and Semantics interacting in a Minimalist theory

Author: Amblard, Maxime, Lecomte, Alain, Retoré, Christian, Semantic Analysis of Natural Language (SEMAGRAMME), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Structures Formelles du Langage (SFL), Université Paris Lumières (UPL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris 8 Vincennes-Saint-Denis (UP8), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Lumières (UPL), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO]Computer Science [cs]
Abstract: International audience; After several proposals of a logical account of minimalism [5, 4, 6, 1], on the basis of the formalization provided by Edward Stabler [7, 8], we explore more precisely the interface between syntax and semantics. The main idea is that, according to many observations made for instance by Ray Jackendoff [3], the logical form is not the mere result of a derivation after the consumption of formal features. Indeed, there are rather two tasks which are performed on a par : the syntactic analysis properly speaking and the semantical analysis. Both analyses are connected by synchronization links in such a way that a parse can crash for (at least) two reasons : either because of a mismatch of syntactic features, or because of a failure in the semantic derivation.
Published: 2004

138. Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits

Author: Pogodalla, Sylvain, Retoré, Christian, Linear logic, proof networks and categorial grammars (CALLIGRAMME), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES), INRIA Futurs, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS), INRIA, and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1 (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: computational linguistics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, linear logic, graph theory, perfect matching, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], lambek calculus, cyclic orders, cographs, proof theory, categorial grammars
Abstract: This paper provides a definition of proof-nets for non-commutative linear logic (cyclic linear logic and Lambek calculus) where there are no links, that are small graphs representing the connectives. Instead of a tree like representation with links, the formula is depicted as a graph representing the conclusion up to the algebraic properties of the connectives. In the commutative case the formula is viewed as a cograph. In the non-commutative case it is a more complicated kind of graph which is, roughly speaking, a directed cograph. The criterion consists in the commutative condition plus a bracketing condition.
Published: 2004

139. L'ordre des mots dans les grammaires catégorielles

Author: Moot, Richard, Retoré, Christian, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Kim Gerdes et Claude Muller, and Moot, Richard
Subjects: [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Published: 2004

140. A description of the non-sequential execution of Petri nets in partially commutative linear logic

Author: Retoré, Christian, primary
Full Text: View/download PDF

141. Ordered sequents and proof nets

Author: Retoré, Christian, Équipe de Logique Mathématique (ELM), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Diderot - Paris VII, Jean-Yves Girard, and Retoré, Christian
Subjects: graphs, logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], partial orders, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH] Mathematics [math], logique, proof theory, ordres partiels, AMS 03F52, 03F07, 03F05,03G30, 03B47, 03B70, 05C70, 06A07, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], théorie de la démonstration, graphes, linear logic, logique linéaire, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], [MATH]Mathematics [math]
Abstract: This thesis provides a sequent calculus for linear logic enriched with a non comutative and selfdual connective called "before", in between "par" and "times". It is defined for sequents whose formulae are endowed with a partial order. A proof net calculus, a quotient of the sequent calculus is defined in terms of directed graphs. This calculus enjoys a denotational semantics with coherence spaces, which is preserved under cut eliminatio, a terminating and confluent process. Some needed combinatorial properties of partial orders and proof graphs are established, as well as some properties of the commutative calculus with the MIX rule., Cette thèse présente un calcul des séquents pour la logique linéaire enrichie d'un connecteur non commutatif et autodual "précède" situé entre le "par" et le "tenseur". Il est défini pour des séquents dont les formules sont orientées par un ordre partiel. Un calcul de réseaux de démonstration quotientant ce calcul des séquents est défini en termes de graphes orientés. Ce calcul est doté d'une sémantique dénotationnelle dans les espaces cohérents, préservée par élimination des coupures, un processus convergent et confluent. Des résultats combinatoires nécessaires sur les ordres partiels et sur la structure des graphes de démonstrations sont établies ainsi que quelques propriétés du calcul commutatif avec la règle MIX.
Published: 1993

142. Category theory, logic and formal linguistics: Some connections, old and new

Author: Gillibert, Jean, primary and Retoré, Christian, additional
Published: 2014
Full Text: View/download PDF

143. Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n

Author: Real, Livy, primary and Retoré, Christian, additional
Published: 2014
Full Text: View/download PDF

144. Linear logic and natural language syntax

Author: Retoré, Christian, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Université de Nantes, and Alexandre DIKOVSKY
Subjects: logic, graph theory, linguistics, grammaires catégorielles, logique, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], proof theory, categorial grammars, computational linguistics, théorie de la démonstration, linear logic, traitement automatique des langues, théorie des graphes, logique linéaire, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [MATH]Mathematics [math], [SHS.LANGUE]Humanities and Social Sciences/Linguistics, linguistique
Abstract: A large part of the results deal with the proof ents of linear logic and coherence semantics. These results focus on the non commutaitve variants of linear logic, either in the style of Lambek-Abrusci calculi or in the style of the author's pomset logic. These results are thereafter applied to the modelling of natural language syntax, with categorial grammars, TAGs as expected, but also with Stabler's minimalist grammars that linear logic can encode. For any encoded grammar system, the computation of semantic representation is enlightened.; Une bonne partie des résultats contenus dans ce travail portent sur les réseaux de démonstration de la logique linéaire ainsi que sur la sémantique des espaces cohérents. Ces résultats concernent plus particulièrement les variantes non commutatives de la logique linéaire que ce soit à la Lambek-Abrusci ou dans le calcul ordonné de l'auteur. Ils sont ensuite appliqués à la syntaxe du langage naturel, modélisée bien évidemment par les grammaires catégorielles, les TAGS, mais aussi par les grammaires minimalistes de Stabler que l'on peut aussi simuler en logique linéaire. Pour tous ces systèmes grammaticaux, le calcul de représentations sémantiques est explicité.
Published: 2002

145. Logique linéaire et syntaxe des langues

Author: Retoré, Christian, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Université de Nantes, and Alexandre DIKOVSKY
Subjects: logic, graph theory, linguistics, grammaires catégorielles, logique, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], proof theory, categorial grammars, computational linguistics, théorie de la démonstration, linear logic, traitement automatique des langues, théorie des graphes, logique linéaire, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [MATH]Mathematics [math], [SHS.LANGUE]Humanities and Social Sciences/Linguistics, linguistique
Abstract: A large part of the results deal with the proof ents of linear logic and coherence semantics. These results focus on the non commutaitve variants of linear logic, either in the style of Lambek-Abrusci calculi or in the style of the author's pomset logic. These results are thereafter applied to the modelling of natural language syntax, with categorial grammars, TAGs as expected, but also with Stabler's minimalist grammars that linear logic can encode. For any encoded grammar system, the computation of semantic representation is enlightened.; Une bonne partie des résultats contenus dans ce travail portent sur les réseaux de démonstration de la logique linéaire ainsi que sur la sémantique des espaces cohérents. Ces résultats concernent plus particulièrement les variantes non commutatives de la logique linéaire que ce soit à la Lambek-Abrusci ou dans le calcul ordonné de l'auteur. Ils sont ensuite appliqués à la syntaxe du langage naturel, modélisée bien évidemment par les grammaires catégorielles, les TAGS, mais aussi par les grammaires minimalistes de Stabler que l'on peut aussi simuler en logique linéaire. Pour tous ces systèmes grammaticaux, le calcul de représentations sémantiques est explicité.
Published: 2002

146. Logical Aspects of Computational Linguistics

Author: de Groote, Philippe, Morrill, Glyn, Retoré, Christian, Linear logic, proof networks and categorial grammars (CALLIGRAMME), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), and Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: computational linguistics, logic, linguistique computationnelle, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], logique
Abstract: Ouvrage (éditeur).; Proceedings of 4th International Conference, LACl'2001, Le Croisic, France.
Published: 2001

147. Petri Nets Step Transitions and Proofs in Partially Commutative Linear Logic

Author: Retoré, Christian, System synthesis and supervision, scenarios (S4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique
Subjects: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Abstract: We encode the execution of Petri nets in Partially Commutative Linear Logic, an intuitionistic logic introduced by Ph. de Groote which contains both commutative and non commutative connectives. We are thus able to faithfully represent the concurrent firing of Petri nets as long as it can be depicted by a series-parallel order. This coding is inspired from the description of context-free languages by Lambek grammars. This report is an extended version (with complete proofs) of an article to appear in the proceedings of the Logic Colloquium 1999 (Utrecht).
Published: 2001

148. Systèmes déductifs et traitement des langues : un panorama des grammaires catégorielles

Author: Retoré, Christian, Parallelism and Graphs (PARAGRAPHE), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes
Subjects: TRAITEMENT AUTOMATIQUE DES LANGUES, LOGIQUE, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], GRAMMAIRES FORMELLES
Abstract: Depuis les années 80 les grammaires catégorielles connaissent un vif regain d'intérêt. Poursuivant les travaux des années cinquante (voire trente) dans une optique neuve, les recherches récentes les rapprochent des systèmes de typage utilisés en informatique. La linguistique informatique s'est ainsi enrichie d'une approche originale qui néanmoins rejoint d'autres formalismes de traitement automatique des langues plus connus, telles les grammaires d'arbres adjoints, les grammaires de dépendances et certaines grammaires syntagmatiques. On peut se demander quelles sont les raisons d'une telle démarche, quels succès elle a obtenus, quels objectifs étaient, et sont toujours, poursuivis. Nous nous proposons de répondre à ces questions par le panorama que voici, en soulignant l'importance que joue la logique dans les développements récents. Les résultats de base sont explicitement traités tandis que les recherches et réalisations récentes ne sont qu'esquissées. Alors qu'il existe des états de l'art plus spécifiques et plus complets, celui-ci ne nécessite guère de prérequis.
Published: 2000

149. Handsome Proof-nets: R&B-Graphs, Perfect Matchings and Series-parallel Graphs

Author: Retoré, Christian, Parallelism and Graphs (PARAGRAPHE), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes
Subjects: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], GRAPH THEORY, PROOF THEORY, LINEAR LOGIC
Abstract: The main interest of this paper is to provide proof-nets, a proof syntax which identify proofs with the same meaning, with a standard graph-theoretical description. More precisely, we give two such descriptions which both view proof-nets as graphs endowed with a perfect matching, and in both cases the graphs corresponding to proofs are recognized by a simple correctnes- s criterion (with and without the so-called mix rule). The first description may be viewed as a graph-theoretical reformulation of usual proof-nets; nevertheless it allows us to recover various results on proof-nets as the corollaries of a single graph theoretical result. The second description, inspired from the first one, is more innovative: a proof-structure simply consists in the set of its axioms - the perfect matching - plus one single series-parallel graph (a.k.a cograph) which encodes the whole syntactical forest of the sequent. Unlike other approaches, every such graph, with out any further specification, corresponds to a proof structure, and this description identify proof structures which only differ up to the commutativity or associativity of the connectives, or because final disjunctions have been performed or not. Thus these proof-nets are even closer to the proofs themselves than usual proof-nets.
Published: 1999

150. Pomset Logic as a Calculus of Directed Cographs

Author: Retoré, Christian, Parallelism and Graphs (PARAGRAPHE), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes
Subjects: Computer Science::Discrete Mathematics, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], GRAPH THEORY, PROOF THEORY, LINEAR LOGIC
Abstract: We give an abstract formulation of proof-structures and nets for pomset logic i.e. linear logic enriched with a non commutative and self-dual connective. A proof-structure is described as a directed R&B-cograph, that is an edge bicoloured graph: one colour is a perfect matching and the other a directed cograph - directed cographs are a simple generalization of cographs and series-parallel orders. The proof-nets or correct proof-struct- ures are the directed R&B-cographs such that every alternate elementary circuit contains a chord. This representation is even more compact than usual descriptions: the algebraic properties of the connectives, associativity and commutativity, are interpreted by equality, as well as the presence or not of final disjunctions (final par's). But the main advantage is that any directed R&B-cograph, without any further specification, is a proof-structure. We then study a step by step invertible transformation from proof-structures with links to directed R&B-cographs; this transformation and its inverse preserve correctness. Next we study the impact of the graph rewriting which axiomatizes the inclusion of directed cographs (found with D. Bechet and Ph. de Groote) on the correctness of directed R&B-cographs, and we show that all rewriting rules but one preserve the correctness. This yields cut-elimination (strongly normalizing and confluent) and suggests a complete sequent calculus for Pomset logic. These results also apply to linear logic enriched with the mix rule, since Pomset logic is a conservati- ve extension of it.
Published: 1999

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Database

Publisher

357 results on '"Retoré, Christian"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources