Jean-Luc Dormoy

Learn More
We proposed earlier in [Dormoy & Raiman, 19881 a new way of reasoning about a device, we called " Assembling a Device ". Starting from a component description (namely confluences), the qualitative resolution rule provides task-oriented global relations which link the physical quantities involved in a device to some selected reference variables. This rule is(More)
We present here a new way of reasoning on a device based on structure, we call assembling a device. It consists of a symbolic combination of local qualitative constraints (namely confluences) leading to more global relations. Some reference variables are selected according to the task to be performed (simulation, observation, postdiction,...). The(More)
BOOJUM [Dormoy, 1986, 1987] est un langage à base de règles d'ordres 0, 1 et 2 et le moteur d'inférences associé. Inspiré à l'origine de SNARK [Laurière & Vialatte, 1985] [Vialatte, 1985], il se distingue des langages de même type par une amélioration notable de l'efficacité de l'algorithme de "pattern matching". La recherche des instanciations n'est(More)
This paper presents the underlying ideas of a knowledge-based system, called Shal, which, given a knowledge base, attempts to capture the key features of its behavior. The idea is that a priori understanding the behavior of a knowledge base can help to achieve the multiple tasks involved in knowledge engineering, in particular interpreting and/or compiling,(More)
We claim in this paper that an extensive use of meta-mechanisms is a very powerful tool for building autonomous AI & AL systems. We support that claim by examples of knowledge-based systems exhibiting unexpected and partly autonomous behaviors. They show that autonomy, as well as viability, could be achieved in the future by means of meta-mechanisms. In(More)
Elle représente environ un million de lignes de code C, pour la plupart (80%) générées automatiquement. Une version du système écrite dans son propre langage est actuellement disponible et doit permettre, à terme, de « bootstrapper » le système. Descartes ne supprime pas le cycle en V du logiciel mais le situe à un niveau d'abstraction supérieur. Ceci a(More)
• Esterel Studio is a trademark of Esterel Technologies SA. • Prover, Prover Technology, Prover Plug-In and the Prover logo are trademarks or registered trademarks of Prover Technology AB in Sweden, the United States and in other countries. • Adobe Reader is a registered trademark of Adobe Systems Incorporated. All other trademarks mentioned in this(More)
In the last decade, researchers in numerical simulation have worked on defining standards for specifying physical models at the mathematical level of abstraction of Differential Algebraic Equations, or DAEs-one can in particular mention the Modelica initiative. Today, tools for performing simulation, i.e. checking, interpreting or compiling mathematical(More)