ReprÃ©senter l'espace en logique modale : un panorama - IRIT

More documents

Recommendations

Info

Logique modale de l’ailleurs : système formel Axiomes du calcul propositionnel A 1 , A 2 , A 3 et K, A, S : K : (□(A → B) → (□A → □B)), A : □A ∧ A → □□A, S : A → □♦A. Règles d’inférence : modus ponens, nécéssitation la logique modale de l’ailleurs : complète et décidable mise oeuvre : tableaux, complexité : NP-complet U A = A ∧ □A : Partout on a A E A = A ∨ ♦A : quelque part on a A 29
Logique modale de la proximité : [VON WRIGHT 79] interprétations des modalités : □ A : partout à proximité de A ♦ A : quelque à proximité de A 30
Page 1 and 2: 0-0 Représenter l’espace en logi
Page 3 and 4: Introduction Quel(s) formalisme(s)
Page 5 and 6: Introduction La logique modale : ex
Page 7 and 8: Le langage (propositionnel) un ense
Page 9 and 10: Exemple 1 : on lance une pièce de
Page 11 and 12: W : l’ensemble des interprétatio
Page 13 and 14: M |= A une formule A est valide dan
Page 15 and 16: classification selon les propriét
Page 17 and 18: ègles de déduction A, B : formule
Page 19 and 20: Les systèmes formels modaux axiome
Page 21 and 22: K, T , S4, S5 sont décidables rés
Page 23 and 24: Logique modale de la topologie : es
Page 25 and 26: Traduction de RCC8 en logique Modal
Page 27 and 28: traduction des relations RCC8 en lo
Page 29: sémantique de la logique modale de
Page 33 and 34: Logique modale de la proximité : s
Page 35 and 36: Logique modale de la distance : [WO
Page 37 and 38: sémantique de la logique modale de
Page 39 and 40: Logique modale de la distance : sys
Page 41 and 42: Règles d’inférence : modus pone
Page 43 and 44: Logique modale de l’inférence sp
Page 47 and 48: Logique modale des voisinages : sys
Page 49 and 50: Introduction • objets : points et
Page 53 and 54: Logique modale du parallélisme : [
Page 55 and 56: Logique modale du parallélisme : s
Page 57: Conclusion diversité des approches

ReprÃ©senter l'espace en logique modale : un panorama - IRIT

Create successful ePaper yourself

Delete template?

Save as template?