Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles
Résumé
Nous présentons une logique temporelle avec laquelle nous pouvons décrire l’évolution des positions relatives des agents dans l’espace au cours du temps. Cette logique est une logique modale propositionnelle du temps linéaire dont les formules atomiques sont définies sur la base des relations atomiques de l’algèbre des rectangles (formalisme dédié au raisonnement spatial qualitatif). Après avoir présenté cette logique nous étudions sa complexité.
Domaines
Intelligence artificielle [cs.AI]
Fichier principal
Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles.pdf (231.72 Ko)
Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte