Contributions to a computational theory of policy advice and avoidability
Journal article, 2017

We present the starting elements of a mathematical theory of policy advice and avoidability. More specifically, we formalize a cluster of notions related to policy advice, such as policy, viability, reachability, and propose a novel approach for assisting decision making, based on the concept of avoidability. We formalize avoidability as a relation between current and future states, investigate under which conditions this relation is decidable and propose a generic procedure for assessing avoidability. The formalization is constructive and makes extensive use of the correspondence between dependent types and logical propositions, decidable judgments are obtained through computations. Thus, we aim for a computational theory, and emphasize the role that computer science can play in global system science.

Author

Nicola Botta

Potsdam Institute for Climate Impact Research

Patrik Jansson

Functional Programming

Cezar Ionescu

Software Technology (Chalmers)

Journal of Functional Programming

0956-7968 (ISSN) 1469-7653 (eISSN)

Vol. 27 1-52

Centre of excellence for Global Systems Science (CoeGSS)

European Commission (Horizon 2020), 2015-10-01 -- 2018-09-30.

Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)

European Commission (Horizon 2020), 2015-02-01 -- 2018-01-31.

Areas of Advance

Information and Communication Technology

Driving Forces

Sustainable development

Subject Categories

Computer and Information Science

Computer Science

Roots

Basic sciences

DOI

10.1017/S0956796817000156

More information

Latest update

8/8/2018 1