- Tytuł:
- A logical approach to grammar description
- Autorzy:
-
Clément, L.
Kirman, J.
Salvati, S. - Powiązania:
- https://bibliotekanauki.pl/articles/103895.pdf
- Data publikacji:
- 2015
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
grammar description
logic
Finite State Automata
logical transduction
lambda calculus
Abstract Categorial Grammars - Opis:
- In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda calculus. We propose then a high-level formalism for describing mildly context sensitive grammars and their semantic interpretation. As we rely on the correspondence between logic and finite state automata, our method combines conciseness with effectivity. We illustrate our approach with a simple linguistic model of several interleaved linguistic phenomena involving extraction. The level of abstraction provided by logic and lambda calculus allows us not only to use this linguistic model for several languages, namely English, German, and Dutch, but also for semantic interpretation.
- Źródło:
-
Journal of Language Modelling; 2015, 3, 1; 87-143
2299-856X
2299-8470 - Pojawia się w:
- Journal of Language Modelling
- Dostawca treści:
- Biblioteka Nauki