Master de recherche, mention informatique

Module RaTS : Raisonnement Temporel et Spatial

Responsable : René Quiniou

Intervenants :

Marie-Odile Cordier

http://www.irisa.fr/dream/site/Fmembre_cordier.html
mél: Marie-Odile.Cordier@irisa.fr

Stéphane Donikian

http://www-new.irisa.fr/siames/siamesAuto/Membres/donikian.modele260100.html
mél: Stephane.Donikian@irisa.fr

Yves Moinard

http://www.irisa.fr/dream/site/Fmembre_moinard.html
mél: Yves.Moinard@irisa.fr

René Quiniou

http://www.irisa.fr/dream/site/Fmembre_quiniou.html
mél: Rene.Quiniou@irisa.fr

Les transparents de la présentation du module

RaTS.pdf

Plan du cours

I- Introduction (2 séances)

Raisonnement temporel : ontologie, algèbre des instants, algèbre des intervalles, consistance et minimalité
(transparents1.pdf)
Raisonnement temporel : traitabilité, intervalles généralisés
(transparents2.pdf)

II- Approches satisfaction de contraintes (2 séances)

TCSP : Temporal Constraint Satisfaction Problem (Dechter, Meiri, Pearl)
STP : Simple Temporal Problem
Approches alliant points et intervalles (Meiri)
(transparents : temps_metrique.pdf )

III- Approches logiques (3 séances)

Logique classique : arguments temporels
Calculs d'événements
Calculs de situations
(documents : BasesLog.pdf, Evenement.pdf, Situation.pdf;
transparents : BasesLogTransU.pdf, EvenementU.pdf, SituationU.pdf)

IV- Raisonnement spatial (3 séances)

Modèles méréo-topologiques
Relations topologiques sur des régions complexes
Relations spatiales directionnelles
L'algèbre des n-pavés
Concepts spatiaux dans la langue naturelle
(transparents : Spatial.pdf - 257 p., Spatial3x3.pdf - 86 p.)

Articles à lire

Support des cours I et II

Chapitres 1 et 2 de la thèse de Jean-François Condotta (fichier postscript)

Examens

exam_rats_99.pdf

corrigé_99_partie_3.pdf

exam_rats_00.pdf

corrigé_00_partie_1.pdf
corrigé_00_partie_2.pdf

exam_rats_01.pdf

corrigé_01_partie_1.pdf
corrigé_01_partie_2.pdf
corrigé_01_partie_3.pdf

exam_rats_02.pdf

corrigé_02_partie_1.pdf
corrigé_02_partie_2.pdf
corrigé_02_partie_3.pdf

exam_rats_03.pdf

corrigé_03_partie_2.pdf
corrigé_03_partie_3.pdf

exam_rats_04.pdf

corrigé_04_partie_4.pdf

Références bibliographiques principales sur le raisonnement spatio-temporel

Luca Chittaro, Angelo Montanari, Temporal representation and reasoning in artificial intelligence: Issues and approaches Annals of Mathematics and Artificial Intelligence 28, 1, 2000 p. 47-106

Laure Vieu. Spatial Representation and Reasoning in Artificial Intelligence, chapitre de Spatial and Temporal Reasoning, Oliviero Stock (éditeur), pp 3-40, Kluwer, 1997

Autres références bibliographiques sur le raisonnement spatio-temporel

J. F. Allen, Maintaining Knowledge about Temporal Intervals, Communications of the ACM, Vol. 26, No. 11, 1983, pp 823-843.

P. van Beek. Reasoning about qualitative temporal information, Artificial Intelligence 58:297-326, 1992. (postscript file)

T.L. Dean and D.V. McDermott, "Temporal Data Base Management", Artificial Intelligence 32:1-55, 1987.

R. Dechter, I. Meiri and J. Pearl, Temporal Constraint Networks, Journal of Artificial Intelligence 49:61-95, 1991.

A. Galton. A Critical Examination of Allen's Theory of Action and Time. Artificial Intelligence, 42:159-188, 1990.

A. Gerevini, L. Schubert, Efficient algorithms for qualitative reasoning about time. Artificial Intelligence, 74(3):207-248, 1995.

H. A. Kautz and P. B. Ladkin, Integrating Metric and Qualitative Temporal Reasoning, AAAI 91, pp 241-246. (gzip postscript file)

I. Meiri, Combining Qualitative and Quantitative Constraints in Temporal Reasoning, Artificial Intelligence, volume 87 (1996), number 1-2 , pp. 343-385. (Postscript file)

McCarthy, John and Hayes, P.J. Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence 4, Meltzer, B. and Michie D., Edinburgh University Press, 1969, http://www-formal.stanford.edu/jmc/mcchay69.html

R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.

M.P.Shanahan, The Event Calculus Explained, in Artificial Intelligence Today, ed. M.J.Wooldridge and M.Veloso, Springer Lecture Notes in Artificial Intelligence no. 1600, Springer (1999), pages 409-430. (zip'ed postscript file)

Rob Miller and Murray Shanahan, The Event Calculus in Classical Logic - Alternative Axiomatisations, Electronic Transactions on Artificial Intelligence, Vol. 4 (1999): nr 016 pub. Linköping University Electronic Press, 2000. (Postscript file)

Raymond Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

G. Ligozat 1996, A New Proof of Tractability for ORD-Horn Relations, Proceedings of the National Conference on Artificial Intelligence
(AAAI-96), Portland, Oregon.A. K. Mackworth, Consistency in Networks of Relations, Journal of Artificial Intelligence 8:99-118, 1977.

B. Nebel, H.-J. Bürckert, Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra, Journal of the ACM, 42(1): 43-66, 1995. (gzip'ed postscript file)

Y. Shoham, Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence,MIT Press, 1988

M. Vilain, H. Kautz, Constraint Propagation Algorithms for Temporal Reasoning, AAAI 86, pp 377-382.