Skip to main content

Global systems Rapid Assessment tools through Constraint FUnctional Languages

Objective

The making of policies coping with Global Systems is a process that necessarily involves stakeholders from diverse disciplines, each with their own interests, constraints and objectives. People play a central role in such collective decision making and the quest for solutions to a problem generally intertwines its very specification.
Simulators can assist in this process provided they employ adequate high-level modelling to separate the political question from the underlying scientific details. Domain-specific Languages (DSL) embedded in Functional Programming (FP) languages offer a promising way to implement scalable and verifiable simulators. But the use of simulators is essentially a trial-and-error process too tedious for execution in a group session. A paradigm shift is needed towards active problem solving where stakeholders’ objectives can be taken along from the very beginning. Constraint Programming (CP) has demonstrated to enable such a shift for e.g. managed physical systems like water and power networks.
This project lays the base for a DSL aimed at building scalable Rapid Assessment Tools for collective policy making in global systems. This can be achieved through foundational scientific work at different levels: from the high-level, political modelling, adapting the social discipline of Group Model Building (as used in business organizations), through visual forms of CP as well as gamification aspects, down to the needs for a host language, combining CP and FP. Special emphasis is put on domain-specific constraints, constraint composition, and composable solvers and heuristics.
Results are applied and validated for the problem case of Climate-Resilient Urban Design, but the ambition is a general framework applicable to many other systems. The case study is assessed by an external multi-disciplinary Advisory Board of Stakeholders that guides the specification process and evaluates needs and usability of the tools.

Field of science

  • /humanities/languages and literature/general language studies
  • /humanities/languages and literature/linguistics

Call for proposal

H2020-FETPROACT-2014
See other projects for this call

Funding Scheme

RIA - Research and Innovation action

Coordinator

UNIVERSITAT POLITECNICA DE CATALUNYA
Address
Calle Jordi Girona 31
08034 Barcelona
Spain
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 357 311

Participants (6)

STICHTING DELTARES
Netherlands
EU contribution
€ 328 350
Address
Boussinesqweg 1
2629 HV Delft
Activity type
Research Organisations
CHALMERS TEKNISKA HOEGSKOLA AB
Sweden
EU contribution
€ 396 455
Address
-
41296 Goeteborg
Activity type
Higher or Secondary Education Establishments
FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.
Germany
EU contribution
€ 454 702
Address
Hansastrasse 27C
80686 Munchen
Activity type
Research Organisations
ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS
France
EU contribution
€ 350 650
Address
Boulevard Saint Michel 60
75272 Paris
Activity type
Research Organisations
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
EU contribution
€ 361 250
Address
Oude Markt 13
3000 Leuven
Activity type
Higher or Secondary Education Establishments
STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
EU contribution
€ 156 225
Address
Geert Grooteplein Noord 9
6525 EZ Nijmegen
Activity type
Higher or Secondary Education Establishments