L'opération consistant à mettre à jour une base de
connaissances représentant l'état du monde au temps t pour
prendre en compte les informations acquises sur son état au temps
est une forme de
révision appelée mise à jour (update) pour l'opposer à
la révision de croyances (belief revision). Cette
opération est fondamentale dès que l'on s'intéresse à des
environnements (ou systèmes) évoluant dans le temps : elle est en
particulier nécessaire pour prendre en compte les conséquences
d'une action dans le cadre de la planification ou encore les
observations faites régulièrement par des capteurs lors du suivi
de systèmes dynamiques. Nous avions proposé avec Pierre Siégel
d'exprimer de manière explicite la persistance des informations
par un modèle de transition (ensemble de contraintes de
transition) et nous avions donné la sémantique de l'opération de
mise à jour utilisant un tel modèle [25]. Nous avons prolongé ce
travail avec Jérôme Lang (Irit, Toulouse) en étudiant les
rapports existant entre cette approche et les approches
syntaxiques de maintien de la consistance dans les bases de
connaissances [24].