Contributions to a computational theory of policy advice and avoidability

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

Full description

Saved in:
Bibliographic Details
Published inJournal of functional programming Vol. 27; pp. 1 - 52
Main Authors BOTTA, NICOLA, JANSSON, PATRIK, IONESCU, CEZAR
Format Journal Article
LanguageEnglish
Published Cambridge, UK Cambridge University Press 2017
Subjects
Computer and Information Science
Data- och informationsvetenskap
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0956-7968
1469-7653
1469-7653
DOI:10.1017/S0956796817000156