Skip to main content
European Commission logo print header

Integration of clp and csp approaches to over constrained systems

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

Call for proposal

Data not available

Coordinator

Facultés Universitaires Notre-Dame dela Paix de Namur
EU contribution
No data
Address
21,Rue Grandgagnage
5000 Namur
Belgium

See on map

Total cost
No data

Participants (1)