English
 
Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Contributions to a computational theory of policy advice and avoidability

Botta, N., Jansson, P., Ionescu, C. (2017): Contributions to a computational theory of policy advice and avoidability. - Journal of Functional Programming, 27, e23.
https://doi.org/10.1017/S0956796817000156

Item is

Files

show Files
hide Files
:
7746oa.pdf (Any fulltext), 717KB
Name:
7746oa.pdf
Description:
-
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Botta, Nicola1, Author              
Jansson, P.2, Author
Ionescu, C.2, Author
Affiliations:
1Potsdam Institute for Climate Impact Research, ou_persistent13              
2External Organizations, ou_persistent22              

Content

show
hide
Free keywords: -
 Abstract: 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.

Details

show
hide
Language(s):
 Dates: 2017
 Publication Status: Finally published
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: DOI: 10.1017/S0956796817000156
PIKDOMAIN: Transdisciplinary Concepts & Methods - Research Domain IV
eDoc: 7746
Research topic keyword: Policy Advice
Research topic keyword: Climate Policy
Research topic keyword: Sustainable Development
Model / method: Decision Theory
Model / method: Open Source Software
Model / method: Research Software Engineering (RSE)
Organisational keyword: RD4 - Complexity Science
Working Group: Computational Methods and Visualisation
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Functional Programming
Source Genre: Journal, SCI, Scopus
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 27 Sequence Number: e23 Start / End Page: - Identifier: Other: Cambridge University Press
ISSN: 0956-7968
Other: 1469-7653
CoNE: https://publications.pik-potsdam.de/cone/journals/resource/journal-functional-programming