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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software software development
- natural sciences computer and information sciences artificial intelligence expert systems
- engineering and technology electrical engineering, electronic engineering, information engineering information engineering telecommunications telecommunications networks
- social sciences economics and business economics production economics
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
28027 MADRID
Spain
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.