Keywords knowledge-based systems, real-time applications, temporal reasoning, process control
Start Date: 01-OCT-90 / Duration: 48 months
[ contact / participants ]
The primary objective of the REAKT project is to develop a set of tools and the associated methodology for applying knowledge-based systems in real-time domains. The project is to produce definitions, specifications and prototypes of various techniques, to be eventually integrated into a toolkit for the efficient development, deployment and maintenance of knowledge-based modules that can be embedded into real-time applications.
Research areas of particular interest include progressive reasoning techniques, which are identified as a key element to provide guaranteed response time, as well as temporal reasoning and coherence management mechanisms. The methodological work is mainly focussed on the implications of real-time issues on the modelling and development of knowledge-based systems.
A demonstrator system in the area of process control has been chosen to validate both the toolkit and the methodology. Its components exhibit various real-time characteristics in order to demonstrate that the technology is flexible enough to span a large domain of operations. By the end of the project, the set of tools and the methodology it will provide should increase the range of applications in which real-time knowledge-based systems could be integrated, thus increasing the market size for both this kind of products and the applications built on top of them.
After three years work, some of which were performed in ESPRIT project 5146, REAKT, a number of interesting results have already been obtained, and are currently being integrated into a toolkit which will constitute the final REAKT product. The major achievements of the project so far are:
The project has produced a number of interesting algorithms and techniques to support the development of RTKBSs. In its remaining year, the REAKT II project will mainly focus on the consolidation of the REAKT toolkit into a complete product, including graphical interfaces and debugging support (integration in a CASE tool is also planned); the precise definition of exploitation plans which will allow members of the REAKT consortium to propose the REAKT results as a commercial product; and the installation and on-site validation of the MORSAF demonstrator.
Mr A. Mensch
160, Bd de Valmy BP 82
F - 92704 Colombes Cedex
tel: + 33/ 1 41 30 45 91
fax: + 33/ 1 41 30 35 05
THOMSON-CSF - F - C
COMPUTAS EXPERT SYSTEMS A/S - N - P
ETNOTEAM SPA - I - P
GRUPO DE MECANICA DEL VUELO SA - E - P
MARCONI COMMAND & CONTROL
SYSTEMS LTD - UK - P
CRIN - F - A
DE VALENCIA - E - A
SYSECA - F - A
REAKT - 7805, December 1993
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook