%PDF-1.3 5 0 obj << /S /GoTo /D (cover.1.-1) >> endobj 8 0 obj (Couverture) endobj 9 0 obj << /S /GoTo /D (acknowledgment.2.-1) >> endobj 12 0 obj (Remerciements) endobj 13 0 obj << /S /GoTo /D (dedication.3.-1) >> endobj 16 0 obj (D\351dicace) endobj 17 0 obj << /S /GoTo /D (.-1) >> endobj 20 0 obj (Table des mati\350res) endobj 21 0 obj << /S /GoTo /D (division.5) >> endobj 24 0 obj (I Pr\351liminaires) endobj 25 0 obj << /S /GoTo /D (division.6) >> endobj 28 0 obj (Introduction) endobj 29 0 obj << /S /GoTo /D (division.7) >> endobj 32 0 obj (Contexte) endobj 33 0 obj << /S /GoTo /D (section.7.1) >> endobj 36 0 obj (Approximation et abstraction) endobj 37 0 obj << /S /GoTo /D (section.7.2) >> endobj 40 0 obj (Logiques intuitionnistes et modales) endobj 41 0 obj << /S /GoTo /D (section.7.3) >> endobj 44 0 obj (Connaissances et observations) endobj 45 0 obj << /S /GoTo /D (section.7.4) >> endobj 48 0 obj (Approche retenue) endobj 49 0 obj << /S /GoTo /D (division.8) >> endobj 52 0 obj (Exemple : Des cartes et des enveloppes) endobj 53 0 obj << /S /GoTo /D (section.8.1) >> endobj 56 0 obj (D\351finition du syst\350me de repr\351sentations) endobj 57 0 obj << /S /GoTo /D (section.8.2) >> endobj 60 0 obj (Traduction logique) endobj 61 0 obj << /S /GoTo /D (subsection.8.2.1) >> endobj 64 0 obj (D\351finition du vocabulaire) endobj 65 0 obj << /S /GoTo /D (subsection.8.2.2) >> endobj 68 0 obj (Liens avec les descriptions) endobj 69 0 obj << /S /GoTo /D (section.8.3) >> endobj 72 0 obj (Quelques propri\351t\351s du syst\350me) endobj 73 0 obj << /S /GoTo /D (section.8.4) >> endobj 76 0 obj (\311tude statique et dynamique) endobj 77 0 obj << /S /GoTo /D (division.9) >> endobj 80 0 obj (II Formalisation) endobj 81 0 obj << /S /GoTo /D (division.10) >> endobj 84 0 obj (Une repr\351sentation) endobj 85 0 obj << /S /GoTo /D (section.10.1) >> endobj 88 0 obj (Pr\351sentation) endobj 89 0 obj << /S /GoTo /D (subsection.10.1.1) >> endobj 92 0 obj (Exemples) endobj 93 0 obj << /S /GoTo /D (subsection.10.1.2) >> endobj 96 0 obj (Enrichissement de la d\351finition) endobj 97 0 obj << /S /GoTo /D (section.10.2) >> endobj 100 0 obj (Construction de repr\351sentations) endobj 101 0 obj << /S /GoTo /D (section.10.3) >> endobj 104 0 obj (Logique associ\351e aux repr\351sentations) endobj 105 0 obj << /S /GoTo /D (division.11) >> endobj 108 0 obj (Deux repr\351sentations) endobj 109 0 obj << /S /GoTo /D (section.11.1) >> endobj 112 0 obj (Constructions \340 partir de deux repr\351sentations) endobj 113 0 obj << /S /GoTo /D (subsection.11.1.1) >> endobj 116 0 obj (Somme disjointe) endobj 117 0 obj << /S /GoTo /D (subsection.11.1.2) >> endobj 120 0 obj (Produit r\351duit) endobj 121 0 obj << /S /GoTo /D (section.11.2) >> endobj 124 0 obj (Cas extr\352mes de relations entre repr\351sentations) endobj 125 0 obj << /S /GoTo /D (subsection.11.2.1) >> endobj 128 0 obj (Cas horizontal) endobj 129 0 obj << /S /GoTo /D (subsection.11.2.2) >> endobj 132 0 obj (Cas vertical) endobj 133 0 obj << /S /GoTo /D (section.11.3) >> endobj 136 0 obj (Approximation et abstraction) endobj 137 0 obj << /S /GoTo /D (subsection.11.3.1) >> endobj 140 0 obj (Approximation et repr\351sentations) endobj 141 0 obj << /S /GoTo /D (subsection.11.3.2) >> endobj 144 0 obj (Logique de l'approximation) endobj 145 0 obj << /S /GoTo /D (division.12) >> endobj 148 0 obj (Plusieurs repr\351sentations) endobj 149 0 obj << /S /GoTo /D (section.12.1) >> endobj 152 0 obj (Cas sans composition) endobj 153 0 obj << /S /GoTo /D (subsection.12.1.1) >> endobj 156 0 obj (Caract\351risation de l'interpr\351tation) endobj 157 0 obj << /S /GoTo /D (subsection.12.1.2) >> endobj 160 0 obj (Caract\351risation de la logique) endobj 161 0 obj << /S /GoTo /D (section.12.2) >> endobj 164 0 obj (Cas avec composition) endobj 165 0 obj << /S /GoTo /D (subsection.12.2.1) >> endobj 168 0 obj (Renforcement de la logique) endobj 169 0 obj << /S /GoTo /D (division.13) >> endobj 172 0 obj (Quelques variations logiques autour de OL) endobj 173 0 obj << /S /GoTo /D (section.13.1) >> endobj 176 0 obj (Formulation en calcul des s\351quents) endobj 177 0 obj << /S /GoTo /D (subsection.13.1.1) >> endobj 180 0 obj (Localisation des propositions) endobj 181 0 obj << /S /GoTo /D (subsection.13.1.2) >> endobj 184 0 obj (R\350gles \340 la ``Gentzen'' pour OL) endobj 185 0 obj << /S /GoTo /D (section.13.2) >> endobj 188 0 obj (Propri\351t\351s et manipulations de preuves) endobj 189 0 obj << /S /GoTo /D (section.13.3) >> endobj 192 0 obj (Quelques propri\351t\351s sur les indices) endobj 193 0 obj << /S /GoTo /D (section.13.4) >> endobj 196 0 obj (\311limination de la r\350gle d'universalit\351 dans le cas infini) endobj 197 0 obj << /S /GoTo /D (division.14) >> endobj 200 0 obj (Quelques cons\351quences de la logique OL) endobj 201 0 obj << /S /GoTo /D (section.14.1) >> endobj 204 0 obj (La double n\351gation intuitionniste) endobj 205 0 obj << /S /GoTo /D (subsection.14.1.1) >> endobj 208 0 obj (Le protocole de transfert de bit) endobj 209 0 obj << /S /GoTo /D (subsection.14.1.2) >> endobj 212 0 obj (Interpr\351tation de la double n\351gation) endobj 213 0 obj << /S /GoTo /D (subsection.14.1.3) >> endobj 216 0 obj (Lien avec la logique classique) endobj 217 0 obj << /S /GoTo /D (section.14.2) >> endobj 220 0 obj (L'axiome 5) endobj 221 0 obj << /S /GoTo /D (subsection.14.2.1) >> endobj 224 0 obj (Lien avec le tiers-exclu) endobj 225 0 obj << /S /GoTo /D (section.14.3) >> endobj 228 0 obj (La confiance r\351ciproque entre agents) endobj 229 0 obj << /S /GoTo /D (section.14.4) >> endobj 232 0 obj (La consistance globale) endobj 233 0 obj << /S /GoTo /D (division.15) >> endobj 236 0 obj (III Hi\351rarchies de repr\351sentations) endobj 237 0 obj << /S /GoTo /D (division.16) >> endobj 240 0 obj (Vers les hi\351rarchies de repr\351sentation) endobj 241 0 obj << /S /GoTo /D (section.16.1) >> endobj 244 0 obj (Un ordre sur les indices) endobj 245 0 obj << /S /GoTo /D (subsection.16.1.1) >> endobj 248 0 obj (Implications sur la logique) endobj 249 0 obj << /S /GoTo /D (section.16.2) >> endobj 252 0 obj (Hi\351rarchies de repr\351sentations) endobj 253 0 obj << /S /GoTo /D (subsection.16.2.1) >> endobj 256 0 obj (D\351finition) endobj 257 0 obj << /S /GoTo /D (subsection.16.2.2) >> endobj 260 0 obj (Approche \351quivalente) endobj 261 0 obj << /S /GoTo /D (section.16.3) >> endobj 264 0 obj (Comportement logique) endobj 265 0 obj << /S /GoTo /D (subsection.16.3.1) >> endobj 268 0 obj (Cas avec une infinit\351 d'indices) endobj 269 0 obj << /S /GoTo /D (subsection.16.3.2) >> endobj 272 0 obj (Cas avec un ensemble fini d'indices) endobj 273 0 obj << /S /GoTo /D (division.17) >> endobj 276 0 obj (Localisation et consistance) endobj 277 0 obj << /S /GoTo /D (section.17.1) >> endobj 280 0 obj (Localisation des propositions) endobj 281 0 obj << /S /GoTo /D (section.17.2) >> endobj 284 0 obj (Hi\351rarchies consistantes) endobj 285 0 obj << /S /GoTo /D (section.17.3) >> endobj 288 0 obj (Logique des hi\351rarchies consistantes) endobj 289 0 obj << /S /GoTo /D (section.17.4) >> endobj 292 0 obj (Utilisation de hi\351rarchies consistantes) endobj 293 0 obj << /S /GoTo /D (subsection.17.4.1) >> endobj 296 0 obj (La localisation des propositions) endobj 297 0 obj << /S /GoTo /D (subsection.17.4.2) >> endobj 300 0 obj (La manipulation des hi\351rarchies consistantes) endobj 301 0 obj << /S /GoTo /D (division.18) >> endobj 304 0 obj (IV Comparaison) endobj 305 0 obj << /S /GoTo /D (division.19) >> endobj 308 0 obj (Synth\350se) endobj 309 0 obj << /S /GoTo /D (section.19.1) >> endobj 312 0 obj (Nouvelle approche de la localisation) endobj 313 0 obj << /S /GoTo /D (section.19.2) >> endobj 316 0 obj (Fermeture des propositions) endobj 317 0 obj << /S /GoTo /D (section.19.3) >> endobj 320 0 obj (Les observations atomiques) endobj 321 0 obj << /S /GoTo /D (section.19.4) >> endobj 324 0 obj (La connaissance accessible par observation) endobj 325 0 obj << /S /GoTo /D (division.20) >> endobj 328 0 obj (Vers une th\351orie de la connaissance observable) endobj 329 0 obj << /S /GoTo /D (section.20.1) >> endobj 332 0 obj (Objectivit\351 d'une proposition) endobj 333 0 obj << /S /GoTo /D (subsection.20.1.1) >> endobj 336 0 obj (Quelques approches de l'objectivit\351) endobj 337 0 obj << /S /GoTo /D (subsection.20.1.2) >> endobj 340 0 obj (La notion de contexte) endobj 341 0 obj << /S /GoTo /D (subsection.20.1.3) >> endobj 344 0 obj (D\351finition de la notion d'objectivit\351) endobj 345 0 obj << /S /GoTo /D (subsection.20.1.4) >> endobj 348 0 obj (Quelques propri\351t\351s de Obj\(\)) endobj 349 0 obj << /S /GoTo /D (section.20.2) >> endobj 352 0 obj (L'objectivit\351 dans le cadre de la logique de l'observation) endobj 353 0 obj << /S /GoTo /D (division.21) >> endobj 356 0 obj (Conclusion) endobj 357 0 obj << /S /GoTo /D (division.22) >> endobj 360 0 obj (Bibliographie) endobj 361 0 obj << /S /GoTo /D (division.23) >> endobj 364 0 obj (Annexes) endobj 365 0 obj << /S /GoTo /D (division.24) >> endobj 368 0 obj (Index des axiomes) endobj 369 0 obj << /S /GoTo /D (division.25) >> endobj 372 0 obj (Preuves de correction et de compl\351tude) endobj 373 0 obj << /S /GoTo /D (section.25.1) >> endobj 376 0 obj (Repr\351sentations) endobj 377 0 obj << /S /GoTo /D (subsection.25.1.1) >> endobj 380 0 obj (Correction) endobj 381 0 obj << /S /GoTo /D (subsection.25.1.2) >> endobj 384 0 obj (Compl\351tude) endobj 385 0 obj << /S /GoTo /D (section.25.2) >> endobj 388 0 obj (Approximations de repr\351sentations) endobj 389 0 obj << /S /GoTo /D (subsection.25.2.1) >> endobj 392 0 obj (Correction) endobj 393 0 obj << /S /GoTo /D (subsection.25.2.2) >> endobj 396 0 obj (Compl\351tude) endobj 397 0 obj << /S /GoTo /D (section.25.3) >> endobj 400 0 obj (Syst\350mes sans composition) endobj 401 0 obj << /S /GoTo /D (subsection.25.3.1) >> endobj 404 0 obj (Correction) endobj 405 0 obj << /S /GoTo /D (subsection.25.3.2) >> endobj 408 0 obj (Compl\351tude) endobj 409 0 obj << /S /GoTo /D (section.25.4) >> endobj 412 0 obj (Syst\350mes compositionnels) endobj 413 0 obj << /S /GoTo /D (subsection.25.4.1) >> endobj 416 0 obj (Correction) endobj 417 0 obj << /S /GoTo /D (subsection.25.4.2) >> endobj 420 0 obj (Compl\351tude) endobj 421 0 obj << /S /GoTo /D (section.25.5) >> endobj 424 0 obj (Hi\351rarchies consistantes) endobj 425 0 obj << /S /GoTo /D (division.26) >> endobj 428 0 obj (Preuve d'\351limination de coupures) endobj 429 0 obj << /S /GoTo /D (section.26.1) >> endobj 432 0 obj (La r\351duction de localisation) endobj 433 0 obj << /S /GoTo /D (section.26.2) >> endobj 436 0 obj (La r\351duction de coupures) endobj 437 0 obj << /S /GoTo /D (subsection.26.2.1) >> endobj 440 0 obj (Quelques d\351finitions pratiques) endobj 441 0 obj << /S /GoTo /D (subsection.26.2.2) >> endobj 444 0 obj (La r\351duction proprement dite) endobj 445 0 obj << /S /GoTo /D (division.27) >> endobj 448 0 obj (Manipulation des hi\351rarchies) endobj 449 0 obj << /S /GoTo /D (section.27.1) >> endobj 452 0 obj (Op\351rations de manipulation des indices) endobj 453 0 obj << /S /GoTo /D (subsection.27.1.1) >> endobj 456 0 obj (Hi\351rarchie atomique) endobj 457 0 obj << /S /GoTo /D (subsection.27.1.2) >> endobj 460 0 obj (Ajout de la repr\351sentation vide) endobj 461 0 obj << /S /GoTo /D (subsection.27.1.3) >> endobj 464 0 obj (Suppression d'indices) endobj 465 0 obj << /S /GoTo /D (section.27.2) >> endobj 468 0 obj (Produit de syst\350mes) endobj 469 0 obj << /S /GoTo /D (section.27.3) >> endobj 472 0 obj (Raffinage de syst\350mes) endobj 473 0 obj << /S /GoTo /D (section.27.4) >> endobj 476 0 obj (Autres constructions) endobj 477 0 obj << /S /GoTo /D (subsection.27.4.1) >> endobj 480 0 obj (Produit de deux repr\351sentations) endobj 481 0 obj << /S /GoTo /D (subsection.27.4.2) >> endobj 484 0 obj (Application de fonctions) endobj 485 0 obj << /S /GoTo /D (subsection.27.4.3) >> endobj 488 0 obj (Partition d'une repr\351sentation) endobj 489 0 obj << /S /GoTo /D (subsection.27.4.4) >> endobj 492 0 obj (Ensembles d'id\351aux) endobj 493 0 obj << /S /GoTo /D (subsection.27.4.5) >> endobj 496 0 obj (Union de deux \351l\351ments) endobj 497 0 obj << /S /GoTo /D (abstract.28.-1) >> endobj 500 0 obj (R\351sum\351) endobj 501 0 obj << /S /GoTo /D (abstract.29.-1) >> endobj 504 0 obj (Abstract) endobj 505 0 obj << /S /GoTo /D [506 0 R /Fit ] >> endobj 510 0 obj << /Length 1161 /Filter /FlateDecode >> stream xڥVMs6W@rjO6zJdbf(RȴM|wD)if$hX>8|D 3NEΘ&* 4`yZ.n"WoVћ\*9\ђxTxtL9cv.ڮ2+uo_-R!S#=߬.sFEoSR%6QHqeIzq9&DC0L.DfLkoA =tl[1$繌fK!223/+pHę.HyB3B 0'wŵXnsqfxF\3$6J5sNDMBJDfG#dNQlΌR5ǩnOkpyX0