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.
Introduction<br />
Quel(s) formalisme(s) ? :<br />
• représ<strong>en</strong>ter qualitativem<strong>en</strong>t l’espace<br />
• mettre <strong>en</strong> oeuvre le raisonnem<strong>en</strong>t spatial<br />
critères de choix :<br />
• expressivité<br />
• représ<strong>en</strong>tabilité<br />
• complétude<br />
• décidabilité<br />
• complexité<br />
2