From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: Linguistique

Equipe Méthodes Formelles
Logique, linguistique et informatique
Responsable : C. Rétoré.

General presentation

This group studies the formalisation of natural language, in particular its syntax and its semantics. The theme fits well within the formal methods team, since the methods involved encompass formal language theory, formal grammars and logic.

Since the beginnings of computer science linguistics has always been at the same time a favoured research field (natural languages and reasoning), a privileged application area (automatic translation) and a source of key concepts (formal language theory). More recently, logic has been recognized as a federating tool for natural language processing with its ability to account for both semantic and syntactic phenomena of natural language. We aim at developing computer models and algorithms for different description levels of natural language study and processing, with a special focus on the syntax-semantics interface.

More precisely, we aim at modelling by means of formal methods such as formal language theory and formal grammars, categorial grammars and resource logic, lambda calculus and higher order logic. The aspects of natural language that we study include the structure of words (morphology) and of sentences both from a syntactic and a semantic or logical viewpoint (this later example can be extended to discourse structure). Among our goals are a closer study of the relationship between formal grammars, a tighter integration of morphology and syntax, the automatic computation of semantic representations from syntactic analyses (from categorial, minimalist, dependency grammars), anaphora resolution, scope ambiguities, and, more generally, the study of the relationship between the predicative structure of a sentence and the logic structure of discourse. Our study can be parted into three layers:

The theme focuses on the interaction between these three layers, in particular the automation of the transition between a sentence and its meaning, as well as the mathematical study of the formalisms and transformations.

Récupéré sur
Page mise à jour le 12/10/2012 à 11:47