Structure des représentations logiques, polarisation et sous-spécification

Cet article s'interesse a la structure des representations logiques des enonces en langue naturelle. Par representation logique, nous entendons une representation semantique incluant un traitement de la portee des quantificateurs. Nous montrerons qu'une telle representation combine fondamentalement deux structures sous-jacentes, une structure « predicative » et une structure hierarchique logique, et que la distinction des deux permet, par exemple, un traitement elegant de la sous-specification. Nous proposerons une grammaire polarisee pour manipuler directement la structure des representations logiques (sans passer par un langage lineaire avec variables), ainsi qu'une grammaire pour l'interface semantique-syntaxe