Sens et Savoirs
Des communautés épistémiques dans le discours
Claire Beyssade
Presses Universitaires de Rennes
Avant-propos7
Plan du livre11
Sources12
Introduction13
1. Un modèle réaliste13
2. Hypothèses de travail14
2.1 Un modèle d'agents14
2.2 Logique et langage16
1re Partie: Un modèle de la connaissance et de la communication
Chapitre 1: Modalités et omniscience logique25
1. Les modalités en logique et le problème de l'omniscience26
1.1 La logique modale et la sémantique des mondes possibles26
1.2 La logique épistémique28
1.3 L'omniscience logique des agents28
2. Les solutions existantes30
2.1 Variations autour de la sémantique des mondes possibles30
2.1.1 Les logiques de l'implicite et de l'explicite30
2.1.2 Les logiques de l'awareness31
2.1.3 La sémantique des connecteurs31
2.2 Les approches dynamiques32
2.2.1 Un modèle déductif de la croyance32
2.2.2 Critiques33
3. Conclusions et perspectives34
Chapitre 2: Le modèle logique: représentation des agents et des connaissances39
1. Lignes directrices39
1.1 Le choix d'un système multi-agent39
1.2 Une sémantique à la Heyting40
2. Un lambda-calcul typé43
2.1 Motivations pour un langage d'ordre supérieur typé43
2.2 Syntaxe44
3. Les agents46
3.1 Des agents rationnels46
3.2 Formalisation47
3.3 Représentation d'un agent49
3.3.1 Une base de connaissances statiques, notée BdC(A)49
3.3.2 Un ensemble de règles d'inférence, noté RI(A)50
3.3.3 Un module de contrôle, noté cont(A)52
3.3.4 Des procédures de décision53
3.3.5 Les ressources53
4. L'organisation des connaissances54
4.1 Croyances et connaissances implicites et explicites54
4.2 Représenter les connaissances et les capacités d'autrui57
4.2.1 Le point de vue d'un agent sur autrui57
4.2.2 Compétence et rationalité58
5. Conclusion59
Chapitre 3: La communication au sein du système multi-agent61
1. Modélisation logique de la communication61
1.1 Langage de représentation versus langage de communication61
1.1.1 Le rapport des agents au système61
1.1.2 Du subjectif à l'objectif ou comment éviter le solipsisme63
1.1.3 Le rapport d'un agent à autrui: la communication64
1.2 La vérité au sein d'une communauté épistémique66
1.2.1 Les communautés épistémiques66
1.2.2 Vérité et preuve67
1.2.3 Preuve versus argument69
2. Modélisation d'une situation de discours69
2.1 La subjectivité dans les langues naturelles70
2.2 L'intérêt des communautés épistémiques72
2.2.1 La communauté linguistique72
2.2.2 Communauté de communication et communauté d'interprétation73
2.2.3 Exemples76
2.3 L'usage des arguments78
Chapitre 4: Croire et savoir81
1. Croire82
2. Savoir84
3. Comptes rendus d'attitude86
3.1 Les présuppositions liées au savoir86
a) Dans les approches modales classiques86
Dans notre système87
3.2 Les comptes rendus de savoir88
3.3 "Savoir si"90
4. Règles de discours et règles par défaut91
4.1 Les maximes conversationnelles91
4.2 Exemples93
4.2.1 Savoir que / savoir si93
4.2.2 L'alternance savoir / croire94
5. Conclusion95
2e Partie: L'opacité
Chapitre 5: Opacité et attitudes propositionnelles99
1. Approche logique99
1.1 Frege99
1.2 Le principe de substituabilité des identiques101
1.3 La règle de généralisation existentielle102
2. L'opacité dans les langues naturelles102
3. Opacité et compétence105
3.1 Prise en charge par défaut106
3.2 Les cas de désaccord107
4. Conclusion108
Chapitre 6: L'opacité dans un cadre multi-agent111
1. L'héritage Montagovien111
1.1 L'intension de Montague111
1.2 Le traitement de l'opacité chez Montague112
1.3 Analyse critique113
2. Sens, référence et dénotation dans notre cadre114
2.1 Une sémantique extensionnelle114
2.2 Égalité et coréférence118
2.3 La règle de substitution121
3. L'opacité123
3.1 Prise en charge et communauté d'interprétation123
3.2 Règles de défaut et sous-détermination124
4. Le calcul des interprétations125
4.1 La traduction des termes marqués125
4.2 La dérivation effective des interprétations128
4.2.1 L'opérateur128
4.2.2 Jeanne et son instituteur129
4.2.3 Oedipe et sa mère130
Chapitre 7: L'opacité dans d'autres contextes133
1. L'opacité hors des contextes opacifiants133
1.1 Des contextes mentionnant plusieurs agents133
1.2 Des agents implicites135
2. Opacité de la référence et opacité du sens137
2.1 Les descriptions définies attributives138
2.1.1 Description définie référentielle versus description définie attributive138
2.1.2 L'opacité des utilisations référentielles et attributives139
2.2 Opacité de la référence et opacité du sens140
3. L'extension aux autres expressions nominales144
3.1 Les descriptions indéfinies144
3.1.1 Description indéfinie spécifique ou non spécifique144
3.1.2 L'opacité des descriptions indéfinies146
3.1.3 Combinatoire des interprétations147
3.2 Les noms propres150
3.2.1 Les différentes conceptions du nom propre150
3.2.2 L'opacité des noms propres155
4. Conclusion156
3e Partie: Les présuppositions
Chapitre 8: Les présuppositions dans le discours159
1. Ce que présupposer veut dire159
1.1 Présuppositions et interprétation159
1.2 Un paradigme pour les présuppositions160
1.3 Les expressions ou constructions présupposantes163
2. Présuppositions et anaphores164
2.1 Le renouvellement de la question par van der Sandt165
2.2 Analyse d'exemples dans le cadre de la DRT166
2.3 La procédure de résolution172
3. Qui présuppose quoi?174
3.1 La détermination de ce qui est présupposé174
3.1.1 Les présuppositions à reconstruire174
3.1.2 Les autres termes - p176
3.2 Qui présuppose quoi?177
3.2.1 Le cas de regretter178
3.2.2 Les présuppositions des descriptions définies179
Chapitre 9: Les présuppositions dans un système multi-agent181
1. Présuppositions et communauté de communication181
1.1 L'opposition fond / relief181
1.2 Le caractère dynamique des présuppositions184
1.3 Une sémantique à instruction pour les présuppositions186
1.3.1 Les descriptions définies et l'opérateur187
1.3.2 Les descriptions indéfinies189
1.3.3 Une sémantique à instruction pour les présuppositions lexicales191
2. Projection et prise en charge192
2.1 L'organisation interne du cadre de fond192
2.1.1 Premier exemple193
2.1.2 Second exemple194
2.1.3 Troisième exemple195
2.2 Les présuppositions dans les contextes opaques196
2.2.1 L'état de l'art196
2.2.2 Les avantages d'un cadre multi-agent198
2.2.3 Présuppositions et défauts201
3. Conclusion202
Chapitre 10: La représentation des états cognitifs203
1. La représentation des croyances en DRT203
1.1 La DRT et la logique du premier ordre203
1.2 L'extension de la DRT aux contextes de croyance204
1.3 Le système des ancrages205
1.3.1 Les ancrages externes205
1.3.2 Les ancrages formels206
1.3.3 Les liens internes208
2. La représentation des états cognitifs209
2.1 Un exemple complexe209
2.2 Les étapes de la construction211
3. Réflexions critiques213
3.1 Les points positifs213
3.1.1 La substitution dans les contextes de croyance213
3.1.2 L'intérêt des référents conceptuels215
3.2 Les défauts de ce mode de représentation217
3.2.1 Le rapport au monde extérieur217
3.2.2 Des états cognitifs atrophiés217
3.2.3 Une théorie sémantique ou une théorie de la communication?218
4. Du discours aux agents220
Conclusion204
Annexes
Annexe 1: Logiques modales et omniscience231
1. Logique épistémique231
a) Logique épistémique propositionnelle231
b) Logique épistémique du premier ordre233
2. La logique de l'implicite et de l'explicite de Levesque234
3. Les logiques de l'awareness236
a)Premier système236
b) Second système: awareness généralisé238
c) Dernière extension239
4. La logique des connecteurs de Muskens239
5. L'approche dynamique de Konolige241
Annexe 2: Le système multi-agent245
1. Syntaxe246
a) Un lambda-calcul typé246
b) Langage de représentation des connaissances et langage de communication247
2. Exemples d'application248
a) Premier exemple248
b) Second exemple249
3. Sémantique extensionnelle249
Annexe 3: Les théories de l'annulation251
1. Reformulation préalable de maximes conversationnelles de Grice
a) La maxime de qualité
b) La maxime de quantité
2. Les présuppositions potentielles
3. La procédure d'annulation
4. Présuppositions et règles de défaut
Bibliographie259
Index des noms propres268
Index des notions269
Table des symboles271