XiaoMi-AI文件搜索系统
World File Search SystemPauly
对可能知道其他代理策略的代理进行推理
1 简介 在多智能体系统的形式化研究中，推理智能体和智能体群体的战略能力是一个备受关注的话题。为此，人们引入了许多逻辑，例如博弈逻辑 [Pauly 和 Parikh，2003]、STIT [Herzig 和 Lorini，2010] 和 ATL [Alur 等，2002]。在这些逻辑中，策略逻辑 (SL) [Chatterjee 等，2010；Mogavero 等，2014] 近年来非常成功，因为它将自然的语法与高表达能力相结合，使其能够轻松表达复杂的博弈论概念，例如纳什均衡的存在。它的模型检查问题是可判定的，模型检查算法通常可用于合成满足给定规范的策略。由于不完全信息是多智能体系统的一个重要方面，SL 最近得到了扩展，以考虑不完全信息 [Berthon et al. , 2021] 并允许进行认识论推理 [Maubert and Murano, 2018; Belardinelli et al. , 2020]。如 [Maubert and Murano, 2018] 所述，在战略背景下定义知识的语义涉及一些微妙之处，其影响深远，但往往被忽视。文献中存在两种语义，大多数作品都采用其中一种而没有提及。一个对应于不知道彼此策略的智能体（在 [Maubert and Murano, 2018] 中称为无知语义），而另一个对应于知道每个人策略的智能体（知情语义）。前者用于所有现有的 ATL 和 SL 的认识论扩展（例如，[van der Hoek and Wooldridge, 2003; Jamroga and van der Hoek, 2004; Guelev et al. , 2011; Belardinelli et al. , 2017b]），
envst-ua 440教学大纲S25
描述：食物，动物和环境的目的是批判性地分析动物在我们的食品系统和环境中的位置，重点是它们之间的交集。本课程探讨了农业对人类，非人类和环境的一些主要影响，以及这些影响引起的一些主要问题对粮食生产，消费和行动主义的伦理学提出了。农业对这个星球产生持久影响。某些形式的农业特别有害。例如，工业动物农业每年杀死100亿只动物；消耗大量的土地，水和能源；并产生大量的废物，温室气体排放和其他污染。其他形式的农业，例如本地，有机和植物性食品，有很多好处，但它们也有成本，尤其是在大规模上。这些影响引发了困难的道德问题。我们如何在现代，高度人口，高科技，气候变化的世界中进行经验，评估 - 食物，动物和环境最好地说明？该研讨会旨在通过提出重要问题，包括：我们欠动物，植物，物种和生态系统的内容，以反映环境研究和动物研究领域之间的丰富重叠？在人类活动重塑的世界中，天然食品的含义和价值是什么？我们如何参与具有环境，社会和动物影响的食物实践的道德规范？本书的所有收益将用于支持与食物，动物和环境有关的教育计划。阅读和作业时间表：课程文本，食物，动物和环境：一种道德方法，Schlottmann和Sebo，可在此课程编号下的NYU书店和NYU图书馆提供。食物，动物和环境的章节以下面的粗体标记。补充读数可在Brightspace上找到。读数可能会发生变化。课程提纲的任何更改都将在课堂，Brightspace和更新的课程提纲中宣布。附表1/27-简介。2/3-事实，价值观和自然，“爱鱼的科学家”播客。2/10-道德地位，华莱士“考虑龙虾”，Jacquet，Franks等人，“章鱼种植”，“人类与人类（壮举。syl ko）”播客。阅读分配的注释和案例研究。介绍。2/18（星期二） - 道德理论，Nussbaum“能力方法”。开始，停止，保留。2/24-农业与环境。squiz 1 in Class。3/3-工业农业，卡森，寂静的春季8，浆果“关于生物技术的十二段”，哈伯的Radiolab。考试1分布式；中午3/7星期五。3/10-工业农业（本地，有机）的替代品，贝里，“家庭农场”，麦克威廉姆斯，只有食物1-2。3/17-工业农业的替代品（Alt。动物AG。），McWilliams，“杂食的矛盾”，“土壤：肮脏的气候解决方案”播客，“放牧和困惑？” （略读起点和结束）。分配的协作项目。squiz 2 in Class。3/24-没有类（春假）。3/31-食品生产与消费的伦理，M4F播客（可选）。4/7-粮食生产与消费的道德规范，雅克/保利，“海鲜管理”，“个性化”。考试2分布式；中午4/11星期五。4/14-法律和非法粮食行动主义的伦理。4/21-法律和非法食品行动主义的伦理，“做正确的事”播客（Alt。链接）4/28-应得的协作项目演示和论文。5/5-结论，Foley，“我们可以养活世界并拯救地球吗？” Foley等人，“栽培星球的解决方案”，“绿色药丸”播客，“在促进“自然农业”中使用史诗般的叙事。方法：在本课程中，我们将通过伦理镜头分析应用的跨学科主题所有内容均应批判性地接近。在这些文本中出现了许多经验的主张。如果发现差异，请将它们带入课堂对话并独立研究以了解索赔的性质。中心分析问题是：
海岸鱼零售的DNA条形码参考库
Avise，J。C.（1989）。分子标记，自然历史和进化。纽约，纽约：施普林格。Bellwood，D。R.和Meyer，C。P.（2009）。 在海洋生物多样性热点中寻找热量。 生物地理学杂志，36，569–576。 https：//doi.org/10.1111/j.1365-2699.2008.02029.x Bermingham，E.，McCafferty，S。，＆Martin，A。P.（1997）。 鱼类生物地球和分子时钟：来自巴拿马伊斯兰教的观点。 在T. D. Kocher和C. A. Stepien（编辑） ），鱼类的分子系统学（pp。 113–128）。 圣地亚哥，加利福尼亚州：学术出版社。 Bouckaert，R。R.，Heled，J.，Kühnert，D.，Vaughan，T.，Wu，C.-H.，Xie，D. （2014）。 野兽2：用于贝叶斯进化分析的软件平台。 PLOS计算生物学，10，E1003537。 https://doi.org/10.1371/journ al.pcbi.1003537 Chase，J.M。，＆Leibold，M。A. （2002）。 空间量表决定了生产力的关系。 自然，416，427–430。 https：// doi。 org/10.1038/416427a Chin，T。C.，Adibah，A。 B.，Danial Hariz，Z。 A.和Siti Azizah，M。N.（2016）。 通过DNA钢筋编码：提高食品市场的透明度来检测马来西亚标记错误的海鲜产品。 食品控制，64，247–256。 https://doi.org/10.1016/j.foodc ont.2015.11.042 Cinner，J.E.，Graham，N.A。J. （2013）。 在珊瑚礁渔业状况下，当地人口密度和与市场距离的全球影响。 罗马。Bellwood，D。R.和Meyer，C。P.（2009）。在海洋生物多样性热点中寻找热量。生物地理学杂志，36，569–576。https：//doi.org/10.1111/j.1365-2699.2008.02029.x Bermingham，E.，McCafferty，S。，＆Martin，A。P.（1997）。鱼类生物地球和分子时钟：来自巴拿马伊斯兰教的观点。在T. D. Kocher和C. A. Stepien（编辑），鱼类的分子系统学（pp。113–128）。圣地亚哥，加利福尼亚州：学术出版社。 Bouckaert，R。R.，Heled，J.，Kühnert，D.，Vaughan，T.，Wu，C.-H.，Xie，D. （2014）。 野兽2：用于贝叶斯进化分析的软件平台。 PLOS计算生物学，10，E1003537。 https://doi.org/10.1371/journ al.pcbi.1003537 Chase，J.M。，＆Leibold，M。A. （2002）。 空间量表决定了生产力的关系。 自然，416，427–430。 https：// doi。 org/10.1038/416427a Chin，T。C.，Adibah，A。 B.，Danial Hariz，Z。 A.和Siti Azizah，M。N.（2016）。 通过DNA钢筋编码：提高食品市场的透明度来检测马来西亚标记错误的海鲜产品。 食品控制，64，247–256。 https://doi.org/10.1016/j.foodc ont.2015.11.042 Cinner，J.E.，Graham，N.A。J. （2013）。 在珊瑚礁渔业状况下，当地人口密度和与市场距离的全球影响。 罗马。圣地亚哥，加利福尼亚州：学术出版社。Bouckaert，R。R.，Heled，J.，Kühnert，D.，Vaughan，T.，Wu，C.-H.，Xie，D.（2014）。野兽2：用于贝叶斯进化分析的软件平台。PLOS计算生物学，10，E1003537。https://doi.org/10.1371/journ al.pcbi.1003537 Chase，J.M。，＆Leibold，M。A.（2002）。空间量表决定了生产力的关系。自然，416，427–430。https：// doi。org/10.1038/416427a Chin，T。C.，Adibah，A。B.，Danial Hariz，Z。 A.和Siti Azizah，M。N.（2016）。 通过DNA钢筋编码：提高食品市场的透明度来检测马来西亚标记错误的海鲜产品。 食品控制，64，247–256。 https://doi.org/10.1016/j.foodc ont.2015.11.042 Cinner，J.E.，Graham，N.A。J. （2013）。 在珊瑚礁渔业状况下，当地人口密度和与市场距离的全球影响。 罗马。B.，Danial Hariz，Z。A.和Siti Azizah，M。N.（2016）。通过DNA钢筋编码：提高食品市场的透明度来检测马来西亚标记错误的海鲜产品。食品控制，64，247–256。https://doi.org/10.1016/j.foodc ont.2015.11.042 Cinner，J.E.，Graham，N.A。J.（2013）。在珊瑚礁渔业状况下，当地人口密度和与市场距离的全球影响。罗马。保护生物学，27，453–458。https://doi.org/10.1111/j.1523-1739.2012.01933.x Cinner，J.E.，Huchery，C.，Macneil，M.A.，Graham，N.A.J.世界珊瑚礁之间的亮点。自然，535（7612），416–419。https://doi.org/10.1038/ Natur E18607 Collet，A.，Durand，J.D.，Desmarais，E.DNA条形码在大型后可以改善有关鱼类生物多样性的知识：来自SW印度洋La Reunion的一个例子。线粒体DNA A部分，29（6），905–918。https：// doi。org/10.1080/24701 394.2017.1383406 Collins，R.A。，＆Cruickshank，R.H。（2014）。已知已知的未知数未知数未知和未知数在DNA Barcoding中：对Dowton等人系统生物学的评论，63（6），1005–1009。https://doi.org/10.1093/sysy.1093/sysysbi O/syu060 delrieu-delrieu--trottin，E.，e.，j。t。法国波利尼西亚海岸鱼类的DNA条形码参考库。科学数据，6（1），114。https：// doi。org/10.1038/s4159 7-019-0123-5 Di Pinto，A.，Marchetti，P.，Mottola，A.，Bozzo，G.，G.，Bonerba，E.使用DNA条形码在鱼片中的物种鉴定。渔业研究，170，9-13。https：// doi。org/10.1016/j.fishr es.2015.05.006 Durand，J.-D.，Hubert，N.，Shen，K.-N。，＆Borsa，P。（2017）。DNA灰色mul虫。《鱼类生物学与渔业》中的评论，27（1），233-243。粮农组织（2018）。https://doi.org/10.1007/s1116 0-016-9457-7 Erdmann，M。，＆Allen，G。R.（2012）。 东印度群岛的礁鱼。 珀斯，澳大利亚：嗯。 la Cheation MondialedesPêches等人2018。 atteindre les objectifs dedévelopment耐用。 Ficetola，G。F.，Miaud，C.，Pompanon，F。，＆Taberlet，P。（2008）。 使用水样中的环境DNA检测物种。 生物学信，4，423–425。 https://doi.org/10.1098/rsbl.2008.0118 Froese，R。，＆Pauly，D。（2014）。 fishbase .http：//www.fishb ase.org，electronic版本访问了11/2019。 Fujisawa，T。和Barraclough，T。G.（2013）。 使用Single-Locus数据和广义混合Yule Colescent方法对物种进行分解：对模拟数据集的修订方法和评估。 系统生物学，62（5），707–724。 https://doi.org/10.1093/sysbi o/syt033 Gaboriau，T.，Leprieur，F.，Mouillot，D。，＆Hubert，N。（2018）。 物种地理位置对印度太平洋地区珊瑚礁鱼类生物多样性当前模式的影响。 Ecograph，40，1295–1306。 https：//doi.org/10.1111/ecog.02589https://doi.org/10.1007/s1116 0-016-9457-7 Erdmann，M。，＆Allen，G。R.（2012）。东印度群岛的礁鱼。珀斯，澳大利亚：嗯。la Cheation MondialedesPêches等人2018。atteindre les objectifs dedévelopment耐用。Ficetola，G。F.，Miaud，C.，Pompanon，F。，＆Taberlet，P。（2008）。使用水样中的环境DNA检测物种。生物学信，4，423–425。https://doi.org/10.1098/rsbl.2008.0118 Froese，R。，＆Pauly，D。（2014）。fishbase .http：//www.fishb ase.org，electronic版本访问了11/2019。Fujisawa，T。和Barraclough，T。G.（2013）。使用Single-Locus数据和广义混合Yule Colescent方法对物种进行分解：对模拟数据集的修订方法和评估。系统生物学，62（5），707–724。https://doi.org/10.1093/sysbi o/syt033 Gaboriau，T.，Leprieur，F.，Mouillot，D。，＆Hubert，N。（2018）。物种地理位置对印度太平洋地区珊瑚礁鱼类生物多样性当前模式的影响。Ecograph，40，1295–1306。https：//doi.org/10.1111/ecog.02589