Hostname: page-component-54dcc4c588-2bdfx Total loading time: 0 Render date: 2025-09-29T19:53:30.323Z Has data issue: false hasContentIssue false
  • English
  • Français

Contributions to a computational theory of policy advice and avoidability*

Part of: JFP Research Articles

Published online by Cambridge University Press:  24 October 2017

NICOLA BOTTA ,
PATRIK JANSSON  and
CEZAR IONESCU
NICOLA BOTTA
Affiliation:
Transdisciplinary Concepts and Methods - Research Domain 4, Potsdam Institute for Climate Impact Research, Potsdam, Germany (e-mail: botta@pik-potsdam.de)
PATRIK JANSSON
Affiliation:
Computer Science and Engineering, Chalmers University of Technology & University of Gothenburg, Göteborg, Sweden. (e-mail: patrikj@chalmers.se, cezar@chalmers.se)
CEZAR IONESCU
Affiliation:
Computer Science and Engineering, Chalmers University of Technology & University of Gothenburg, Göteborg, Sweden. (e-mail: patrikj@chalmers.se, cezar@chalmers.se)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Information

Type
Articles
Information
Journal of Functional Programming , Volume 27 , 2017 , e23
Copyright
Copyright © Cambridge University Press 2017 

Footnotes

*

This work was partially supported by the projects GRACeFUL (Grant agreement no. 640954) and CoeGSS (Grant agreement no. 676547), which have received funding from the European Union's Horizon 2020 research and innovation programme.

References

Aldred, J. (2009) Ethics and climate change cost-benefit analysis: Stern and after,. URL https://ideas.repec.org/p/lnd/wpaper/442009.html#cites.CrossRefGoogle Scholar
Allwood, J., Bosetti, V., Dubash, N., Gómez-Echeverri, L. & von Stechow, C. (2014) Glossary. In Climate Change 2014: Mitigation of Climate Change. Contribution of Working Group III to the Fifth Assessment Report of the Intergovernmental Panel on Climate Change, Edenhofer, O., Pichs-Madruga, R., Sokona, Y., Farahani, E., Kadner, S., Seyboth, K., Adler, A., Baum, I., Brunner, S., Eickemeier, P., Kriemann, B., Savolainen, J., Schlömer, S., von Stechow, C., Zwickel, T. & Minx, J. (eds). Cambridge, UK and New York, USA: Cambridge University Press, pp. 33–51.Google Scholar
Bauer, N., Baumstark, L., Haller, M., Leimbach, M., Luderer, G., Lueken, M., Pietzcker, R., Strefler, J., Ludig, S., Koerner, A., Giannousakis, A. & Klein, D. (2011) REMIND: The equations. URL https://www.pik-potsdam.de/research/sustainable-solutions/models/remind/remind-equations.pdf.Google Scholar
Bellman, R. (1957) Dynamic Programming. Princeton University Press.Google ScholarPubMed
Bird, R. (1998) Introduction to Functional Programming using Haskell. International Series in Computer Science, 2nd ed. Prentice Hall.Google Scholar
Bird, R. & De Moor, O. (1997) Algebra of Programming, International Series in Computer Science. Hemel Hempstead: Prentice Hall.Google Scholar
Botta, N., Ionescu, C. & Brady, E. (2013a) Sequential decision problems, dependently-typed solutions. In Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2013), “Programming Languages for Mechanized Mathematics Systems Workshop (PLMMS)”, CEUR Workshop Proceedings, vol. 1010 CEUR-WS.org. URL http://dblp.uni-trier.de/db/conf/mkm/cicmws2013.html#Botta13.Google Scholar
Botta, N., Jansson, P., Ionescu, C., Christiansen, D. R. & Brady, E. (2017) Sequential decision problems, dependent types and generic solutions. Logical Methods Comput. Sci. 13 (1). doi: 10.23638/LMCS-13(1:7)2017.Google Scholar
Botta, N., Mandel, A., Hofmann, M., Schupp, S. & Ionescu, C. (2013b) Mathematical specification of an agent-based model of exchange. In Proceedings of the AISB Convention 2013, “Do-Form: Enabling Domain Experts to use Formalized Reasoning” Symposium.Google Scholar
Brady, E. (2013) Idris, a general-purpose dependently typed programming language: Design and implementation. J. Funct. Program. 23, 552–593. ISSN . URL http://journals-cambridge-org.demo.remotlog.com/article_S095679681300018X.CrossRefGoogle Scholar
Carbone, J. C., Helm, C. & Rutherford, T. F. (2009) The case for international emission trade in the absence of cooperative climate policy. J. Enviorn. Econ. Manage. 58, 266–280.CrossRefGoogle Scholar
CoeGSS. (2015–2018) Center of excellence for global systems Science [online]. Accessed December 30, 2015. Available at: http://coegss.eu/ Google Scholar
De Moor, O. (1995) A generic program for sequential decision processes. In PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs. Springer, pp. 1–23.CrossRefGoogle Scholar
De Moor, O. (1999) Dynamic programming as a software component. Proceedings of the 3rd WSEAS International Conference Circuits, Systems, Communications and Computers (CSCC 1999), pp. 4–8.Google Scholar
Ellison, G. (September 1993) Learning, local interaction, and coordination. Econometrica 61 (5), 1047–1071. URL http://ideas.repec.org/a/ecm/emetrp/v61y1993i5p1047-71.CrossRefGoogle Scholar
Ellison, G. (1995) Basins of Attraction, Long-Run Equilibria, and the Speed of Step-by-Step Evolution. Technical Report, MIT, Department of Economics, Working Paper No. 96-4. URL http://ssrn.com/abstract=139523.Google Scholar
European Comission (2013) Proposal for a financial transaction tax. URL http://ec.europa.eu/taxation_customs/taxation-financial-sector_en#prop.Google Scholar
Finus, M., van Ierland, E. & Dellink, R. (2013) Stability of climate coalitions in a cartel formation game. FEEM Working Paper No. 61.2003, 2003. URL http://ssrn.com/abstract=447461.Google Scholar
Gintis, H. (2006) The emergence of a price system from decentralized bilateral exchange. B. E. J. Theor. Econ. 6, 1302–1322.Google Scholar
Gintis, H. (2007) The dynamics of general equilibrium. Econ. J. 117, 1280–1309.Google Scholar
Gnesi, S., Montanari, U. & Martelli, A. (1981) Dynamic programming as graph searching: An algebraic approach. J. ACM 28 (4), 737–751.CrossRefGoogle Scholar
Goodhart, C. (2004) Some new directions for financial stability? Per Jacobsson lecture, Zurich, 27 June 2004. URL http://www.bis.org/events/agm2004/sp040627.htm.Google Scholar
GRACeFUL. (2015–2018) Global systems rapid assessment tools through constraint functional Languages [online]. Accessed December 30, 2015. Available at: https://www.graceful-project.eu/.Google Scholar
GSDP (2010–2013) Global systems dynamics and policy [online]. Accessed December 30, 2015. Available at: http://www.gsdp.eu/ Google Scholar
Hardin, G. (1968) The tragedy of the commons. Science 162 (3859), 1243–1248.CrossRefGoogle ScholarPubMed
Heitzig, J. (2012) Bottom-up strategic linking of carbon markets: Which climate coalitions would farsighted players form?, URL http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2119219.CrossRefGoogle Scholar
Helm, C. (2003) International emissions trading with endogenous allowance choices. J. Public Econ. 87, 2737–2747.CrossRefGoogle Scholar
Holtsmark, B. & Sommervoll, D. E. (2012) International emissions trading: Good or bad? Econ. Lett. 117, 362–364.CrossRefGoogle Scholar
Ionescu, C. (2009) Vulnerability Modelling and Monadic Dynamical Systems. PhD thesis, Freie Universität Berlin.Google Scholar
Kydland, F. E. & Prescott, E. C. (June 1977) Rules rather than discretion: The inconsistency of optimal plans. J. Political Econ. 85 (3), 473–91. URL https://ideas.repec.org/a/ucp/jpolec/v85y1977i3p473-91.html.CrossRefGoogle Scholar
Mandel, A., Fürst, S., Lass, W., Meissner, F. & Jaeger, C. (2009) Lagom generiC: An agent-based model of growing economies. ECF working paper, 1.Google Scholar
Moggi, E. (1991) Notions of computation and monads. Inform. Comput. 93 (1), 55–92.CrossRefGoogle Scholar
Mu, S.-C., Ko, H.-S. & Jansson, P. (2009) Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19, 545–579.CrossRefGoogle Scholar
Otto, F. E. L. & Levermann, A. (2011) Levity — a concept for complementing climate policy strategies. URL http://www.osti.gov/eprints/topicpages/documents/record/666/1527922.html.Google Scholar
Peyton, Young H. (1993) The evolution of conventions. Econometrica 61, 57–84.Google Scholar
Peyton, Young H. (2001) Individual Strategy and Social Structure: An Evolutionary Theory of Institutions. Princeton University Press.Google Scholar
Raven, P., Bierbaum, R. & Holdren, J. (2007) Confronting climate change: Avoiding the unmanageable and managing the unavoidable. UN-Sigma Xi Climate Change Report. URL https://www.sigmaxi.org/programs/critical-issues-in-science/un-sigma-xi-climate-change-report.Google Scholar
Research Domain III, PIK. ReMIND-R. ReMIND-R is a global multi-regional model incorporating the economy, the climate system and a detailed representation of the energy sector. http://www.pik-potsdam.de/research/sustainable-solutions/models/remind.Google Scholar
Sandler, T. & Enders, W. (2004) An economic perspective on transnational terrorism. Eur. J. Political Econ. 20, 301–316.CrossRefGoogle Scholar
Sandler, T. & G. Arce, M. D. (2002) A conceptual framework for understanding global and transnational public goods for health. Fiscal Stud. 23, 195–222.CrossRefGoogle Scholar
Schellnhuber, H. J. (1998) Discourse: Earth system analysis – The scope of the challenge. In Earth System Analysis: Integrating Science for Sustainability, Schellnhuber, H. & Wenzel, V. (eds). Berlin/Heidelberg: Springer, pp. 3–195.CrossRefGoogle Scholar
Spivey, M. (1990) A functional theory of exceptions. Sci. Comput. Program. 14 (1), 25–42.CrossRefGoogle Scholar
Webster, M. D. (2000) The Curious Role of “Learning” in Climate Policy: Should We Wait for More Data? Technical Report, MIT Joint Program on the Science and Policy of Global Change, Report No. 67.Google Scholar
Webster, M. D. (2008) Incorporating path dependency into decision-analytic methods: An application to global climate-change policy. Decis. Anal. 5 (2), 60–75.CrossRefGoogle Scholar
Submit a response

Discussions

No Discussions have been published for this article.