XiaoMi-AI文件搜索系统
World File Search System道义
SoftwareX 2P-Kt：基于逻辑的符号 AI 生态系统
CL 中存在许多逻辑，例如命题逻辑、一阶逻辑 (FOL)、时间逻辑、道义逻辑等，每种逻辑都针对特定领域。例如，时间逻辑能够推理时间中的事件，道义逻辑支持推理许可/禁止及其情况，而 FOL 则是通用的。此外，不同的逻辑存在不同的推理规则。一些是演绎的——从前提中得出结论，一些是归纳的——从几个前提——结论示例中寻找一般规则，而另一些是溯因的——推测哪些前提导致了某些结论。最后，当某些推理规则存在解决策略时，它可以转换成某种软件结构，并用于为智能系统提供自动推理能力。这种软件通常被称为逻辑编程 (LP) 范式的一部分。
Radhe Shyam Sharma-教师
•Radhe Shyam Sharma，Santosh Shukla，Hamad Karki，Amit Shukla，Laxmidhar Behera，Venkatesh K S，“基于DMP的轨迹跟踪，用于自动目标适应和避免障碍物的非道义移动机器人，” IEEE International International International International of Robotics and Aubotics and Aubotics and Aubotics and Autrive 8613-8619，2019。 PDF实验视频W8613-8619，2019。PDF实验视频W
和国家——妇女、和平行动计划
实施妇女地位议程是美国外交政策和国家安全的道义和战略要务。研究表明，妇女地位与国家稳定密不可分：平等程度越高的国家越繁荣、越安全和越民主；相反，性别平等程度越低则越不稳定、越腐败、越冲突。有针对性地削减妇女和女童权利的升级已被证明是动荡加剧的最早警示信号之一。了解和解决冲突中的性别动态将有助于美国实现和维护我们的国家安全优先事项。当我们通过政策和计划制度化和投资妇女地位倡议时，我们就是投资于可持续和平、国际安全和经济稳定。
人工智能与法律三十年：第一十年
当 Ashley 继续与 Vincent Aleven 一起开发 CATO 系统（Aleven and Ashley 1994 ）时，Rissland 与 David Skalak 一起开发了 CABARET。CABARET 的一个关键特征是它是一个混合系统，其中案例推理是在规则框架内展开的。法律案例推理在整个十年中一直被追求，也是 Hage 等人的研究主题。（1993），由 Bart Verheij 和 Prakken and Sartor（1998）评论，由 Trevor Bench-Capon 评论。Hage 等人对导致法律案件困难的原因进行了描述，这是 Gardner（1987）引入的一个概念。Prakken 和 Sartor 提供了一种将先例案例表示为规则集的方法，为随后大量利用先例进行推理的研究奠定了基础 1 。对道义概念进行建模是 Jones 和 Sergot ( 1992 ) 的研究主题，Guido Governatori 对此进行了评论。特别是，他们确定了道义建模的必要性，即需要考虑和推理违反的可能性。Sartor ( 1992 ) 也分析了道义概念，Guido Governatori 也对此进行了评论，重点是规范冲突。该期刊第一期讨论的第三个主题是法律知识的表示（Bench-Capon 和 Coenen 1992），Michał Arasz- kiewicz 和 Enrico Francesconi 对此进行了评论。本文特别关注的是必须维护此类知识以应对立法变化，并认为可以通过维护来源和所表示知识之间的对应关系来实现这一点。随着人们对本体论 2 的兴趣的增长，法律知识表示在第二个十年变得更加突出。在第一个十年中另一个重要的主题是使用对话来模拟法律程序和法律论证。Gordon（1993），由 Guido Governatori 评论，在推广对话在人工智能和法律中的使用方面发挥了重要作用，他使用该技术来模拟特定的法律程序。对话也是 Hage 等人（1993 年）和 Prakken 和 Sartor（1998 年）的核心。对话通常是出于对论证建模的需求。论证在 Skalak 和 Rissland（1992 年）中占有重要地位，也是 Loui 和 Norman（1995 年）的主题，Bart Verheij 对此进行了讨论，展示了如何通过扩展论证来揭示隐藏的步骤。在整个十年中，人们也对亚符号技术产生了兴趣，尤其是神经网络。（1999 年）。在第二个十年，建模论证逐渐被论证方案 3 的使用所主导，而对话的明确表示的重要性则下降了。Stranieri 等人代表了这种兴趣。Matthias Grabmair 评论道。本文代表了一项持续进行的机构或工作的顶峰，并且因其认识到需要解释建议以及使用论证来做到这一点而引人注目。正如 Villata 等人所讨论的（2022），在本期的其他地方，亚符号技术现在已在人工智能和法律领域广泛使用，对解释的需求仍然是一个紧迫的问题。
WMA 政策手册 - 世界医学协会
世界医学协会政策手册证明，世界医学界的参与确实持续存在。世界医学协会现在比以往任何时候都更大、更强、更活跃，我们的手册是半个多世纪以来医生们齐心协力的成果，他们提供道德指导、道义支持和实用建议，以帮助他们的同事尽其所能为患者服务。从日内瓦宣言（通常被称为“现代希波克拉底誓言”）到赫尔辛基宣言（建议医生进行人体医学研究），再到东京宣言（禁止医生参与酷刑和有辱人格的待遇）——这些只是世界医学协会的一些里程碑式政策——世界医学协会提供的指导现在和以往一样必要。
人道主义和流离失所环境中的清洁能源混合融资解决方案
能源供应不足会对流离失所者的健康、安全和保障产生严重影响，并限制他们学习、自力更生和与同龄人交往的机会。此外，在满足流离失所者社区的能源需求时，由于做法不当、电器效率低下、燃料成本高以及对能源消耗的监控有限，财务和环境成本往往很高。此外，由于响应地点不在电网范围内，或与遭受电压下降或停电的电网相连，柴油发电机是人道主义行动最普遍的能源解决方案之一。尽管人道主义组织认识到他们有道义和财政义务“绿色”他们的行动，以尽量减少他们对气候和环境的影响，但这样做是一项经济挑战，即使向可再生能源的过渡提供了一个在中长期内节省资金的机会。
2024 年以色列安全补充拨款法案
正如总统最近的补充资金请求所表明的那样，政府强烈支持为关键的国家安全优先事项提供资源，包括为我们的盟友以色列提供援助，帮助它抵御哈马斯恐怖分子的袭击。但该法案并没有提出一项以两党合作的方式加强美国国家安全的方案，而是未能满足当前的紧迫性，加深了我们的分歧，严重削弱了两党对以色列安全的历史支持。它将党派偏见插入对以色列的支持中，使我们的盟友成为我们政治中的棋子，而此时此刻我们必须站在一起。它拒绝向世界各地的弱势群体（包括巴勒斯坦平民）提供人道主义援助，而这在道义和战略上是必须的。而且，通过要求对这一关键的安全援助进行补偿，它开创了一个新的危险先例，即通过为以色列提供援助设定条件，进一步将我们的支持政治化，并区别对待一个盟友和其他盟友。这项法案对以色列、中东地区和我们自己的国家安全都是不利的。
CONL726人工智能的道德规范。 ...
本节概述了将作为模块的一部分完成评估任务的类型。更多的详细信息将在相关的学年模块手册中提供。指示性评估任务：该模块的评估包括两个组成部分；第一个任务是与AI伦理有关的案例研究，是从现实情况下得出的（例如，有偏见的算法决策 - 侵犯隐私，自动驾驶汽车），要求学生进行严格分析案件学生带来的道德困境并应用相关的道德框架（例如功利主义，道义论）评估情况并提出解决道德挑战的建议。The second assignment requires students to imagine they are an AI ethics consultant for a tech company who has been tasked with developing an AI ethics policy that addresses key ethical considerations (e.g., bias, transparency, privacy), taking into consideration the company's specific context, stakeholders and industry, and then justifying their policy decisions based on ethical principles and societal impact producing, as a deliverable, a policy document.