Integration of clp and csp approaches to over constrained systems

Lines connect the coordinator with its partners. CORDIS does not always give exact coordinates for projects before 2014. These points are placed at city or country level.

Project objective

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).

Original text from CORDIS.

Participants

• Facultés Universitaires Notre-Dame dela Paix de Namur · NamurCoordinatorBelgium
• Not availableCity levelUnited Kingdom

Links

• View on CORDIS