Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles - Université d'Artois Access content directly
Conference Papers Year : 2001

Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles

Abstract

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
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

  • HAL Id : hal-03300350 , version 1

Cite

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⟩
16 View
2 Download

Share

Gmail Facebook Twitter LinkedIn More