Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Dati non disponibili
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Dati non disponibili
Coordinatore
81739 München
Germania
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.