Environment for Qualitative Temporal Reasoning


EQUATOR - 2409

Keywords knowledge-based systems, knowledge representation, temporal reasoning, time-dependent applications


Start Date: 01-JAN-89 / Duration: 60 months

[ contact / participants ]


Objectives and Approach

The objective of EQUATOR is to bring together existing techniques for reasoning about the behaviour of process-based systems in time, to develop and extend these techniques as necessary, and to make them available for use in the construction of large-scale knowledge-based systems in several industrial and commercial application areas which require them for their future development.

The project will deliver a software development environment for time-dependent applications within which a system builder can find the reasoning mechanism or mechanisms appropriate to the problem, apply them singly or in combination, and tune them to function, as far as possible, within applicable run-time operational constraints. This environment will be designed to meet the needs of a number of specified applications selected for their diversity and economic importance, and will be evaluated by re-implementing two of these as demonstrators.

Progress and Results

Requirements for Time-Dependent Reasoning (TDR) applications have been identified and analysed through numerous industrial case studies (aviation, railways, urban traffic control, failure detection and analysis, production planning, monitoring, etc).

A General Representation Formalism (GRF) for TDR applications based on Event Calculus has been specified, as well as a Common Representation Language (CRL). Both GRF and CRL have been validated using the case studies.

The architecture and basic tools of the development platform for time-dependent reasoning applications are now complete. The evaluation through the development of test-cases in air-traffic control, urban traffic control and telecommunications network diagnosis has been achieved.

Exploitation

Many real-world applications need an understanding of time and, especially, temporal reasoning. The very pragmatic approach taken in the EQUATOR project, starting from application requirements and extending existing time-dependent reasoning techniques, will quickly provide a powerful development environment for such applications, the advancement of which has been severely constrained until now.

Most of the industrial partners will exploit the EQUATOR toolkit either for internal needs and/or the development of time-dependent industrial applications in areas such as traffic control and plant automation and monitoring. SWIFT will exploit the results in the next version of their banking network.


CONTACT POINT

Mr Jose Lopez
ERITEL
Pº Castellane 141
Edificio Cuzco IV
E - 28046 MADRID
tel: + 34/ 1-348-1100
fax: + 34/ 1-579-1074
telex: 22019 MATICE

Participants

ERITEL - E - C
CISE SPA - I - P
FERRANTI COMPUTER SYSTEMS LTD - UK - P
GENERALDIREKTION PTT RESEARCH
AND DEVELOPMENT - CH - P
ECOLE POLYTECHNIQUE FEDERALE,
LAUSANNE - CH - P
SYSECA - F - P
UNIVERSITY COLLEGE LONDON - UK - P
SWIFT SA - B - P
LABEN SPA - I - P
ETRA ELECTRONIC TRAFIC SA - E - P
CENA - F - A
IMPERIAL COLLEGE OF SCIENCE,
TECHNOLOGY & MEDICINE - UK - A
ECRC - D - A


ST synopses home page ST acronym index ST number index
All synopses home page all acronyms index all numbers index

EQUATOR - 2409, December 1993


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook