Comprendre
les traces (une approche sémantique et interdisciplinaire des traces)
Nous sommes envahis de traces, résidus d'activités diverses, naturelles ou provoquées et de toutes sortes (écrites, sonores, visuelles, physiques…). Il y a des traces ``mortes'' (fossiles), que l'on étudie encore bien postérieurement à leur période de production, des traces toujours actives que l'on analyse ``à la volée'', chacune constituant une sorte de flot continu. Beaucoup d'efforts sont consacrés à l'étude des traces, quelque soit leur forme, et à leur compréhension, en particulier dans les domaines de l'informatique et de la cognition.
Dans le domaine de l'informatique on s'intéressera, en particulier, à la compréhension du comportement dynamique d'un programme en analysant les traces qui reflètent par exemple l'évolution de l'état de ses variables. Dans le domaine de la cognition, on s'intéressera par exemple à l'analyse du comportement d'un conducteur de voiture à partir de relevés faits, à espaces réguliers, de capteurs dénotant des paramètres du véhicule (ex angle du volant), des paramètres physiologiques (ex relevés des mouvements oculaires) ou environnementaux (ex tracé de la route).
Nos études portent sur des traces particulières: les flots de données numériques contenus dans les traces produites par des programmes (ou processus). Nous définissons deux niveaux de compréhension des traces: un premier niveau dit ``interprétation de la trace'' qui consiste à traduire la trace, produite par le processus observé, en une autre trace, dite ``trace virtuelle''. Il s'agit d'une sémantique dite "interprétative" (SI). C'est elle qui donne le sens recherché aux valeurs brutes observées. Un éclaireur avisé par exemple pourra reconnaître dans des marques régulières sur le sol une succession d'empreintes de pas laissées par un animal ou un humain, et saura les distinguer, en les interprétant avec d'autres indicateurs (forme des pieds, alternance droits/gauches, vitesse de progression ...). Ceux-ci seront dits ``virtuels'' car non présents dans les ``mesures'', mais déduits de l'observation brute. Le second niveau consiste à produire un modèle de génération la trace virtuelle, ce que nous appelons une ``sémantique observationnelle'' (SO). Dans le cas d'un programme, la SO pourrait être une abstraction de la sémantique formelle du processus observé, mais il s'agit essentiellement d'une sémantique de son traceur, éventuellement distincte de celle du processus tracé. Une telle sémantique peut être commune à toute une famille de processus et couvre alors un véritable domaine d'observation.
Le poster illustre ces deux niveaux de compréhension avec des exemples issus de nos travaux sur les traces produites par des programmes et observées à la volée ou post mortem. Notre objectif est d'étudier la possibilité de cross-fertilisation entre les approches propres à l'informatique et celles propres aux sciences cognitives, dans le domaine des traces.
Maier, D.,
Li, J., Tucker, P., Tufte, K., Papadimos, V.:
Semantics
of data streams and operators.
In Eiter, T.,
Libkin, L., eds.: ICDT 2005. Number 3363 in LNCS.
Springer Verlag
(2005) 37--52
Georgeon,
O., Bellet, T.:
AMDLRM:
Driver Behaviour Modelling and Cognitive Engineering Tools Development in order
to Assess Driver Situation Awareness.
In:
Workshop on Driver Behaviour in Automotive Environments, Ispra (2005)
Deransart, P., Ducassé, M., Ferrand, G.:
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques}.Technical report, INRIA (2007) http://hal.inria.fr/inria-00151285.
Settouti, L.S., Prié, Y., Mille, A., Marty, J.C.:
Systèmes à base de trace pour l'apprentissage humain.
L'Objet 8 (2005) 1--15