La Grammaire Catégorielle Combinatoire Applicative dans

Ecole des Hautes Etudes en Sciences Sociales
--------------------------
La Grammaire Catégorielle Combinatoire Applicative
dans le cadre
des Grammaires Applicatives et Cognitives
Ismaïl BISKRI
Pour l’obtention du diplôme de
Docteur en Informatique
Sous la direction du professeur Jean-Pierre DESCLES
(Soutenance Juillet 1995)
Directeur de thèse : Jean-Pierre DESCLES
Rapporteurs : Daniel COULON
Alain LECOMTE
Jury : Marc BARBUT
Michel DE GLAS
Daniel LACOMBE

Je remercie très sincèrement :
• Le Professeur Jean-Pierre DESCLES pour avoir accepté de diriger mes travaux, pour son soutien,
ses encouragements constants et pour ses conseils précieux.
• Le Professeur Alain LECOMTE pour l’intérêt qu’il a bien voulu porter à mes travaux, pour ses
remarques pertinentes et pour l’honneur qu’il me fait d’être le rapporteur de cette thèse.
• Le Professeur Daniel COULON pour l’échange fructueux d’idées qu’il a accepté d’avoir avec moi et
pour l’honneur qu’il me fait d’être rapporteur de cette thèse.
• Le Professeur Marc BARBUT pour m’avoir accueilli dans le laboratoire du CAMS et pour
l’honneur qu’il me fait de participer à ce jury.
• Le Professeur Daniel LACOMBE pour l’honneur qu’il me fait de participer à ce jury.
• Le Professeur Michel DE GLAS pour l’honneur qu’il me fait de participer à ce jury.
Je remercie également :
• Le Professeur Mark STEEDMAN pour l’intérêt qu’il a pu manifester pour mes travaux ainsi que
pour les remarques constructives qu’il a pu émettre.
• Madame Zlatka GUENTCHEVA-DESCLES pour son soutien et ses encouragements constants.
• Mesdames CANTAREL, CHOUQUET, LECOMTE, PETIT-JEAN pour leur patience, leur gentillesse
et leur disponibilité.
• Tous mes camarades et collègues de l’équipe LaLIC.
Je remercie enfin toute ma famille, mon Père, ma Mère, ma soeur aînée, mon petit frère et ma petite soeur,
pour leur soutien moral. Je ne cesserai de leur témoigner tout mon amour et toute mon affection.

i
TABLE DES MATIÈRES
Pages
Chapitre I : Introduction 1
Chapitre II : État de l'art 10
II.1. Les Réseaux de Transition Augmentés 10
II.2. Les Grammaires d'Arbres Adjoints 14
II.3. La Grammaire Lexicale Fonctionnelle 16
II.4. La Grammaire Syntagmatique Généralisée (GPSG) 21
II.5. La Grammaire Syntagmatique Guidée par les Têtes 24
II.6. Conclusion 26
Chapitre III : Les Grammaires Catégorielles 28
III.1. Origines philosophiques et logiques des Grammaires Catégorielles 28
III.2. Le Modèle de Kazimierz Ajdukiewicz 29
III.3. Le modèle de Yeoshua Bar-Hillel 31
III.4. Le Calcul de Lambek 33
III.5. La Grammaire Catégorielle Combinatoire 39
III.5.1. Analyse Catégorielle Combinatoire 40
III.5.2. Les règles combinatoires 42
III.5.2.1. La composition fonctionnelle 42
III.5.2.2. Le changement de type 44
III.5.2.3. La substitution fonctionnelle 45
III.5.3. Limites sur les règles possibles 46
III.5.4. Analyse incrémentale 48
III.5.4.1. La neutralité paramétrique 50
III.5.5. La coordination 52
III.6. Récapitulatif sur l'évolution des Grammaires Catégorielles 55
III.7. Capacité générative des Grammaires Catégorielles 58
III.8. Conclusion 58
Chapitre IV : Le génotype 59
IV.1. Le Modèle de la Grammaire Applicative Universelle 61

ii
IV.2. La Grammaire Applicative et Cognitive 62
IV.2.1. La logique combinatoire 63
IV.2.1.1. Le combinateur "I" d'identité 64
IV.2.1.2. Le combinateur “B” de composition 64
IV.2.1.3. Le combinateur "S" 65
IV.2.1.4. Le combinateur "ΦΦ" 65
IV.2.1.5. Le combinateur "ΨΨ " de distribution 66
IV.2.1.6. Le combinateur "C*" de changement de type 66
IV.2.1.7. Le Combinateur "C" de permutation 66
IV.2.1.8. Le combinateur "W" de duplication 67
IV.2.1.9. Le combinateur "K" d'effacement 67
IV.2.1.10. Les combinateurs complexes 68
IV.2.1.10.1. Puissance d’un combinateur 68
IV.2.1.10.2. Combinateurs à distance 69
IV.2.1.11. Théorèmes sur les combinateurs 69
IV.2.2. Calcul sur les types 69
IV.2.2.1. Les types des combinateurs 70
IV.3. Formes normales 72
IV.3.1. Définitions 72
IV.3.2. Théorème de Church-Rosser 73
IV.4. Conclusion 74
Chapitre V : Du phénotype au génotype 77
V.1 Règles combinatoires applicatives 82
V.1.1. Preuve du lien règles combinatoires / combinateurs 89
V.2. Traitement de la thématisation 98
V.3. Modifieurs arrières et réorganisation structurelle 101
V.3.1. La réorganisation structurelle 103
V.4. La coordination par ET 109
V.4.1. Type de la coordination 111
V.4.1.1. La coordination distributive 112
V.4.1.1.1. La coordination et la préservation de l'ordre 116
V.4.1.2. La coordination non distributive 126
V.5. Traitement de la négation 128
V.6. Remarque 131
V.7. Quand faut-il déclencher un changement de type ? 133
V.8. Conclusion 137

iii
Chapitre VI : Implémentation 140
VI.1. Le langage LISP 140
VI.1.1. Les opérations de base 141
VI.1.2. La structure de données "liste" 141
VI.1.3. Exemples 141
VI.2. Les éléments de l'implémentation 141
VI.2.1. Structure de données pour les types syntaxiques 142
VI.2.1.1. Les types foncteurs 142
VI.2.1.2. Les types de base 144
VI.2.2. Structure de données pour les constructions prédicatives 145
VI.3. Les modules du programme 148
VI.4. Résultats de l'implémentation 150
Chapitre VII : Conclusion et perspectives 228
Annexe 1 : Le corpus 235
Annexe 2 : Traitement d'un texte issu d'un corpus sur les constats d'assurance 240
Annexe 3 : L'implémentation en détail 249
Bibliographie 293