XiaoMi-AI文件搜索系统
World File Search Systemarguments
边境AI的安全案例模板：网络无能参数
边境人工智能（AI）系统对社会构成了越来越多的风险，这对于开发人员提供对其安全性的保证至关重要。提供此类保证的一种方法是通过安全案例：一种结构化的，基于证据的论点，旨在证明为什么与关键安全系统相关的风险是可以接受的。在本文中，我们提出了一个安全案例模板，以实现进攻性网络功能。我们说明了开发人员如何通过将主要主张分解为逐渐特定的亚索赔的模型没有能力带来不可接受的网络风险的能力，每种索赔都得到了证据的支持。在我们的模板中，我们确定了许多风险模型，从风险模型中得出代理任务，定义代理任务的评估设置，并通过评估结果将其连接起来。当前边境安全技术的要素（例如风险模型，代理任务和能力评估）都使用隐性论证来确保整体系统安全。此安全案例模板使用索赔论证证据（CAE）框架整合了这些元素，以使安全论点相干和明确。虽然围绕细节的不确定性仍然存在，但该模板是概念证明，旨在促进对AI安全案例的讨论并提高AI保证。
缅因州，奴隶制和奴隶贸易：简短的历史一个关于管理野生动物土地b''
2020年12月7日 - 为反对反对土地保护的经济论点的反保护声音，缅因州奥杜邦（Maine Audubon）汇总了当前的参考笔记本...
认知中的模块化：争论的框架
二十多年来，模块化一直是认知科学界激烈争论的话题。在某些情况下，误解阻碍了概念的进步。本文作者指出了关于模块化的论点，这些论点要么已被抛弃，要么从未被支持模块化思维观点的人所接受。作者回顾了那些旨在破坏模块化的论点，特别关注认知架构、发展、遗传学和进化。作者提出，清晰定义的模块化为指导研究和解决有关个体认知系统和人类进化认知性质的争论提供了一个有用的框架。模块化是生物体在各个组织层面的基本属性；它对于理解思维结构也是必不可少的。
特刊
选择配子捐献者 2 或堕胎 3，这些也将被纳入“基因选择”的概念。选择范围可能不仅涵盖具有直接治疗意义的特征，还可能涵盖与健康无关的特征，例如气色，甚至看似中性的特征，例如眼睛颜色。目前，大多数父母的选择在科学上都是不可能的，但最终它们将在（不久的？）未来成为可能，从而引发有关这些问题的争论。奇怪的是，一些看起来过于未来化的基因选择实际上即将成为现实。例如，科学界已经知道，当 CCR5 基因失活时（正如贺建奎对中国双胞胎露露和娜娜进行的臭名昭著的实验中发生的那样） 4 它可以提高学习能力。 5 本文将仅讨论父母选择与健康无关（至少不是直接）的孩子特征的选择，以下将其定义为非健康相关生殖决策 (NHRRD)。主流学者 6 认为，父母应该被允许选择与后代健康相关的特征（例如，堕掉严重畸形的胎儿，或为孩子选择某种性别以避免与异性相关的疾病），但不允许选择其他类型的特征。世界各地的立法者倾向于采用这种解决方案。本文将重点分析欧洲国家，但也会提及其他司法管辖区（第 2 部分）。本文将首先分析通常反对 NHRRD 的论点，即优生学、遗传多样性的丧失、遗传歧视、将儿童商品化，使儿童成为父母意愿的对象、对儿童自由发展（开放未来的权利）的限制，以及自然因素优于人造因素。正如本文将要证明的那样，这些论点都没有真正的实质内容（第 3 部分）。受到经典论证失败的鼓舞，一些作者（约翰·罗伯逊的立场在这方面堪称典范）7 认为，NHRRD 并没有受到这些论证的削弱，
模拟、虚拟现实和全球怀疑论
摘要 ：笛卡尔、普特南、博斯特罗姆和查尔默斯支持模拟世界的论据是为了实现不同的目标。笛卡尔拒绝全球怀疑论，普特南拒绝形而上学现实主义，博斯特罗姆提出世界存在数学和信息基础的论据，查尔默斯提出模拟现实主义的观点。从方法论的角度来看，笛卡尔和普特南提出的论据富有成效。从形而上学的角度来看，博斯特罗姆和查尔默斯提出的论据并没有解决任何现存的形而上学问题。本文的目的有两个：首先，说明模拟现实主义的不一致性；其次，提出模拟假设和模拟现实主义仅仅是互联网、虚拟现实和人工智能等新技术广泛采用的结果。由于使用了技术隐喻，模拟假设和模拟现实主义的优点在于，它使一系列经典的哲学问题为 21 世纪受过教育的人所接受。其中包括现实基础问题、造物主存在的可能性、知识的可能性、人性问题、意识的本质等。关键词：泛计算主义、数学宇宙假设、邪恶天才假设、缸中之脑论证、模拟假设、模拟现实主义、人工智能、虚拟现实、意识。
22-2172.意见.12-20-2024_2439717.pdf
IDT 辩称，它并未放弃其权利要求解释论点，因为委员会在其最终书面决定中对“每条链”限制的解释与该术语的普通含义不一致，而双方在下文的整个程序中都依赖该术语的普通含义。上诉人的答复，第 16-18 条。但是，委员会只应用了被质疑权利要求的普通含义，其中没有提到“完全消除短扩增子”。例如，见决定*9。如果 IDT 认为需要完全消除短扩增子，或者必须将短扩增子降低到不主导 PCR 扩增过程的水平，则 IDT 必须向委员会提出这些论点以在上诉中保留它们。
综合形式化方法的新机遇
事实上，最近我们可以观察到机器人和自主系统存在大量困难 [112, 141]。此类系统将在社会中得到更广泛的应用，从而提高其安全关键性水平 [70]，并需要严格的监管制度。结构化保证案例提供了一种成功的监管验收方法，这些案例提供了由证据支持的可理解且不可废止的安全论据 [72, 77, 104]。然而，无论是否符合 IEC 61508 1 和 DO-178C 2 等标准，此类保证案例的创建都很费力，维护和发展都很复杂，并且必须通过评估过程进行严格检查，以确保满足所有义务并实现对论据的信心 [68, 160]。尽管如此，这些问题正是 FM 旨在克服的。
澳大利亚专家对住房的看法......
过去几年，澳大利亚新成立的住房和生产力研究联盟 (HPRC) 的参与者一直在开发一种新的、基于证据的叙述，为住房政策构建强有力的经济案例，以在个人和整个人口层面取得更好的结果 (Maclennan 和 Long，2019 年；Pawson 等人，2020 年)。虽然没有减损基于需求的住房干预论点（主要是为了实现社会正义目标）以及创造就业和稳定收入以促进投资的论点，但 HPRC 正在建立一个更广泛的经济案例。这种更广泛的理由并不排除支持最贫穷的澳大利亚人，他们往往住在最差的房子里，住房负担沉重。但这个论点远不止于此：它解决了核心问题：
