Integration of clp and csp approaches to over constrained systems
4РП — Обучение и мобилност на изследователи
- Период
- 1996-02-01 → 1997-01-31
- Финансиране от ЕС
- —
- Участници
- 2
- Схема
- RGI
Линиите свързват координатора с партньорите. За проекти отпреди 2014 г. CORDIS не винаги дава точни координати. Тези точки са на ниво град или държава.
Накратко на български
Методите за програмиране с ограничения (CLP и CSP) се обединяват, за да се справят със системи с твърде много противоречиви изисквания, като например при картографирането на протеинови последователности. Това помага да се намали нуждата от постоянна човешка намеса и изчислителните разходи.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
Constraint Logic Programming (CLP) and Constraint Satisfaction techniques (CSP) have many practical applications, but are not easy to apply to over-constrained systems. Aims and Objectives: To develop a common framework for CLP and CSP approaches to over-constrained systems, thus finding a middle course between computational expense and continuous human intervention. To achieve this by linking two particular schemes, HCLP (a CLP theory) and PCSP (an instance of CSP). which embody different theories of preferential information. Content: To develop a single compositional declarative semantics for both HCLP and PCSP. To develop an operational semantics for PCSP which can be compared with my previously-developed operational semantics for HCLP, and prove its soundness with respect to the declarative semantics. To construct a prototype tool combining both CSP and CLP approaches to over-constrained systems which would have many applications (e.g. protein sequence mapping).
Оригинален текст от CORDIS (на английски).
Участници
- Facultés Universitaires Notre-Dame dela Paix de Namur · NamurКоординаторБелгия
- Not availableНиво градОбединеното кралство
Връзки
Данни: CORDIS, © Европейски съюз