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

Philippe Balbiani (1, 2) , Jean-François Condotta (3, 4)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 CRIL - Centre de Recherche en Informatique de Lens
4 IRIT - Institut de recherche en informatique de Toulouse

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é.

Domains: Computer Science [cs]; Artificial Intelligence [cs.AI]

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⟩