RESEARCHES

 Trace Construction Methodology and  Applications (Current Researches)
IC211  Atelier NEW! Atelier Traces, traces numériques, connaissances et cognition 

It is common understanding that a process instrumented with a tracer produce a trace. It is indeed here what we call actual trace, the one that has a physical sense. It is less obvious to involve another trace that we qualify of ``virtual´´ because it has no physical existence but only a conceptual one, which results from an abstraction of the observed process. The virtual trace can be seen in two ways: as a result of a succession of abstract states of the observed process equipped with a tracer (observational semantics), or as an interpretation of the events of the actual trace (Interpretative Semantics). It is these relationships between these two forms of traces that we study here. This conceptual loop of trace construction is the basis of the way trace are practically elaborated with the purpose to understand observed processes.

This approach is based on the concept of full trace (actual or virtual, and full in the sense that the totality of knowledge regarding the observed process is there explicitly or implicitly contained). This constitutes a basis for studying the modular construction of tracers and traces, using only the notions of trace enrichment, sub-trace, fusion, trace abstraction. We also study the notion of genericity of a trace, i.e. the possibility to give semantics to a tracer, which covers a family of observed processes.

We started to elaborate a general theory of trace construction based on the observation of the way trace files are accumulated as knowledge bases and elaborated in differents fields of activity like software engeneering, rule based systems and resolution, learning in context, or personal experience storing systems.

more

see current manuscript ¨Vers une méta-théorie des traces¨  (.pdf, 0,9 Mo) ¨Towards a Trace Meta-Theory¨

2010 TODAS project TODAS  (Trace Observation Driven Adaptive Solver)


Logic and Constraint Programming Environments

From OADymPPaC to Trace Construction Methodology

French RNTL OADymPPaC Project  (2001 - 2004) and some slides

EU DiSCiPl Project (some achives)  (1997 - 2000)

The HyperPro Project  (1994-2002)