A logical approach to grammar description

Journal of Language Modelling

Lionel Clément¹  Sylvain Salvati¹  Jérôme Kirman¹ 

[1] Université de BordeauxLaBRI;

关键词: grammar description;    logic;    Finite State Automata;    logical transduction;    lambda calculus;    Abstract Categorial Grammars;   

DOI  :  10.15398/jlm.v3i1.94

来源: DOAJ

【 摘 要 】

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 to 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 λ-calculus allows us not only to use this linguistic model for several languages, namely English, German and Dutch, but also for semantic interpretation.

【 授权许可】

Unknown