Le langage des chroniques

Table des matières

Introduction
1 Systèmes de traitement formel d’évènements complexes
1.1 Principaux enjeux
1.2 Event Calculus
1.3 Le langage ETALIS
1.4 Le langage des chroniques de Dousson et al
1.5 Le langage des chroniques Onera
1.5.1 Une première implémentation : CRS/Onera
1.5.2 Définition d’une sémantique du langage des chroniques
1.5.3 Détail de la sémantique ensembliste du langage des chroniques de CRS/Onera
1.6 D’autres modes de représentation et de reconnaissance de comportements
2 Construction d’un cadre théorique pour la reconnaissance de comportements : le langage des chroniques
2.1 Définitions générales préalables
2.1.1 Évènements et leurs attributs
2.1.2 Opérations sur les attributs
2.2 Définition d’une syntaxe étendue du langage des chroniques : ajout de contraintes sur des attributs d’évènement et de constructions temporelles
2.3 Définition de la sémantique du langage à travers la notion de reconnaissance de chronique
2.3.1 Passage à une représentation arborescente des reconnaissances
2.3.2 Formalisation de la notion de reconnaissance de chronique
2.4 Propriétés du langage des chroniques
2.4.1 Définition d’une relation d’équivalence sur les chroniques
2.4.2 Relations entre ensembles de reconnaissances
2.4.3 Associativité, commutativité, distributivité
2.5 Gestion du temps continu à l’aide d’une fonction Look-ahead
2.6 Tableau récapitulatif informel des propriétés du langage des chroniques
2.7 Conclusion
Conclusion