1 |
Cyclic scope and processing difficulty in a Minimalist parser
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 8 ; 2397-1835 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
A framework of controlled robot language for reliable human-robot collaboration
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
4 |
Cognitive Constraints Built into Formal Grammars: Implications for Language Evolution
|
|
Gómez-Rodríguez, Carlos; Christiansen, Morten H.; Ferrer-i-Cancho, Ramon. - : Ravignani, A., Barbieri, C., Martins, M., Flaherty, M., Jadoul, Y., Lattenkamp, E., Little, H., Mudd, K., Verhoef, T., 2020
|
|
BASE
|
|
Show details
|
|
5 |
Unsupervised Formal Grammar Induction with Confidence
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2020)
|
|
BASE
|
|
Show details
|
|
6 |
COGNITIVE LINGUISTICS AS A DEVELOPMENT OF FORMAL LINGUISTICS ... : КОГНИТИВНАЯ ЛИНГВИСТИКА КАК РАЗВИТИЕ ЛИНГВИСТИКИ ФОРМАЛЬНОЙ ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Learnability and Overgeneration in Computational Syntax
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2019)
|
|
BASE
|
|
Show details
|
|
9 |
What Does This Notation Mean Anyway? ; What Does This Notation Mean Anyway?: MBNF-Style Notation as it is Actually Used
|
|
|
|
In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.inria.fr/hal-01812800 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
11 |
A Structural Theory of Derivations
|
|
|
|
Abstract:
Operations which take in tuples of syntactic objects and assign them output syntactic objects are used to formalize the generative component of most formal grammars in the minimalist tradition. However, these models do not usually include information which relates the structure of the input and output objects explicitly. We develop a very general formal model of grammars which includes this structural change data, and also allows for richer dependency structures such as feature geometry and feature-sharing. Importantly, syntactic operations involving phrasal attachment selection, agreement, licensing, head-adjunction, etc. can all be captured as special kinds of structural changes, and hence we can analyze them using a uniform technique. Using this data, we give a rich theory of isomorphisms, equivalences, and substructures of syntactic objects, structural changes, derivations, rules, grammars, and languages. We show that many of these notions, while useful, are technically difficult or impossible to state in prior models. It is immediately possible to define grammatical notions like projection, agreement, selection, etc. structurally in a manner preserved under equivalences of various sorts. We use the richer structure of syntactic objects to give a novel characterization of c-command naturally arising from this structure. We use the richer structure of rules to give a general theory of structural analyses and generating structural changes. Our theory of structural analyses makes it possible to extract from productions what structure is targeted by a rule and what conditions a rule can apply in, regardless of the underlying structure of syntactic objects or the kinds of phrasal and featural manipulations performed, where other formal models have difficulty incorporating such structure-sensitive rules. This knowledge of structural changes also makes it possible to extend rules to new objects straightforwardly. Our theory of structural changes allows us to deconstruct them into component parts and show relationships between operations which are missed by models lacking this data. Finally, we extend the model to a copying theory of movement. We implement a traditional model of copying ‘online’, where copies and chains are formed throughout the course of the derivation (while still admitting a feature calculus in the objects themselves). Part of what allows for this is having a robust theory of substructures of derived objects and how they are related throughout a derivation. We show consequences for checking features in chains and feature-sharing.
|
|
Keyword:
agreement; category theory; formal grammars; Linguistics; minimalist grammars; phrase structure; syntax
|
|
URL: https://doi.org/10.13016/M24J0B15D http://hdl.handle.net/1903/20903
|
|
BASE
|
|
Hide details
|
|
12 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
13 |
Effects and handlers in natural language ; Les effects et les handlers dans le langage naturel
|
|
|
|
In: https://hal.inria.fr/tel-01417467 ; Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0322⟩ (2016)
|
|
BASE
|
|
Show details
|
|
14 |
Semantics and Discourse: from modelling to interpretation ; Sémantique et discours - de la modélisation à l'interprétation
|
|
|
|
In: https://hal.inria.fr/tel-01415967 ; Informatique [cs]. Université de Lorraine (Nancy), 2016 (2016)
|
|
BASE
|
|
Show details
|
|
15 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
16 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
17 |
Natural Language Generation for Language Learning ; Génération automatique de phrases pour l’apprentissage des langues
|
|
|
|
In: https://hal.inria.fr/tel-01749799 ; Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0062⟩ (2013)
|
|
BASE
|
|
Show details
|
|
19 |
Game semantics and parsing context-free lambda-grammars ; Jeux de typage et analyse de lambda-grammaires non-contextuelles
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00733964 ; Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2012. Français (2012)
|
|
BASE
|
|
Show details
|
|
20 |
The motion grammar: Linguistic perception, planning, and control
|
|
|
|
In: https://smartech.gatech.edu/bitstream/handle/1853/36485/yama.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
|