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)
Most research work in the field of automatic programming has been focused on conceptually complex problems. However, although most of the programs we are generally faced with may be very big and manage large volumes of data, they are conceptually simple. Starting from this consideration, we have developed, since 1992, a system called DESCARTES which, fully(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)
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)
A qualitative calculus based on signs was first developed by economists to overcome one major difficulty: we often face a lack of quantitative data. A number of methods such as comparative statics were proposed to solve qualitative-model-based problems. A new interest has recently arisen in qualitative methods as applied to process control, control theory,(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 knowledgebased 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)
This paper essentially presents an application, namely a real-time model-based monitoring system for nuclear plants. This system is currently being used in two plants in France. We describe how we used various AI techniques for building it: a model-based approach, a logical model of its operation, a declarative implementation of these models, and original(More)
In this talk, we intend to give a social and human vision of the future of IT from our experience in innovative industrial development and B2B and B2C markets. The starting point is to analyze how the IT industry has been developing since its inception, and how it has embedded deeply into the human society. From this, we can distinguish a number of patterns(More)