本简报已更新,涵盖了《选举法》颁布的变更。它将概述:• 谁是谁 • 选举时间表的关键日期 • 资格和取消资格 • 提名 • 代理人 • 选民身份证 • 邮寄投票 • 投票日 • 计票 • 候选人支出 • 诚信问题 • 联系人
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]),
版权所有 © 2024,Oracle 和/或其附属公司。本文档仅供参考,其内容如有更改,恕不另行通知。本文档不保证无错误,也不受任何其他保证或条件的约束,无论是口头表达还是法律暗示,包括适销性或特定用途适用性的暗示保证和条件。我们明确声明对本文档不承担任何责任,本文档不直接或间接形成任何合同义务。未经我们事先书面许可,不得以任何形式或任何电子或机械手段出于任何目的复制或传播本文档。
2 例如,请参阅 Nest Learning Thermostat,这是 Google 旗下 Nest 推出的一款网络连接智能恒温器,可自动学习日常活动并自行编程来设置家中的温度。请参阅 Google,Nest 恒温器如何学习,< https://support.google.com/googlenest/answer/9247510?hl=en >。3 特斯拉智能召唤功能允许特斯拉驾驶员远程启动汽车并召唤特斯拉,从而省去了上下车的麻烦。请参阅 < https://www.tesla.com/support/autopilot >。4 新的电子道路收费系统将于 2020 年启动,其中包括一项停车付费功能。请参阅 < https://www.motorist.sg/article/413/new-erp-system-to-start-in-2020-includes-new-in-vehicle-units >。5 请参阅特斯拉,自动驾驶仪和全自动驾驶功能,< https://www.tesla.com/support/autopilot >。6 请参阅维基百科,语音合成,< https://en.wikipedia.org/wiki/Speech_synthesis >。7 请参阅新加坡卫生部,COVID-19 疫苗接种登记,< https://www.vaccine.gov.sg/ >。8 参见海峡时报,新型 Covid-19 拭子检测机器人为患者提供更安全、更舒适的检测程序,2020 年 9 月 22 日,< https://www.straitstimes.com/singapore/robot-that-conducts-swab-tests-for-covid-19-is-safe-faster-and- more-comfortable-for >。9 JJ Borking、BMA van Eck 和 P Siepel,智能软件代理和隐私 (1999),第 1 页。10 维基百科,第四次工业革命,< https://en.wikipedia.org/wiki/Fourth_Industrial_Revolution >(最后访问时间为 2021 年 6 月 26 日)。11 维基百科,网络爬虫,< https://en.wikipedia.org/wiki/Web_crawler >(最后访问时间为 2021 年 5 月 28 日)。12 维基百科,电子商务,< https://en.wikipedia.org/wiki/E-commerce >(最后访问时间为 2021 年 5 月 28 日)。13 维基百科,虚拟助手,< https://en.wikipedia.org/wiki/Virtual_assistant >(最后访问时间为 2021 年 5 月 28 日)。
越来越多地将商业、科学、政府和个人活动委托给人工智能代理(能够在有限监督下实现复杂目标的系统),可能会加剧现有的社会风险并引入新的风险。理解和减轻这些风险涉及严格评估现有的治理结构、在必要时修改和调整这些结构,以及确保关键利益相关者的责任。有关某些人工智能代理在何处、为何、如何以及由谁使用的信息(我们称之为可见性)对于这些目标至关重要。在本文中,我们评估了三类提高人工智能代理可见性的措施:代理标识符、实时监控和活动日志记录。对于每一种措施,我们都概述了在侵入性和信息量方面各不相同的潜在实现。我们分析了这些措施如何应用于从集中到分散的部署环境,并考虑到供应链中包括硬件和软件服务提供商在内的各种参与者。最后,我们讨论了我们的措施对隐私和权力集中的影响。进一步了解这些措施并减轻其负面影响有助于为人工智能代理的治理奠定基础。
• Aranesp(达贝泊汀α) • Epogen(依泊汀α) • Mircera(甲氧基聚乙二醇-依泊汀β) • Procrit(依泊汀α) • Retacrit(依泊汀α-epbx) 促红细胞生成素 (EPO) 是一种人体自然产生的激素,主要由肾脏产生,可刺激骨髓产生红细胞。 ESA 被批准用于治疗慢性肾病 (CKD)、HIV、癌症、手术和其他适用适应症中的严重贫血。 ESA 有黑框警告,指示其会增加死亡、心肌梗死、中风、静脉血栓栓塞、血管通路血栓形成以及肿瘤进展或复发的风险。对于 CKD:在对照试验中,当使用 ESA 使血红蛋白 (Hgb) 水平高于 11 g/dL 时,个体会经历更大的死亡、严重不良心血管反应和中风的风险。使用最低剂量以减少红细胞 (RBC) 输血需求。对于癌症:在对照试验中,ESA 缩短了乳腺癌、非小细胞肺癌、头颈癌、淋巴癌和宫颈癌患者的总体生存期和/或增加了肿瘤进展或复发的风险。使用最低剂量以避免 RBC 输血。仅当预期结果未治愈时才对骨髓抑制化疗引起的贫血使用 ESA,并在完成化疗疗程后停止使用 ESA。根据 2021 年第四季度专业委员会的共识意见,由于血红蛋白目标较高,风险与收益比较高,因此对于因骨髓抑制化疗相关贫血或骨髓增生异常综合征而使用 Aranesp 或 Epoetin alfa 药物的患者,可以使用持续治疗以维持血红蛋白水平不超过 11g/dL。对于围手术期:由于 DVT 风险增加,建议进行深静脉血栓形成 (DVT) 预防。高血压未得到控制的患者禁用 ESA。在开始使用 ESA 之前和治疗期间,应充分控制血压。
相比之下,一些软件代理(软件机器人或软机器人)存在于丰富、无限的软机器人领域中。模拟器具有非常详细、复杂的环境。软件代理需要实时从一系列操作中进行选择。旨在扫描客户在线偏好并向客户展示有趣项目的软机器人既可以在真实环境中工作,也可以在人工环境中工作。
利用大型语言模型(LLMS),自主代理人已显着提高,从而获得了处理各种任务的能力。在开放式设置中,优化协作以提高效率和有效性需要灵活的调整。尽管如此,目前的研究主要强调固定的,面向任务的工作流程,并忽略了以代理为中心的组织结构。从人类的组织行为中汲取了验证,我们引入了一种自组织的代理系统(S-Agent),该系统具有动态工作流程的“代理树”结构,用于平衡信息优先级的“沙漏代理体系结构”,以及“非阻碍性协作”方法,以允许代理人之间执行异步任务。这种结构可以自主协调一组代理,有效地应对没有人类的开放和动态环境的挑战。我们的实验表明,在Minecraft环境中,S-Ages熟练地执行了集合建筑任务和资源收集,从而验证了它们的有效性。