Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch de
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-04-16

Environment for Qualitative Temporal Reasoning

Ziel

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.

Wissenschaftliches Gebiet (EuroSciVoc)

CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.

Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen

Programm/Programme

Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.

Thema/Themen

Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.

Daten nicht verfügbar

Aufforderung zur Vorschlagseinreichung

Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.

Daten nicht verfügbar

Finanzierungsplan

Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.

Daten nicht verfügbar

Koordinator

ERITEL
EU-Beitrag
Keine Daten
Adresse
CONDESA DE VENADITO, 1
28027 MADRID
Spanien

Auf der Karte ansehen

Gesamtkosten

Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.

Keine Daten

Beteiligte (12)

Mein Booklet 0 0