Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

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é.
Fichier principal
Vignette du fichier
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

Dates et versions

hal-03300350 , version 1 (28-02-2023)

Identifiants

  • HAL Id : hal-03300350 , version 1

Citer

Philippe Balbiani, Jean-François Condotta. Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles. Journées Nationales sur les Modèles de Raisonnement (JNMR 2001), May 2001, Arras, France. pp.9-22. ⟨hal-03300350⟩
28 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More