Représenter l'espace en logique modale : un panorama - IRIT
Représenter l'espace en logique modale : un panorama - IRIT
Représenter l'espace en logique modale : un panorama - IRIT
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Logique <strong>modale</strong> de la distance :<br />
[WOLTER, KUTZ & al. 00]<br />
représ<strong>en</strong>tation qualitative de la distance :<br />
A ≤a : partout dans <strong>un</strong> voisinage de rayon > a<br />
A >a : partout à l’extérieur d’<strong>un</strong> voisinage de rayon > a<br />
E ≤a : quelque part dans <strong>un</strong> voisinage de rayon > a<br />
E >a : quelque part à l’extérieur d’<strong>un</strong> voisinage de rayon > a<br />
34