Objective
The CHIC project is designed to accelerate the exploitation of Constraint Logic Programming (CLP) in industrial environments.
Application experiments have been carried out using existing constraint logic programming (CLP) platforms. New requirements have been identified for the development of the future platform: temporal reasoning, design and verification of finite state systems, new computation domains such as symbolic and nonlinear constraints, and new computation rules.
A list of good practices for programming with CLP has been set up and will lead to a full methodology. Tools for the programming environment and the development of the new platform are in progress.
Recent advances in CLP, in particular the CHIP system developed at the European Computer Industry Research Centre (ECRC), have given Europe a significant lead in technology suited to large combinatorial problems, such as those confronted in production management, VLSI design, financial systems, logistics and network management. The three industrial partners (Bull, ICL LTD and Siemens) have absorbed the CHIP system into their own product lines and are currently seeking to enhance and extend their applications.
The basic strategy of the work programme is to take the CHIP system as the kernel language and divide the enhancements into short, medium and long-term goals. This is intended to maximise the range of successful products while minimising the risks. Applications which are certain to emerge in the short term will be pursued in the fields described above.
The long-term aspirations will be targeted towards engineering a successor to CHIP. Here the risk factor is not negligible. This will be partially offset by the medium-term objective, which is to extend the existing CHIP system to new problem areas such as planning, the design of communication protocols, and configuration problems. The aim is to seek a substantial increase in value added to CHIP while containing the risks.
To tap a representative cross-section of potential users of CLP technology, a user interest group will be formed under the provisions of the European Economic Interest Grouping (EEIG). The six founder-members of the user group will be represented in the Consortium as associate partners and will help focus the direction of the work-programme towards the marketplace.
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.
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
81739 München
Germany
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.