×

对政策建议和可避免性计算理论的贡献。 (英语) Zbl 1476.68049号

摘要:我们提出了政策建议和可避免性数学理论的起始要素。更具体地说,我们将与政策建议相关的一组概念形式化,例如政策,生存能力,可达性,并基于可避免性我们将可避免性形式化为当前状态和未来状态之间的关系,研究在什么条件下这种关系是可决定的,并提出一个评估可避免性的通用程序。形式化是构造性的,它广泛利用了依赖类型和逻辑命题之间的对应关系,通过计算得到了可判定的判断。因此,我们的目标是计算的并强调计算机科学在全球系统科学中的作用。

MSC公司:

68甲18 函数编程和lambda演算
03B70号 计算机科学中的逻辑
91B06型 决策理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aldred,J.(2009)《道德与气候变化成本效益分析:斯特恩及其后》,。统一资源定位地址https://ideas.repec.org/p/lnd/wpaper/442009.html#cites。
[2] Allwood,J.、Bosetti,V.、Dubash,N.、Gómez-Echeverri,L.和Von Stechow,C.(2014)词汇表。《2014年气候变化:减缓气候变化》。第三工作组对政府间气候变化专门委员会第五次评估报告的贡献,Edenhofer,O.,Pichs-Madruga,R.,Sokona,Y.,Farahani,E.,Kadner,S.,Seyboth,K.,Adler,A.,Baum。英国剑桥和美国纽约:剑桥大学出版社,第33-51页。
[3] 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:方程式。统一资源定位地址https://www.pik-potsdam.de/research/sustainable-solutions/models/remind/remind-equations.pdf。
[4] Bellman,R.,《动态规划》,(1957年),普林斯顿大学出版社·Zbl 0077.13605号
[5] Bird,R.(1998)《使用Haskell的函数编程导论》。计算机科学国际丛书,第二版,普伦蒂斯·霍尔。
[6] Bird,R.和De Moor,O.(1997)程序代数,国际计算机科学系列。海梅尔·亨普斯特德:普伦蒂斯·霍尔·Zbl 0867.68042号
[7] Botta,N.,Ionescu,C.&Brady,E.(2013a)顺序决策问题,依赖型解决方案。智能计算机数学会议记录(CICM 2013),“机械化数学系统编程语言研讨会(PLMMS)”,CEUR研讨会记录,第1010卷CEUR-WS.org.URLhttp://dblp.uni-trier.de/db/conf/mkm/cicmws2013.html#Botta13。
[8] Botta,N.、Jansson,P.、Ionescu,C.、Christiansen,D.R.和Brady,E.(2017)顺序决策问题、依赖类型和一般解决方案。逻辑方法计算。科学13(1)。doi:doi:10.23638/LMCS-13(1:7)2017年·Zbl 1398.68489号
[9] Botta,N.、Mandel,A.、Hofmann,M.、Schupp,S.和Ionescu,C.(2013b)基于代理的交换模型的数学规范。2013年AISB公约会议记录,“Do-Form:使领域专家能够使用形式化推理”研讨会.
[10] Brady,E.(2013)Idris,一种通用的依赖类型编程语言:设计与实现。J.功能。程序23552-593。国际标准编号。统一资源定位地址http://journals.cambridge.org/article_S095679681300018X。doi:10.1017/S095679681300018X·Zbl 1295.68059号
[11] Carbone,J.C。;赫尔姆,C。;卢瑟福,T.F.,《缺乏合作气候政策的国际排放贸易案例》。,J.环境。经济。管理。,58, 266-280, (2009) ·Zbl 1183.91127号 ·doi:10.1016/j.jeem.2009.01.001
[12] (2015-2018)全球系统科学卓越中心[在线]。2015年12月30日查阅。网址:http://coegss.eu/
[13] De Moor,O.(1995)顺序决策过程的通用程序。PLILPS’95第七届程序设计语言国际研讨会论文集:实现、逻辑和程序施普林格,第1-23页。
[14] De Moor,O.(1999)作为软件组件的动态编程。第三届WSEAS国际会议电路、系统、通信和计算机会议记录(CSCC 1999)第4-8页。
[15] Ellison,G.(1993年9月)学习、地方互动和协调。《计量经济学》61(5),1047-1071。统一资源定位地址http://ideas.repec.org/a/ecm/emetrp/v61y1993i5p1047-71。doi:10.2307/2951493·Zbl 0802.90143号
[16] Ellison,G.(1995)吸引力基础、长期均衡和逐步进化速度《技术报告》,麻省理工学院经济系,第96-4号工作文件。统一资源定位地址http://ssrn.com/abstract=139523。
[17] (2013)金融交易税提案。统一资源定位地址http://ec.europa.eu/taxation_customs/taxation-financial-sector_en#prop。
[18] Finus,M.、Van Ierland,E.和Dellink,R.(2013)卡特尔组建游戏中气候联盟的稳定性。FEEM第61.20032003号工作文件。统一资源定位地址http://ssrn.com/abstract=447461。
[19] Gintis,H.,分散双边交易所价格体系的出现。,B.E.J.西奥。经济。,6, 1302-1322, (2006)
[20] Gintis,H.,一般平衡动力学。,经济。J.,1171280-1309,(2007)·文件编号:10.1111/j.1468-0297.2007.02083.x
[21] 格内西,S。;Montanari,美国。;Martelli,A.,《作为图搜索的动态规划:代数方法》,J.ACM,28,737-751,(1981)·Zbl 0471.90092号 ·doi:10.1145/322276.32285
[22] Goodhart,C.(2004)金融稳定的一些新方向?根据雅各布森的演讲,苏黎世,2004年6月27日。统一资源定位地址http://www.bis.org/events/agm2004/sp040627.htm。
[23] (2015-2018)通过约束函数语言的全球系统快速评估工具[在线]。2015年12月30日查阅。网址:https://www.gratful-project.eu/。
[24] (2010-2013)全球系统动态和政策[在线]。2015年12月30日查阅。网址:http://www.gsdp.eu/
[25] 哈丁,G.,《公地悲剧》,《科学》,1621243-1248,(1968)·doi:10.1126/science.162.3859.1243
[26] Heitzig,J.(2012)《碳市场的自下而上战略联系:有远见的参与者会组成哪些气候联盟?》?,统一资源定位地址http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2119219。
[27] Helm,C.,《具有内生津贴选择的国际排放交易》。,公共经济学杂志。,87, 2737-2747, (2003) ·doi:10.1016/S0047-2727(02)00138-X
[28] 霍尔茨马克,B。;Sommervoll,D.E.,《国际排放交易:好还是坏?》?,经济。莱特。,117362-364,(2012年)·Zbl 1254.91549号 ·doi:10.1016/j.econlet.2012.05.034
[29] Ionescu,C.(2009)脆弱性建模与一元动力学系统柏林弗雷大学博士论文。
[30] Kydland,F.E.&Prescott,E.C.(1977年6月)《规则而非自由裁量权:最优计划的不一致性》。《政治经济学杂志》85(3),473-91。统一资源定位地址https://ideas.repec.org/a/ucp/jpolec/v85y1977i3p473-91.html。doi:10.1086/260580
[31] Mandel,A.,Fürst,S.,Lass,W.,Meissner,F.&Jaeger,C.(2009)Lagom generiC:基于主体的经济增长模型。ECF工作文件, 1.
[32] Moggi,E.,《计算和单数概念》,Inform。计算。,93, 55-92, (1991) ·Zbl 0723.68073号 ·doi:10.1016/0890-5401(91)90052-4
[33] Mu,S.-C。;Ko、H.-S。;Jansson,P.,《Agda编程代数:关系程序派生的依赖类型》。,J.功能。程序。,19, 545-579, (2009) ·Zbl 1191.68195号 ·doi:10.1017/S0956796809007345
[34] Otto,F.E.L.和Levermann,A.(2011)Levity——补充气候政策战略的概念。统一资源定位地址http://www.osi.gov/eprints/topicpages/documents/record/666/1527922.html。
[35] Peyton,Young H.,《公约的演变》。,《计量经济学》,61,57-84,(1993)·Zbl 0773.90101号 ·doi:10.2307/2951778
[36] 杨·佩顿(Peyton,Young H.),《个人战略与社会结构:制度的进化理论》(2001),普林斯顿大学出版社
[37] Raven,P.、Bierbaum,R.和Holdren,J.(2007)《应对气候变化:避免无法控制的情况和管理不可避免的情况》。UN-Sigma Xi气候变化报告。统一资源定位地址https://www.sigmaxi.org/programs/critical-issues-in-science/un-sigma-xi-climate-change-report。
[38] 是一个全球多区域模型,包括经济、气候系统和能源部门的详细表示。http://www.pik-potsdam.de/research/sustainable-solutions/models/remind。
[39] 桑德勒,T。;Enders,W.,《跨国恐怖主义的经济视角》。,《欧洲政治经济学杂志》。,2031-316(2004年)·doi:10.1016/j.ejpoleco.2003.12.007
[40] 桑德勒,T。;G.Arce,M.D.,理解全球和跨国卫生公共产品的概念框架。,财政研究,23,195-222,(2002)
[41] Schellnhuber,H.J.(1998)《论述:地球系统分析——挑战的范围》。《地球系统分析:整合科学促进可持续发展》,Schellnhuber,H.&Wenzel,V.(编辑)。柏林/海德堡:施普林格,第3-195页。doi:10.1007/978-3-642-52354-0_1
[42] Spivey,M.,《例外的函数理论》,科学。计算。程序。,14, 25-42, (1990) ·Zbl 0699.68022号 ·doi:10.1016/0167-6423(90)90056-J
[43] Webster,M.D.(2000)《气候政策中“学习”的奇怪作用:我们应该等待更多数据吗?》?《技术报告》,麻省理工学院全球变化科学与政策联合项目,第67号报告。
[44] Webster,M.D.,《将路径依赖纳入决策分析方法:全球气候变化政策的应用》,Decis。分析。,5, 60-75, (2008) ·doi:10.1287/deca.1080.0114
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。