XiaoMi-AI文件搜索系统
World File Search System论证
导弹防御局 (MDA) - 辩护书
国防部财政年度 (FY) 2020 预算估计提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，分别名为第 2a 卷和第 2b 卷。论证文件在以下列出的书中提供。第 2a 卷
导弹防御局 (MDA) - 辩护书
国防部财政年度 (FY) 2020 预算估计提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，分别名为第 2a 卷和第 2b 卷。论证文件在以下列出的书中提供。第 2a 卷
导弹防御局 (MDA) - 辩护书
国防部财政年度 (FY) 2020 预算估计提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，分别名为第 2a 卷和第 2b 卷。论证文件在以下列出的书中提供。第 2a 卷
多轮协议的量子回溯
简洁论证 [Kil92、Mic94] 允许证明者说服验证者语句 x 属于语言 L，并且通信长度短于对应关系的见证长度。简洁论证已成为现代密码学的基石，并推动了许多现实世界应用的发展，如可验证计算和匿名加密货币。近年来，基于各种密码学假设，简洁论证的构造呈爆炸式增长。然而，量子计算的出现对这些进步构成了重大威胁。一方面，Shor 算法 [Sho94] 迫使我们过渡到基于后量子假设的密码系统，例如带错学习 (LWE) 问题的难度 [Reg05]。另一方面，由于量子信息的根本性质不同，一些已知的证明密码协议安全性的技术不再适用于后量子时代。最值得注意的是倒带技术，这种技术在简洁论证的安全性证明中无处不在。在倒带证明中，有人认为，如果对手在一次随机挑战中以足够高的概率取得成功，那么他一定能在多次挑战中取得成功。这种经典的直观想法在量子环境中不成立，因为测量对手对一次挑战的反应会导致不可逆转的信息丢失，这可能使其无法用于回答其他挑战。一类重要的简洁论证是基于 [ BCC + 16 , BBB + 18 ] 递归折叠技术的交互式协议，在文献中也称为 Bulletproofs 。利用密码方案的代数性质，类似 Bulletproofs 的协议可以实现比基于 PCP 和 IOP 的简洁论证 [ Kil92 , BCS16 ] 小得多的证明大小，同时保留公共币设置的好处。然而，与基于 PCP 和 IOP 的论证不同，原始的 Bulletproofs 构造不是后量子安全的，而是基于离散对数问题的难度。这激发了一系列旨在设计“后量子 Bulletproofs” [BLNS20、AL21、ACK21、BCS21] 的工作。虽然这些工作不依赖于量子不安全的加密假设，但它们对后量子安全性的分析只是启发式的，因为健全性只能在面对经典对手时才能体现出来。受此情况的启发，我们提出以下问题：
导弹防御局 (MDA) - 论证书
国防部财政年度 (FY) 2023 预算估计提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，分别名为第 2a 卷和第 2b 卷。论证文件在下面列出的书中提供。第 2a 卷
导弹防御局 (MDA) - 理由书
国防部财政年度 (FY) 2020 预算估计提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，分别名为第 2a 卷和第 2b 卷。论证文件在下面列出的书中提供。第 2a 卷
导弹防御局 (MDA) - 辩护书
国防部财政年度 (FY) 2020 预算估计提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，分别名为第 2a 卷和第 2b 卷。论证文件在以下列出的书中提供。第 2a 卷
导弹防御局 (MDA) - 论证书
国防部财政年度 (FY) 2021 预算估算提交 RDT&E（包括采购、O&M 和 MILCON）、国防范围第 2 卷、导弹防御局 (MDA) 论证材料包括两本书，标题为第 2a 卷和第 2b 卷。论证文件在下面列出的书中提供。第 2a 卷
人工智能与法律中的规则、案例和论据
摘要 本章讨论了人工智能与法律领域的三种法律推理方式：基于规则的推理、基于案例的推理和基于论证的推理。在基于规则的推理中，除非规则有例外，否则只有在满足规则条件时才会得出结论。在基于案例的推理中，当当前案件与先例类似时，将遵循先例案件的判决，但可能存在相关区别。在基于论证的推理中，当结论得到没有被反驳的论点支持时，就会得出结论。以荷兰的侵权法为例，说明了基于规则、基于案例和基于论证的推理。本章最后提出了有关人工智能与法律研究的进一步阅读建议。
人工智能与法律三十年
摘要《人工智能与法律》杂志第一期于 1992 年出版。本文对该杂志创刊第二个十年的九篇重要论文进行了评论。其中四篇论文涉及法律案例推理、引入背景考虑、根据案例的自然语言描述预测结果、比较不同的案例表示方式以及形式化先例推理。其中一篇介绍了一种在人工智能与法律领域得到广泛应用的论证分析方法，即论证方案。其中两篇涉及用于表示法律概念的本体，两篇利用本十年日益增多的法律语料库，自动进行文档摘要和论证挖掘。