To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Contributions to a comput… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Contributions to a computational theory of policy advice and avoidability

Journal article
Authors N. Botta
Patrik Jansson
Cesar Ionescu
Published in Journal of Functional Programming
Volume 27
Pages 1-52
ISSN 0956-7968
Publication year 2017
Published at Department of Computer Science and Engineering (GU)
Department of Computer Science and Engineering, Computing Science (GU)
Pages 1-52
Language en
Links 10.1017/s0956796817000156
Subject categories Computer and Information Science

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.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?