278 results on '"Retoré, Christian"'
Search Results
252. Pomset Logic and variants in natural languages
- Author
-
Schena, Irene, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
253. Quantitative constraint logic programming for weighted grammar applications
- Author
-
Riezler, Stefan, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
254. Generation as deduction on labelled proof nets
- Author
-
Merenciano, Josep M., Morrill, Glyn, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
255. The automatic deduction of classificatory systems from linguistic theories (abridged)
- Author
-
King, Paul John, Simov, Kiril Ivanov, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
256. A family of decidable feature logics which support HPSG-style set and list constructions
- Author
-
Hegner, Stephen J., Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
257. Language understanding: A procedural perspective
- Author
-
Kempson, Ruth, Viol, Wilfried Meyer, Gabbay, Dov, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
258. Models for polymorphic Lambek Calculus
- Author
-
Emms, Martin, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
259. Sloopy Identity
- Author
-
Gardent, Claire, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Retoré, Christian, editor
- Published
- 1997
- Full Text
- View/download PDF
260. Quantification in Ordinary Language and Proof Theory
- Author
-
Michele Abrusci, Fabio Pasquali, Christian Retoré, Dipartimento di Matematica e Fisica [Roma], Università degli Studi Roma Tre = Roma Tre University (ROMA TRE), Aix Marseille Université (AMU), 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), Abrusci, Vito Michele, Pasquali, Fabio, Retoré, Christian, Università degli Studi Roma Tre, and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
- Subjects
Quantification, Proof Theory ,Existential quantification ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,02 engineering and technology ,Ordinary language philosophy ,010402 general chemistry ,021001 nanoscience & nanotechnology ,01 natural sciences ,Noun phrase ,Sketch ,Linguistics ,0104 chemical sciences ,Philosophy of language ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,History and Philosophy of Science ,Proof theory ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,Calculus ,[INFO]Computer Science [cs] ,Structural proof theory ,0210 nano-technology ,Natural language ,Mathematics - Abstract
International audience; This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers.; Cet article dresse un rapide panorama de l’approche usuelle de la quantification, qu’elle soit ou non généralisée, en linguistique formelle et en philosophie du langage. Nous montrons que le cadre général courant va parfois à l’encontre des données linguistiques, et nous donnons quelques indications pour une approche différente basée sur la théorie de la démonstration qui, sur bien des points, s’avère plus proche de la langue que les approches les plus répandues. Nous soulignons l’importance des opérateurs tau et epsilon de Hilbert qui rendent compte respectivement de la quantification universelle et existentielle. En effet, ces opérateurs permettent de construire des représentations sémantiques en suivant la structure de la langue avec, en particulier, des groupes nominaux quantifiés qui soient des termes individuels. Nous donnons aussi des principes pour définir des règles de déduction qui correspondent aux quantificateurs généralisés.
- Published
- 2016
261. Analyse symbolique et inférence de modèles métaboliques
- Author
-
Issa, Razanne, 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), Université de Bordeaux, David James Sherman, Sherman, David James, Durrens, Pascal, Talla, Emmanuel, Blin, Guillaume, Denise, Alain, Retoré, Christian, and STAR, ABES
- Subjects
Hyprolog ,Associations de gènes ,Metabolic models ,Gene-proteinreaction( GPR) associations ,Construction de modèles logique abductive ,Réseaux métaboliques ,Modèles métaboliques ,Metabolic networks ,[INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM] ,Models construction ,[INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM] ,Inférence - Abstract
The objective of this thesis is to propose a new method of constructing metabolic models in the context of comparative genomics. We have developed a tool, abpantograph, allowing the inference of metabolic models based on the Abductive logic. To do this, we have introduced a logical representation of minimal enzymatic metabolic models and from a metabolic model called reference, we derived an explicit enzymatic minimal model accompanied by gene association. Finally, by coupling this metabolic modele with the genome of a target organism, we infer abductively a model enzyme for this target organism accompanied by a set of gene associations, pattern one wants congruent to that which is could have obtained by having all the information to the target organism. The proposed tool, ab-pantograph, has been developed using constraint logic programming and Hyprolog., L’objectif de cette thèse est de proposer une nouvelle méthode de construction de modèles métaboliques dans le contexte de la génomique comparée. Nous avons développé un outil, ab-pantograph, permettant l’inférence de modèles métabolique se basant sur la logique abductive. Pour ce faire, nous avons introduit une représentation logique de modèles métaboliques minimaux enzymatiques, puis à partir d’un modèle métabolique dit de référence, nous avons dérivé un modèle minimal enzymatique explicite accompagné d’association de gènes. Enfin, en couplant ce modèle métabolique au génome d’un organisme cible, nous inférons par abduction un modèle enzymatique pour cet organisme cible accompagné d’un ensemble d’associations de gènes, modèle que l’on veut congruent à celui que l’on aurait pu obtenir en ayant toutes les informations pour l’organisme cible.L’outil proposé, ab-pantograph, a été développé en utilisant la programmation logique par contraintes et Hyprolog.
- Published
- 2015
262. A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
- Author
-
Gérard Huet, INRIA Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria), 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), 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), and Retoré, Christian
- Subjects
Correctness ,Computer science ,media_common.quotation_subject ,02 engineering and technology ,Lexicon ,computer.software_genre ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Programming style ,Sandhi ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,[SHS.LANGUE]Humanities and Social Sciences/Linguistics ,ComputingMilieux_MISCELLANEOUS ,media_common ,Functional programming ,[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] ,Finite-state machine ,Programming language ,business.industry ,Data structure ,[SHS.LANGUE] Humanities and Social Sciences/Linguistics ,[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL] ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,020201 artificial intelligence & image processing ,Artificial intelligence ,business ,computer ,Software ,Natural language processing ,Natural language - Abstract
We present the Zen toolkit for morphological and phonological processing of natural languages. This toolkit is presented in literate programming style, in the Pidgin ML subset of the Objective Caml functional programming language. This toolkit is based on a systematic representation of finite state automata and transducers as decorated lexical trees. All operations on the state space data structures use the zipper technology, and a uniform sharing functor permits systematic maximum sharing as dags. A particular case of lexical maps is specially convenient for building invertible morphological operations such as inflected forms dictionaries, using a notion of differential word. As a particular application, we describe a general method for tagging a natural language text given as a phoneme stream by analysing possible euphonic liaisons between words belonging to a lexicon of inflected forms. The method uses the toolkit methodology by constructing a non-deterministic transducer, implementing rational rewrite rules, by mechanical decoration of a trie representation of the lexicon index. The algorithm is linear in the size of the lexicon. A coroutine interpreter is given, and its correctness and completeness are formally proved. An application to the segmentation of Sanskrit by sandhi analysis is demonstrated.
- Published
- 2005
263. Natural Language Semantics in Biproduct Dagger Categories
- Author
-
Anne Preller, 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), and Retoré, Christian
- Subjects
compact closed categories ,Logic ,Intensional logic ,pregroup grammars ,0102 computer and information sciences ,compact bilinear logic ,computer.software_genre ,01 natural sciences ,Morphism ,Negation ,Compositional semantics ,Computer Science::Logic in Computer Science ,Mathematics::Category Theory ,proof graphs ,Dagger category ,0101 mathematics ,Mathematics ,quantum logic ,Programming language ,Applied Mathematics ,010102 general mathematics ,String (computer science) ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,biproduct dagger categories ,16. Peace & justice ,Noun phrase ,First-order logic ,Algebra ,010201 computation theory & mathematics ,two-sorted logic ,Computer Science::Programming Languages ,Biproduct ,computer - Abstract
International audience; Biproduct dagger categories serve as models for natural language. In particular, the biproduct dagger category of finite dimensional vector spaces over the field of real numbers accommodates both the extensional models of predicate calculus and the intensional models of quantum logic. The morphisms representing the extensional meanings of a grammatical string are translated to morphisms representing the intensional meanings such that truth is preserved. Pregroup grammars serve as the tool that transforms a grammatical string into a morphism. The chosen linguistic examples concern negation, relative noun phrases, comprehension and quantifiers.
- Published
- 2014
264. Nominalizações
- Author
-
Coelho, Livy Maria Real, Retoré, Christian, Universidade Federal do Paraná. Setor de Ciências Humanas. Programa de Pós-Graduação em Letras, and Borges Neto, José, 1951
- Subjects
Linguistica aplicada ,Semantica ,Teses ,Análise sintática ,Letras - Abstract
Orientador : Prof. Dr. José Borges Neto Coorientador : Prof. Dr. Christian Retoré Autor não autorizou a divulgação do arquivo digital Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Humanas, Programa de Pós-Graduação em Letras. Defesa: Curitiba, 28/04/2014 Inclui referências Resumo: Esta tese trata do fenômeno das nominalizações: nomes formados a partir de verbos que preservam o mesmo significado do verbo base, como atuação e abertura. Estes nominais apresentam, além do significado básico da ação do verbo base, outros diversos significados, como resultado desta ação (assadura), coletivização (administração) e locativo (chegada). Estas formas, por compartilharem propriedades verbais e nominais, já foram objeto de trabalhos muito relevantes para as áreas formais da linguística. Com o objetivo de verificar qual o melhor tratamento para o fenômeno, descrevo detidamente o comportamento das nominalizações em português do Brasil. Analiso a formação destes nominais e seu comportamento sintático e semântico sem chegar a uma conclusão definitiva sobre quais seriam as características que definiriam quais os possíveis significados que estas formas assumem. Assim, defendo que parte do funcionamento das nominalizações é de caráter idiossincrático, isto é, não pode ser definido a priori com base nos elementos presentes em sua formação. Assumo também que estes nominais são antes vagos que ambíguos, isto é, têm parte de seu significado lexical sub-especificado, e, por isto, devem estar expressos no léxico através de uma única entrada lexical. Visito, então, três diferentes propostas [Grimshaw, 1990], [Pustejovsky, 1995] e [Bassac et al., 2010], apresentando os benefícios e prejuízos de cada uma. [Grimshaw, 1990] apresenta um tratamento consistente e de natureza sintática. No entanto, trata nominalizações como nomes ambíguos e propõe que existam diferentes entradas lexicais para cada um dos significados que estas formas podem assumir. Entendo que este tratamento incha o léxico e não captura parte relevante do fenômeno. Apresento ainda diversos dados que mostram que a teoria de Grimshaw não se sustenta para o inglês e nem para outras diversas línguas, como o português, russo e catalão. [Pustejovsky, 1995] trata as nominalizações de forma mais interessante através do conceito de polissemia lógica e tipo-ponto. Seu tratamento dá conta de caracterizar as nominalizações e seus significados como uma única entrada, no entanto, é bastante inconsistente internamente e parte de postulados antes ontológicos do que linguísticos. Já a proposta de [Bassac et al., 2010] oferece recursos léxicos e lógico-formais que permitem uma caracterização bastante eficiente das nominalizações e seus diversos significados. Esta teoria, no entanto, não é capaz de prever o comportamento das nominalizações. Discuto ainda que esta falta de previsibilidade da teoria pode não ser um problema, já que não é claro o que define o funcionamento das nominalizações. Assumindo que, de fato, não pode-se prever completamente o comportamento destes nominais, a proposta de [Bassac et al., 2010] é a que oferece o melhor ferramental para descrever estas formas. Abstract: This thesis explores the phenomenon of nominalizations: nouns formed from verbs that keep the same meaning of their base verbs, as atuação and abertura. These nominals feature, besides the basic meaning of the action of the base verb, many other meanings, such as the result of its action (assadura), collectivization (administração) and locative (chegada). These forms, for sharing verbal and nominal properties, have been the subject of several relevant papers in many areas of formal linguistics. Aiming to find the best treatment for the phenomenon, I describe the behavior of nominalizations in Brazilian Portuguese. I analyze the formation of these nominal and their syntactic and semantic behavior without reaching a definitive conclusion about what the characteristics that define the possible meanings of each nominal are. Thus, I argue that part of the behavior of nominalizations is idiosyncratic and cannot be defined a priori based on the elements present in their formation. Also I assume that these nominals are rather vague than ambiguous, since part of their lexical meaning under-specified, and, therefore, must be expressed in the lexicon via a single lexical entry. I consider three different proposals [Grimshaw, 1990], [Pustejovsky, 1995] and [Bassac et al., 2010], showing the benefits and drawbacks of each one of them. [Grimshaw, 1990] presents a consistent and syntactic treatment. However, nominalizations are seen as ambiguous nouns and it is proposed that each of their different meaning must be a different lexical entry. I understand that this treatment swells the lexicon and does not capture a relevant part of the phenomenon. I also present several data showing that the theory of Grimshaw does not apply for English, nor to several other languages, such as Portuguese, Russian and Catalan. [Pustejovsky, 1995] treats nominalizations more interestingly through the concept of logical polysemy and dottypes. His treatment yields to a characterization of nominalizations and their meanings as a single entry, however, it is internally inconsistent and comes from ontological postulates, rather than linguistic ones. The proposal of [Bassac et al., 2010] offers lexical and formal resources that allow a very efficient characterization of nominalizations and their various meanings. This theory, however, is not able to predict the behavior of nominalizations. Further, I argue that this lack of predictability of the theory may not be a problem, since it is not clear what defines the complete behavior of nominalizations. Assuming that, in fact, no one can fully predict the behavior of nominals, the proposal of [Bassac et al., 2010] offers the best tools to describe these forms.
- Published
- 2014
265. Game semantics and parsing context-free lambda-grammars
- Author
-
BOURREAU, Pierre, Bourreau, Pierre, Salvati, Sylvain, Retoré, Christian, Gardent, Claire, Fouqueré, Christophe, Senizergues, Géraud, Tellier, Isabelle, and Groote, Philippe de
- Subjects
Datalog ,logic ,[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,textual parsing and generation ,[INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC] ,programmation logique ,grammaires catégorielles ,grammaires formelles ,logique ,lambda-calculus ,categorial grammars ,Linguistique formelle ,Sémantique des jeux ,Analyse et génération de langage ,logic programming ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,analyse et génération de textes ,[INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT] ,lambda-calcul ,formal grammars ,[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] - Abstract
categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of such terms and were introduced in order to bring a model of the syntax-semantics interface in natural language, based on two main ideas: the distinction between the tectogrammatical (i.e. the deep structure of an utterance) and phenogrammatical (i.e. the interpretation of this structure) levels in natural languages, which was expressed by Curry; and an algebraic modeling of the principle of compositionality in order to give account of the semantics of a sentence. an idea formalized by Montague. One of the main advantages of abstract categorial grammars is that both the problems of natural language parsing and generation can be tackled under the same problem: parsing abstract categorial grammars. Efficient algorithms were discovered for abstract categorial grammars of linear and almost linear lambda-terms, while it is known the recognition problem is decidable but non-elementary in general. This work focuses on the study of classes of terms for which parsing can still be solved in polynomial time. The results we give are mainly based on two theorems: the coherence theorem which specifies that a given lambda-term in the desired class must be the unique inhabitant of one of its typing; and the subject expansion theorem, which states that two beta-equivalent terms of the desired class must inhabit the same typings. In order to lead the study, we use an alternative representation of both simply-typed lambda-terms and their typings as games. In particular, we will use this representation in order to prove the coherence theorems for new classes of lambda-terms. Thanks to these results, we will show it is possible to build in a direct way, recognizers for grammars of almost affine lambda-terms as Datalog programs., Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites afin de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité afin de rendre compte de la sémantique des phrases, due à Montague. Un des avantages principaux de ce formalisme est que l'analyse d'une grammaires catégorielle abstraite permet de résoudre aussi bien le problème de l'analyse de texte, que celui de la génération de texte. Des algorithmes d'analyse efficaces ont été découverts pour les grammaires catégorielles abstraites de termes linéaires et quasi-linéaires, alors que le problème de l'analyse est non-élémentaire dans sa forme la plus générale. Nous proposons d'étudier des classes de termes pour lesquels l'analyse grammaticale reste solvable en temps polynomial. Ces résultats s'appuient principalement sur deux théorèmes de typage : le théorème de cohérence, spécifiant qu'un λ-terme donné est l'unique habitant d'un certain typage ; et le théorème d'expansion du sujet, spécifiant que deux termes β-équivalents habitent les même typages. Afin de mener cette étude à bien, nous utiliserons une représentation abstraite des notions de λ-termes et de typages, sous forme de jeux. En particulier, nous nous appuierons grandement sur cette notion afin de démontrer le théorème de cohérence pour de nouvelles familles de λ-termes et de typages. Grâce à ces résultats, nous montrerons qu'il est possible de construire de manière directe, un reconnaisseur dans le langage Datalog, pour des grammaires catégorielles abstraites de λ-termes quasi-affines.
- Published
- 2012
266. Modelling lexical semantics in a type-theoretic framework
- Author
-
Mery, Bruno, 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), Université Sciences et Technologies - Bordeaux I, Christian Retoré(retore@labri.fr), Retoré, Christian, Bassac, Christian, Melancon, Guy, Pogodalla, Sylvain, Arapinis, Alexandra, Asher, Nicholas, Prince, Violaine, and Mery, Bruno
- Subjects
lambda-calcul du second ordre ,Generative lexicon ,Ontologies ,compositional semantics ,second-order lambda-calculus ,[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation ,[SHS.LANGUE]Humanities and Social Sciences/Linguistics ,Lexique génératif ,[SHS.LANGUE] Humanities and Social Sciences/Linguistics ,Sémantique compositionnelle ,[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation - Abstract
This paper is part of the thesis by Bruno Mery advised by Christian Bassac and Christian Retore in the years 2006-2011, on the topic ''Modelling lexical semantics in a type-theoretic framework''. It is a doctoral thesis in computer science, in the area of natural language processing, aiming to bring forth a formal framework that takes into account, in the parsing of the semantics of a sentence, of lexical data. After a discussion of the topic, this thesis reviews the many works perceding it and adopts the tradition of the generative lexicon. It presents samples of data to account for, and gives a proposal for a calculus system based upon a second-order logic. It afterwards reviews the validity of this proposal, coming back to the data samples and the other formal approaches, and gives an implementation of that system. At last, it engages in a short discussion of the remaining questions., Le présent manuscrit constitue la partie écrite du travail de thèse réalisé par Bruno Mery sous la direction de Christian Bassac et Christian Retoré entre 2006 et 2011, portant sur le sujet "Modélisation de la sémantique lexicale dans la théorie des types". Il s'agit d'une thèse d'informatique s'inscrivant dans le domaine du traitement automatique des langues, et visant à apporter un cadre formel pour la prise en compte, lors de l'analyse sémantique de la phrase, d'informations apportées par chacun des mots. Après avoir situé le sujet, cette thèse examine les nombreux travaux l'ayant précédée et s'inscrit dans la tradition du lexique génératif. Elle présente des exemples de phénomènes à traiter, et donne une proposition de système de calcul fondée sur la logique du second ordre. Elle examine ensuite la validité de cette proposition par rapport aux exemples et aux autres approches déjà formalisées, et relate une implémentation de ce système. Enfin, elle propose une brève discussion des sujets restant en suspens.
- Published
- 2011
267. A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
- Author
-
Sylvain Salvati, Christian Retoré, 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), 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), and Retoré, Christian
- Subjects
ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES ,Linguistics and Language ,[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,Context-sensitive grammar ,0102 computer and information sciences ,computer.software_genre ,01 natural sciences ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Computer Science (miscellaneous) ,Indexed grammar ,0101 mathematics ,Phrase structure grammar ,Resource logics ,Mathematics ,Lambda calculus ,Categorial grammar ,business.industry ,010102 general mathematics ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Combinatory categorial grammar ,Formal grammars ,Tree-adjoining grammar ,Philosophy ,ACM: J.: Computer Applications/J.5: ARTS AND HUMANITIES/J.5.4: Linguistics ,010201 computation theory & mathematics ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,Artificial intelligence ,Definite clause grammar ,L-attributed grammar ,business ,computer ,Natural language processing - Abstract
International audience; This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that Non-Associative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcomes of such a representation are discussed.
- Published
- 2010
268. Separating Syntax and Combinatorics in Categorial Grammar
- Author
-
Reinhard Muskens, 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), Department of Philosophy, Tilburg University [Netherlands], 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), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Universiteit van Tilburg, 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
Linguistics and Language ,[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,Context-sensitive grammar ,Emergent grammar ,Mildly context-sensitive grammar formalism ,0603 philosophy, ethics and religion ,computer.software_genre ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Computer Science (miscellaneous) ,[SHS.LANGUE]Humanities and Social Sciences/Linguistics ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,060201 languages & linguistics ,Categorial grammar ,business.industry ,Link grammar ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,06 humanities and the arts ,Combinatory categorial grammar ,[SHS.LANGUE] Humanities and Social Sciences/Linguistics ,Linguistics ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,Affix grammar ,060302 philosophy ,0602 languages and literature ,Artificial intelligence ,business ,computer ,Natural language processing ,Generative grammar - Abstract
This paper argues that modern versions of categorial grammar and in particular multimodal categorial grammar can profit considerably from reintroducing Haskell Curry’s old distinction between what he called phenogrammatics and tectogrammatics. Tectogrammatics is the abstract way in which linguistic signs are built up, while phenogrammatics deals with concrete processes of string formation and the way in which the sign ultimately manifests itself. The distinction will be modeled in a theory called Lambda Grammars in which tectogrammatics is formalized by taking linear lambda terms over a given lexicon. Phenogrammatics can then be formalized with the help of a set of modal operators. The procedure is illustrated by means of an analysis of some aspects of Dutch word order that is based on earlier multimodal work of Oehrle and Moortgat on Dutch.
- Published
- 2007
269. Langue des signes et schémas
- Author
-
Guitteny, Pierre, 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), Textes, Langage, Cognition (Telanco JE2385), 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
[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,[SCCO.LING] Cognitive science/Linguistics ,[SCCO.LING]Cognitive science/Linguistics ,[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
International audience; Un des buts du TAL est l'aide à la traduction. Les recherches sur l'interprétation français/langue des signes montrent qu'une interprétation directe mots → signes donne des résultats souvent inadaptés. Une étape de déverbalisation permet d'éviter les écueils du français signé. Cette étape peut recourir aux représentations dessinées : schémas, diagrammes, qu'il s'agit d'exploiter dans toute la variété de leurs formes. Pour une traduction automatique, ajouter cette étape peut être un gage de meilleurs résultats.
- Published
- 2007
270. Le passif en langue des signes
- Author
-
Guitteny, Pierre, Textes, Langage, Cognition (Telanco JE2385), 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é Michel de Montaigne - Bordeaux III, Henri Portine, 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), and Retoré, Christian
- Subjects
langue des signes française ,syntaxe ,French sign language ,sémantique ,iconicity ,iconicité ,[SHS.LANGUE]Humanities and Social Sciences/Linguistics ,[SHS.LANGUE] Humanities and Social Sciences/Linguistics ,syntax ,semantics - Abstract
This PhD deals with the passive diathesis in French sign language. We first draw a distinction between LSF and signed French (a pidgin, that is a kind of word to sign translation from French without respecting the structure of sign language nor its inflections) and between LSF and coverbal gesture. We then used the iconicity framework introduced by Christian Cuxac which is, according to us, modified by linguistic processes, into morphologic, syntactic, pragmatic phenomena.Defining passive as a demotion of the first argument, the subject, as Claude Muller does, we defined two criteria. For utterances using personal transfer and featuring a transitive verb, the demotion of the subject is obtained by the patient taking the role in the ongoing personal transfer. For utterances without personal transfer the place of the agent remains unspecified or is specified afterwards with a correlating mark. We thus make a distinction between passive and imperative constructs and between passive and impersonal constructs. We also make a distinction between passive and inverse, the later one changing the viewpoint without changing the focus. Our description can take place in an iconicist grammar and less easily in more standard grammatical framework because of phenomena like transfers, simultaneity or spacial realisation., Dans le cadre de la grammaire générative (Chomsky 1981), le passif s'explique par un mouvement entre la structure profonde et la structure de surface : la morphologie passive absorbe le rôle thématique du sujet et l'assignation d'un cas accusatif, ce qui provoque le mouvement de l'argument interne. Dans le cadre de la grammaire cognitive, les propriétés du passif consistent notamment à retourner le point de repère et la trajectoire (Langacker). Nous avons retenu la définition qui le caractérise en tant que démotion du sujet sémantique (du premier argument du verbe), ou, selon la formulation de C. Muller : « reléguer au rang de relation facultative de dernier rang la relation prédicative du premier argument au verbe, avec ou sans modification (temporelle, aspectuelle) dans la sémantique du verbe » (2002 : 227). Précisant les limites de notre objet d'étude, nous avons distingué la langue des signes d'un côté du français signé, et de l'autre des gestes co-verbaux. Le français signé est un pidgin, parfois une interlangue, que certaines études linguistiques confondent avec la langue des signes. Parmi les traits qui les différencient, celle-ci s'appuie sur une logique visuelle que le français signé ne respecte pas. L'iconicité n'est pas elle- même une langue, mais elle est modelée par des processus linguistiques et se trouve à la source de nombre de phénomènes (morphologiques, syntaxiques, pragmatiques) caractérisant la langue des signes. D'autre part, contrairement aux signes de grande iconicité, les gestes co-verbaux n'ont pas l'indépendance qui leur permet d'être clairs et complets, car ils ne sont pas passés au crible d'un traitement linguistique. L'iconicité est au cœur de la grammaire développée par Christian Cuxac, grammaire qui peut être appréhendée en terme d'ekphrasis. Nous avons retenu deux critères pour caractériser le passif en langue des signes : pour les énoncés en transfert personnel comportant un verbe transitif, la démotion du sujet est marquée par la prise de rôle du patient (l'agent étant absent ou mis au second plan) ; pour les énoncés hors transfert personnel, elle est marquée par la non attribution de l'emplacement de l'agent ou son attribution dans un second temps, éventuellement introduite par un terme relateur. C'est ainsi, par exemple, que l'on peut distinguer passif et impératif, ou passif et impersonnel. Nous avons également proposé de distinguer passif et inverse, le passif mettant au second plan l'agent, l'inverse changeant le point de vue sans changer de focale. Le passif peut se combiner avec d'autres structures pour former des constructions complexes. Cette description du passif peut trouver place dans le cadre d'une grammaire de l'iconicité. Elle peut être plus difficilement retenue dans le cadre des analyses génératives : celles-ci manquent encore d'outils adaptés à une langue en trois dimensions, mettant en jeu des phénomènes comme les transferts, la simultanéité ou la spatialisation.
- Published
- 2006
271. Intensional Models for the Theory of Types
- Author
-
Reinhard Muskens, 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), Department of Philosophy, Universiteit van Tilburg, 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), Tilburg University [Netherlands], 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), and Retoré, Christian
- Subjects
FOS: Computer and information sciences ,[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,Logic ,Computer Science - Artificial Intelligence ,Intensional logic ,Class (philosophy) ,Higher-order logic ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Axiom of extensionality ,[SHS.PHIL] Humanities and Social Sciences/Philosophy ,FOS: Mathematics ,Calculus ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,Discrete mathematics ,[SHS.PHIL]Humanities and Social Sciences/Philosophy ,Sequent calculus ,Modal logic ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Mathematics - Logic ,16. Peace & justice ,03B15 ,Philosophy ,[MATH.MATH-LO]Mathematics [math]/Logic [math.LO] ,Artificial Intelligence (cs.AI) ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Type theory ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,Completeness (logic) ,[MATH.MATH-LO] Mathematics [math]/Logic [math.LO] ,Logic (math.LO) - Abstract
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up., 25 pages
- Published
- 2006
272. Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic
- Author
-
Anoun, Houda, 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), 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 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-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] - Abstract
12; Standard Arabic (SA) is an extremely rich natural language that has unfortunately received very little interest within computational linguistics literature. We propose in this paper to explore this fertile ground and show the first steps towards the formalization of Arabic syntax and semantics by means of MultiModal Categorial Grammars. We will particularly focus on the analysis of some phenomena related to nominal sentences construction in SA using relevant packages of lexically anchored structural rules.
- Published
- 2006
273. An Integrated Computational Approach to Binding Theory
- Author
-
Bonato, Roberto, 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), Department of Computer Science [Verona] (UNIVR | DI), University of Verona (UNIVR), 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é Sciences et Technologies - Bordeaux I, Università degli studi di Verona, Christian Retoré(christian.retore@labri.fr), Co-tutelle franco-italienne, bourse de la Vénétie, 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à degli studi di Verona = University of Verona (UNIVR), 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
logic ,typed lambda calculus ,binding ,semantique formelle du langage naturel ,liage ,linguistique informatique ,natural language semantics ,anaphora ,logique ,[INFO] Computer Science [cs] ,[SHS.LANGUE] Humanities and Social Sciences/Linguistics ,pronoms ,computational linguistics ,pronouns ,lambda calcul typé ,[INFO]Computer Science [cs] ,[SHS.LANGUE]Humanities and Social Sciences/Linguistics ,anaphores - Abstract
Pronouns play a decisive role in every natural language as the linguistic ele- ments that enable semantic cohesion of a text. Anaphora resolution (that is, the task of recovering in an automatic way the semantic content of pronouns) is therefore both an important theoretical issue and a ma jor technological challenge for any computer application that aims at a ?ner-grained semantic analysis of natural language texts. Binding Theory is a branch of generative linguistics devoted to discovering the principles that rule the distribution and interpretation of pronouns in a sentence. In this thesis, we present two algorithms for anaphora resolution inspired by three of the most influential approaches to Binding Theory in linguistics. Eventually, we combine insights issued from last 30 years of linguistic enquiry into an original computational framework and integrate them into a new algorithm. We also compare our computational approach with the purely semantic one recently proposed by Philippe Schenker., Les pronoms jouent un rôle primordial dans toutes les langues humaines en tant qu'éléments fondamentaux pour assurer la cohésion sémantique d'un texte. Le probl`eme de l'automatisation de la résolution d'anaphores (reconnaissance de leur contenu sémantique) est un défi majeur pour toute application informatique qui vise une analyse sémantique ?ne du langage humain. La théorie du liage (Binding Theory) est une partie de la linguistique générative dédiée à l'identi?cation des principes qui régissent la distribution et l'interpretation des pronoms dans une phrase. Nous proposons une procédure algorithmique pour intégrer les principes de la théorie du liage dans une sémantique computationnelle. Notre algorithme combine des éléments des trois plus importantes approches de la théorie du liage et les intègre dans une synthèse originale. Nous étudierons aussi les points de convergence et de divergence entre notre approche et celle purement sémantique récemment proposée par Philippe Schlenker.
- Published
- 2006
274. Ellipse et coordination en grammaire logique
- Author
-
Amblard, Maxime, Anoun, Houda, Lecomte, Alain, 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), Communication Langagière et Interaction Personne-Système (CLIPS - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Université Joseph Fourier - Grenoble 1 (UJF), 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), 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), and Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,[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
International audience; Le formalisme décrit dans ce papier s'inspire de la théorie chomskyenne des transformations généralisées Merge et Move. Il s'agit d'un merge chaque fois qu'on réunit deux nœuds sous la même racine et il s'agit d'un move, plus ou moins déguisé, chaque fois que l'on procède au déchargement d'une hypothèse. L'introduction de l'exponentielle " ! " d'après les travaux de la logique linéaire (Girard, 1987) permet d'envisager des déplacements simultanés fondamentaux dans les processus d'ellipse et de coordination. En ce sens, c'est introduire une part de parallélisme dans le calcul de la structure linguistique.
- Published
- 2006
275. Towards a Computational Treatment of Binding Theory
- Author
-
Roberto Bonato, 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), Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot, 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), Retoré, Christian, and Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot
- Subjects
Phrase ,business.industry ,Computer science ,Semantic interpretation ,Parse tree ,02 engineering and technology ,16. Peace & justice ,computer.software_genre ,[SHS.LANGUE] Humanities and Social Sciences/Linguistics ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Task (project management) ,Meaning (philosophy of language) ,[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ,0202 electrical engineering, electronic engineering, information engineering ,Logical form ,020201 artificial intelligence & image processing ,Artificial intelligence ,[SHS.LANGUE]Humanities and Social Sciences/Linguistics ,Computational linguistics ,business ,computer ,ComputingMilieux_MISCELLANEOUS ,Natural language processing ,Sentence - Abstract
We present two approaches to the task of computing in an inductive compositional way semantic representations of the meaning of a sentence that take into account the principles of Binding Theory. The two algorithms reflect two different interpretations that have been proposed for the principles of Binding Theory as first formulated by Noam Chomsky. We present the two algorithms as additional machinery to enrich well-known bottom-up procedures to compute the logical form of a sentence in a (non intensional) Montagovian style.
- Published
- 2005
276. Apprentissage de grammaires catégorielles : transducteurs d’arbres et clustering pour induction de grammaires catégorielles
- Author
-
SANDILLON REZER, Noémie Fleur, Retoré, Christian, Moot, Richard, Danlos, Laurence, Nasr, Alexis, Senizergues, Géraud, Van de Cruys, Tim, Foret, Annie, and Steedman, Mark
- Subjects
Inférence grammaticale ,Apprentissage automatique ,Grammaires AB ,Clustering ,Transducteur d’arbres
277. Visualisation d'information : de la théorie sémiotique à des exemples pratiques basés sur la représentation de graphes et d'hypergraphes
- Author
-
Sallaberry, Arnaud, Melancon, Guy, Douy, Christophe, Auber, David, Cornelsen, Sabine, Viaud, Marie-Luce, Retoré, Christian, Crampes, Michel, Telea, Alexandru, Graph Visualization and Interactive Exploration (GRAVITE), 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, Fouille de données environnementales (TATOO), 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), Université de Bordeaux (UB), Université Paul-Valéry - Montpellier 3 (UPVM), Université Sciences et Technologies - Bordeaux I, Guy Melançon(Guy.Melancon@labri.fr), and Sallaberry, Arnaud
- Subjects
Dessin de graphes et d'hypergraphes ,Semiotic ,Visualisation d'information ,Information Visualization ,Visualisation d’information ,Graph and hypergraph drawing ,Semiology ,Sémiotique ,[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] ,[INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC] ,Sémiologie ,Dessin de graphes et d’hypergraphes - Abstract
Information visualization aims at designing visual representations of abstract data, furthermore relying on interaction as a mean to discover knowledge. The first part of this thesis challenges Information Visualization by drawing a parallel with semiotics, a 19th century research field focusing on systems of signs required for communication. We develop a point of view on Information Visualization based on the paradigms developed by semioticians during the 20th century. In particular, we show how the visualization validation model proposed by Tamara Munzner is related to the process used by semioticians for utterance analysis. The second part of the thesis focuses on graph visualization and describes two techniques and system prototypes targeting specific application domains. The first one is an interactive technique to visualize and navigate through Web search results. The second one is an algorithm for the visualization of dynamic hierarchies exploiting the analogy with "geographical maps". Finally, the third chapter is devoted to another model used to structure abstract data : hypergraphs. We propose theoretical results on hypergraph drawing and a preliminary technique to visualize hypergraphs., La visualisation d'information est une discipline récente en pleine expansion et qui a pour objet l'étude des méthodes de représentation visuelle de données abstraites, c'est-à-dire non géolocalisées. La sémiotique est quant à elle une discipline beaucoup plus ancienne (fin du XIXième siècle) qui s'intéresse aux divers systèmes de signes nécessaires aux processus de communication. A ce jour, peu de travaux ont été réalisés pour mettre en parallèle ces deux disciplines. C'est pourquoi le premier chapitre de cette thèse est dédié à l'étude de la visualisation d'information selon les paradigmes élaborés par son ainée tout au long du XXième siècle. Nous montrons en particulier comment l'un des modèles les plus aboutis de validation de visualisations (modèle imbriqué de Tamara Munzner) correspond au processus d'étude sémiotique d'énoncés. Le second chapitre est consacré à la visualisation de graphe, outil de modélisation puissant de divers ensembles de données abstraites. Nous proposons d'une part une application permettant de visualiser et de naviguer à travers les pages Internet retournées par un moteur de recherche et d'autre part un algorithme de visualisation de hiérarchies dynamiques sous forme de "cartes géographiques". Enfin, nous évoquons dans le troisième chapitre un autre outil de modélisation de données abstraites : les hypergraphes. Nous proposons des résultats théoriques concernant leur représentation et donnons une ébauche de solution permettant de les visualiser.
278. Sémantique des temps du français : une formalisation compositionnelle
- Author
-
LEFEUVRE, Anais, Retoré, Christian, Gaio, Mauro, Antoine, Jean-Yves, Battistelli, Delphine, Moot, Richard, Hanusse, Nicolas, Enjalbert, Patrice, and Verkuyl, Hendrik Jacob
- Subjects
Λ-calcul simplement typé ,Lexique compositionnel ,Récits de voyage ,Sémantique formelle ,Temporalité des éventualités
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.