Keywords knowledge-based systems, real-time applications, temporal reasoning, process control
Start Date: 01-OCT-90 / Duration: 48 months
[ contact / participants ]
This project is being continued as 7805.
The primary objective of the REAKT and REAKT II project is to develop a set of tools and the associated methodology for applying knowledge-based systems in real-time domains. The project was 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 embeddable 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 a follow-on project, 7805, 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.
The major achievements so far are:
The project has produced a number of interesting algorithms and techniques to support the development of RTKBSs. The project will now 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 will be undertaken. The installation and on-site validation of the MORSAF demonstrator is also planned.
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 - 5146, December 1993
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook