| 1 |
Towards a Formal Description of NPI-licensing Patterns
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2018)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A computational guide to the dichotomy of features and constraints
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 2, No 1 (2017); 18 ; 2397-1835 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Compilation of a Property Grammar for Syntactic Parsing through Constraint Optimisation ; Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes
|
|
|
|
In: 23e Conférence sur le Traitement Automatique des Langues Naturelles ; TALN: Traitement Automatique des Langues Naturelles ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01473863 ; TALN: Traitement Automatique des Langues Naturelles, Jul 2016, Paris, France ; https://jep-taln2016.limsi.fr/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Frigram: a French Interaction Grammar
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.inria.fr/hal-01188687 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, High-level methodologies for grammar engineering, 3 (1), pp.265-316. ⟨10.15398/jlm.v3i1.93⟩ ; http://jlm.ipipan.waw.pl/index.php/JLM/article/view/93 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
A high-level syntactic formalism for natural language processing ; Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01267716 ; Informatique. Université de Bordeaux, 2015. Français. ⟨NNT : 2015BORD0330⟩ (2015)
|
|
Abstract:
The goal of computational linguistics is to provide a formal account linguistical knowledge, and to produce algorithmic tools for natural languageprocessing. Often, this is done in a so-called generative framework, where grammars describe sets of valid sentences by iteratively applying some set of rewrite rules. Another approach, based on model theory, describes instead grammaticality as a set of well-formedness logical constraints, relying on deep links between logic and automata in order to produce efficient parsers. This thesis favors the latter approach. Making use of several existing results in theoretical computer science, we propose a tool for linguistical description that is both expressive and designed to facilitate grammar engineering. It first tackles the abstract structure of sentences, providing a logical language based on lexical properties of words in order to concisely describe the set of grammaticaly valid sentences. It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus. Then in order to validate this proposal, we use it to model various linguistic phenomenas, ending with a specific focus on languages that include free word order phenomenas (that is, sentences which allow the free reordering of some of their words or syntagmas while keeping their meaning), and on their algorithmic complexity. ; La linguistique informatique a pour objet de construire un modèle formel des connaissances linguistiques, et d’en tirer des algorithmes permettant le traitement automatique des langues. Pour ce faire, elle s’appuie fréquemment sur des grammaires dites génératives, construisant des phrases valides par l’application successive de règles de réécriture. Une approche alternative, basée sur la théorie des modèles, vise à décrire la grammaticalité comme une conjonction de contraintes de bonne formation, en s’appuyant sur des liens profonds entre logique et automates pour produire des analyseurs efficaces. Notre travail se situe dans ce dernier cadre. En s’appuyant sur plusieurs résultats existants en informatique théorique, nous proposons un outil de modélisation linguistique expressif, conçu pour faciliter l’ingénierie grammaticale. Celui-ci considère dans un premier temps la structure abstraite des énoncés, et fournit un langage logique s’appuyant sur les propriétés lexicales des mots pour caractériser avec concision l’ensemble des phrases grammaticalement correctes. Puis, dans un second temps, le lien entre ces structures abstraites et leurs représentations concrètes (en syntaxe et en sémantique) est établi par le biais de règles de linéarisation qui exploitent la logique et le lambda-calcul. Par suite, afin de valider cette approche, nous proposons un ensemble de modélisations portant sur des phénomènes linguistiques divers, avec un intérêt particulier pour le traitement des langages présentant des phénomènes d’ordre libre (c’est-à-dire qui autorisent la permutation de certains mots ou groupes de mots dans une phrase sans affecter sa signification), ainsi que pour leur complexité algorithmique.
|
|
Keyword:
[SCCO.COMP]Cognitive science/Computer science; Abstract categorial grammars; Computational linguistics; Grammaires catégorielles abstraites; Lambda-calcul; Lambda-calculus; Linguistique informatique; Logic; Logique; Model-theoretic syntax; Syntaxe modèle-théorique
|
|
URL: https://tel.archives-ouvertes.fr/tel-01267716
https://tel.archives-ouvertes.fr/tel-01267716/document
https://tel.archives-ouvertes.fr/tel-01267716/file/KIRMAN_JEROME_2015.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 7 |
A high-level formalism for natural language processing ; Mise au point d'un formalisme de haut niveau pour le traitement automatique des langues
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01251668 ; Informatique et langage [cs.CL]. Université de Bordeaux, 2015. Français (2015)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Model-Theoretic Syntax: Property Grammar, Status and Directions ; Syntaxe par modèles : grammaires de propriétés, statut et perspectives
|
|
|
|
In: Constraints and Language ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471759 ; Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraints and Language, Cambridge Scholars Publishing, pp.37-56, 2014, 978-1-4438-6052-9 ; http://www.cambridgescholars.com/constraints-and-language (2014)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
FRIGRAM: a French Interaction Grammar
|
|
|
|
In: ESSLLI 2013 - Workshop on High-level Methodologies for Grammar Engineering ; https://hal.inria.fr/hal-00920717 ; ESSLLI 2013 - Workshop on High-level Methodologies for Grammar Engineering, Université de Düsseldorf, Aug 2013, Düsseldorf, Germany. pp.63-74 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Modelling Syntactic Gradience with Loose Constraint-based Parsing ; Modélisation de la gradience syntaxique par analyse relâchée à base de contraintes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00352828 ; Other [cs.OH]. Université de Provence - Aix-Marseille I; Macquarie University, 2008. English (2008)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Monadic Second-Order Logic and Transitive Closure Logics over Trees
|
|
|
|
In: http://tcl.sfs.uni-tuebingen.de/~kepser/papers/wollic2006.pdf
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Some Interdefinability Results for Syntactic Constraint Classes
|
|
|
|
In: http://tgraf.bol.ucla.edu/doc/papers/mol11.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
