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

More documents

Recommendations

Info

autres logiques modales de la géométrie la logique modale dela géométrie projective [BALBIANI 98], [VENEMA 99] la logique modale de la géométrie affine [BALBIANI 02] autres logiques modale pour l’espace Logique modale basée sur la morphologiemathématique [BLOCH 02] 55
Conclusion diversité des approches limites expressivité complexité théorique références chapitre 2 dans le traité sur le raisonnement spatio-temporel (à paraître chez Hermes) http://www.univ-tln.fr/papini/sources/RTE-06 56
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 and 30: sémantique de la logique modale de
Page 31 and 32: Logique modale de la proximité : [
Page 33 and 34: Logique modale de la proximité : s
Page 35 and 36: Logique modale de la distance : [WO
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: Logique modale du parallélisme : s
show all

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

Create successful ePaper yourself

Delete template?

Save as template?