Skip to main content

Environment for Qualitative Temporal Reasoning

Objective

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 objective of the project was 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 reimplementing 2 of these as demonstrators.

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, and the work focuses on the evaluation through the development of test cases in air traffic control, urban traffic control and telecommunications network diagnosis.
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.

Coordinator

ERITEL
Address
Condesa De Venadito, 1
28027 Madrid
Spain

Participants (12)

CENA
France
Address
Orly Sud 205
94524 Orly
Centro Informazioni Studi ed Esperienze SpA
Italy
Address
Via Reggio Emilia 39
20134 Milano
ECOLE POLYTECHNIQUE DE LAUSANNE
Switzerland
Address
Chemin De Bellerive, 16
1007 Lausanne
ETRA ELECTRONIC TRAFFIC
Spain
Address
Tres Forques Poligono Vara De Quart, 147
46014 Valencia
Ferranti International plc
United Kingdom
Address
Ty Coch Way
NP44 7XX Cwmbran
GENERALDIREKTION PTT RESEARCH AND DEVELOPMENT
Switzerland
Address
Ostermundigenstr., 93
3000 Bern
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Address
Queens Gate 180
SW7 2BZ London
Laben SpA
Italy
Address
Strada Statale Padana Superiore 290
20090 Vimodrone Milano
Politecnico di Milano
Italy
Address
Piazza Leonardo Da Vinci 32
20133 Milano
SWIFT SA
Belgium
Address
Avenue E. Solvay, 81
1310 La Hulpe
Syseca SA
France
Address
4 Square René Cassin
35100 Rennes
Birkbeck College, University of London
United Kingdom
Address
Malet Street, Bloomsbury
WC1E 7HX London