Sens et savoirs : des communautés épistémiques dans le discours

Auteur(s) :

Beyssade, Claire (1966-....) Découvrir l'auteur

Résumé

Cette étude tente de développer un modèle de représentation des connaissances au sens le plus large. Il se fixe un double objectif : modéliser la communication et la coopération d'agents rationnels, en faisant en sorte que ce modèle soit adéquat pour rendre compte de questions relevant de la sémantique des langues naturelles.

Éditeur(s)
- Presses universitaires de Rennes
Date
- 1998
Langues
- Français
Description matérielle
- 278 p. ; 24 cm
Collections
- Langue & discours
Sujet(s)
ISBN
- 2-86847-293-1
Indice
- 803.7 Grammaire formelle, linguistique et logique
Tables des matières
- - 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
Origine de la notice:
- Electre