Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.

M. Müller
{"title":"Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.","authors":"M. Müller","doi":"10.1017/bsl.2023.13","DOIUrl":null,"url":null,"abstract":"and ‘??’ is a subjective catch-all standing in for those contingencies that she suspects she is unaware of. Represented like this, Steele and Stefánsson argue that the policy-maker’s predicament is somewhat unremarkable and (if certain basic conditions are met) we can treat her as an EU maximiser just like any ordinary reasoner. However, they go on to canvas two norms of rationality—‘Awareness Reflection’ and ‘Preference Awareness Reflection’—which they think should constrain the synchronic credences and desires (respectively) of agents like the policy-maker who anticipate their awareness will grow in rather specific ways. Whilst the positive proposal spelled out in Sections 6 and 7 leaves several questions open, Steele and Stefánsson successfully lay the foundations for others working within normative decision theory and related areas of economics and computer science to take up these questions and continue the work of characterising the reasoning of rational, but less-than-fully aware, agents.","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Bulletin of Symbolic Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/bsl.2023.13","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

and ‘??’ is a subjective catch-all standing in for those contingencies that she suspects she is unaware of. Represented like this, Steele and Stefánsson argue that the policy-maker’s predicament is somewhat unremarkable and (if certain basic conditions are met) we can treat her as an EU maximiser just like any ordinary reasoner. However, they go on to canvas two norms of rationality—‘Awareness Reflection’ and ‘Preference Awareness Reflection’—which they think should constrain the synchronic credences and desires (respectively) of agents like the policy-maker who anticipate their awareness will grow in rather specific ways. Whilst the positive proposal spelled out in Sections 6 and 7 leaves several questions open, Steele and Stefánsson successfully lay the foundations for others working within normative decision theory and related areas of economics and computer science to take up these questions and continue the work of characterising the reasoning of rational, but less-than-fully aware, agents.
Jan Krajìček,证明复杂性,数学百科全书及其应用,第2期。170,剑桥大学出版社,剑桥,英国,2019年,16 + 516页。
和“? ?是一个主观的包罗万象的说法,代表了那些她怀疑自己没有意识到的突发事件。在这种情况下,斯蒂尔和Stefánsson认为,政策制定者的困境在某种程度上并不引人注目,(如果满足某些基本条件)我们可以将她视为欧盟最大化者,就像任何普通的推理者一样。然而,他们继续研究理性的两种规范——“意识反射”和“偏好意识反射”——他们认为,这两种规范应该分别约束像政策制定者这样的主体的共时性信任和欲望,他们预计自己的意识将以相当具体的方式增长。虽然第6节和第7节中阐述的积极建议留下了几个问题,但斯蒂尔和Stefánsson成功地为其他在规范决策理论和相关经济学和计算机科学领域工作的人奠定了基础,以接受这些问题,并继续表征理性但不完全意识的代理人的推理。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信