人工智能与司法证明过程:来自形式主义和计算的挑战

来源 :证据科学 | 被引量 : 0次 | 上传用户:kmyzchenpeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
就实际法令的意义而言,法律规则与法院判决之间的冲突广为人知.这种冲突关系同样存在于事实认定之中.法律几乎贯穿了人类活动的所有方面;人与人之间的任何互动都可能会导致法律冲突.对这些纷争进行准确的事实认定是恰当贯彻实体法要求的必要前提保障.若事实认定缺乏准确性,法律就会变得不可测,继而人们便无法高效地按照法律规定行事.法律事实认定之于准确性和可预判性的需要促使人们去探寻适用于这项任务的形式化工具.众多形式化工具之中,贝叶斯定理和期望效用理论(贝叶斯式或统计式决策理论)已被检验.可惜二者并无法很好地与诉讼相契合,进而引发了对其它替代方案的探索与检验,其中以案情故事模式和相对可信论为典型.本文将依次探讨这些问题,展开论述美国传统法庭审理的基本架构;审视庭审与贝叶斯定理、期望效用理论等形式化工具之间的不和谐关系;并介绍相对可信论—一种阐释司法证明本质的理论.
其他文献
目的:  研究温控型胰岛素液体肛门栓的制备方案,包括含量测定方案、制备工艺设计方案、体外释放、稳定性、刺激性、药动学和药效学的考察方案。  方法:  建立HPLC-UV测定
肺纤维化(pulmonary fibrosis,PF)形成的病理因素十分复杂,近几年细胞生物学和分子生物学的发展为PF的形成机制提供了大量依据,证明PF是一个多因素、多器官、多细胞、多种因子之间以及细胞与间质成分之间形成的一个多层次,多步骤,多通路的疾病。随着其发病机理的进一步阐明,将有助于抗肺纤维化的药物研究,特别是药物筛选的研究。目前临床上用于治疗PF的药物如激素类及免疫抑制剂CoA等,毒副作
刑事补强证据规则的完善是刑事证据规则体系化建设的重要内容之一.在实践适用中,刑事补强证据规则不仅适用极少,且实践效果尚未达到其理论期许.主要存在压缩孤证不能定案规则
目的:癌症是发病率和死亡率都非常高的一种疾病,对于人类的健康有着严重的威胁。对于不能手术切除患部、术后需预防以及预防未成功而复发的癌症患者,化疗始终是治疗癌症的重要方
在大力推进乡村振兴和乡村教师队伍建设的时代背景 下,关注乡村教师专业情意的发展,实现这一群体整体素质的提升,显得尤为重要.研究基于扎根理论研究方法对《回归与希望——
民办教育能够满足全民终身学习需求,培养全民终身学习理念,它是国民教育体系中的重要组成部分,必须重新思考其在终身教育体系中的地位,处理好营利与非营利的关系,发挥好民办
民办教育能够满足全民终身学习需求,培养全民终身学习理念,它是国民教育体系中的重要组成部分,必须重新思考其在终身教育体系中的地位,处理好营利与非营利的关系,发挥好民办
政策是引领成人学习和教育发展的行动指南.联合国教科文组织终身学习研究所发布的第四份成人学习和教育全球报告显示:2015年以来,全球成人学习和教育政策总体发展势态良好,政
海马快速点燃(kindling)模型是上世纪80年代末首次发现的,传统对点燃的认识是刺激间隔时间太短将会因为不应期及疲劳现象而不会建立点燃。快速点燃将改变以往很多关于点燃模型常规的结论。目前抗癫痫药物(AEDs)药物筛选仍大多选用慢性刺激以完成点燃。但快速点燃建立迅速,将为抗点燃药物筛选提供一个更方便的模型。 目的:本文旨在建立海马快速点燃模型。对该模型的进行药理学评价并初步探讨模型的机制。
目的:构建血管基膜衍生多功能肽基因的真核表达载体,导入酵母菌GS115并用甲醇诱导表达,获得血管基膜衍生多功能肽,为深入研究血管基膜衍生多功能肽的作用及机理奠定基础.方法