基于案例推理的法律人工智能建模——以海波案例系统的法律解析为中心

案例推理系统采取符号主义的路径进行法律人工智能建模,运用逻辑学的方法刻画案例推理的过程,但是,传统逻辑工具难以对案例推理过程中的可废止过程进行刻画和表达。运用论证理论中的论证型式工具,对经典案例推理系统海波的工作原理进行解析,可重构案例推理系统的逻辑模型,明确案例推理系统的智能界限。基于案例推理系统逻辑模型的解析,反思当下司法实践中的类案系统,可证立人工智能辅助司法的基本原则。

火箭结构估重与总体优化设计的数字化实现及应用

火箭新型号总体方案论证时,一般借鉴国内外相近规模和相同推进剂火箭的结构系数进行类比确定子级结构系数,按照比例系数分配贮箱和壳段等部段的质量,但该质量分配不能反映载荷对结构设计的影响,在细化迭代设计中易造成方案无法闭环,导致设计工作反复。为了加快总体方案论证,提出一种基于载荷的箭体结构快速估重方法,开发形成结构估重数字化模块并嵌入总体设计平台。应用案例表明,提出的数字化估重平台能够有效提高估重精度,同时显著缩短论证周期,兼具总体方案比较和优化、全箭质量管理等功能,能有效降低方案推翻重新设计的风险,在新型号总体方案论证中发挥了重要作用。

零知识证明递归与复合技术研究综述

零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.

亚里士多德的非证明式演绎学说

亚里士多德的演绎学说可以划分为证明式演绎和非证明式演绎两个大类。后者以名为topoi的非形式推理工具为核心,指导论辩者从具有普遍可接受性的意见出发,合理地构造论证。它的提出使得修辞的哲学化成为可能,有效地弥补了证明式演绎在实践推理和第一原理探索中的缺位,在亚里士多德的逻辑学、修辞学、知识论体系中拥有独到的价值。

法律解释的论证转向——以“目的解释”到“目的性论证”为例

传统的法律解释研究专注于各种法律解释规准,伴随解释学的本体论转向及法律论证理论的兴起,法律解释的用语、观念与方法皆发生了论证转向。司法实践中,法律解释不仅对应于推导出具体的解释结论,还对应于某种解释结论的合理性证立。法律解释天然具有“论辩”属性,其实质上是评估与比较不同解释之选择的论证问题。较之于传统的法律解释方法,借由“论辩图式”表达,且遵循论证程序规则的“解释性论证”更能还原法律解释的动态过程。从“目的解释”到“目的性论证”,就是法律解释的论证转向的典型代表。

在重要排水设施保护范围内施工的技术要求

重要排水设施是城市基础设施的重要组成部分,其重要性无可替代,在重要排水设施保护范围内施工,须向水务管理部门申请办理在重要排水设施保护范围内施工的行政审批手续。基于此,对在重要排水设施保护范围内施工设施保护的技术规范要求进行探讨,以供参考。

佩雷尔曼新修辞学的论式系统

佩雷尔曼新修辞学恢复了古典论式理论的荣耀。新修辞学论式系统是对不确定条件下推理形式的分析,虽然这些推理形式是实践中不可或缺的,但笛卡尔时代以来一直被逻辑学家和知识理论家所忽视。论式是新修辞学论辩理论的核心。在新修辞学的论式系统里,亚里士多德"更可取的"topoi被用作与价值和价值层级相关联的推理前提——论证的出发点,因而与涉及推理形式的其他辩证推理发挥不同功能。新修辞学的论式在论辩中既生成说服力,也展现合理性;既与听众及其文化环境相联系,也通过论式的相反形式与论辩攻防相联系。新修辞学的论式,尤其是"准逻辑"论式与法律论证关系密切,对法律论证的辨识、结构分析、论证构建和批评有重要意义。

论霍姆斯的“逻辑”和“经验”

"法律的生命一直不是逻辑,而是经验"这一经典名言被当作是霍姆斯"反逻辑"的法理学口号。但是,对霍姆斯文本的全面考察就会发现,他所反对的是逻辑学的一种特定形式。霍姆斯的"经验"不仅表明正统逻辑在法律裁决中并不起主要作用,而且在其中蕴藏着补充正统逻辑的"天然逻辑"或"新逻辑"的萌芽。因而,挖掘经验中的新逻辑,提取丰富的法律论证形式,甚至更一般的逻辑形式,构成发展霍姆斯论点的一种新的可能性。

非形式逻辑和人工智能

近年来,非形式逻辑学家和人工智能专家开展了颇有成效的合作。非形式逻辑的一些概念和方法渗透到人工智能特别是“人工智能和法律”的研究领域。一系列范畴和分析工具,如论证概念、论证型式、可废止论证、对话类型、相干性、对话中的承诺等,既从非形式逻辑领域传输到人工智能研究中,又在人工智能研究中得到深化。非形式逻辑启发了人工智能研究的新思路和新方向,而人工智能研究开发了非形式逻辑的巨大潜能。

再谈大宁河引江济汉补水方案

本文论证了由大宁河补水入丹江的必要性。认为抽水电力可由系统中的低谷容量和调节性能差的水电站所提供 ;抽水季节限定在 5～ 11月的丰水期 ,这样不会影响三峡机组的出力 ;枯水季节因为不抽水 ,所以对航运和发电不会产生任何影响 ,汛后蓄满三峡水库也无问题 ;堵河一侧修建电站之后 ,除可为均匀调水提供调节库容外 ,尚具有发出峰电的抽水蓄能效益和防洪效益。这些电力可在华中地区吸纳 ,不需要远距离输送到华东、广东。按不同的方式估算 ,补水成本介于 0 1～ 0 3 5元 m3之间。文章修改了原来提出的方案 ,认为可根据调水需要 ,对补水工程予以分期实施。补水工程与现在的中线工程不相重叠 ,对现行方案无影响 ,但作为中线调水水源问题的必要补充 ,现在应予以研究。

基于可行使用方案的舰船热力系统RMS仿真论证研究

舰船热力系统因使用、故障、维修和保障的复杂性,通过建立数学模型的解析方法不能满足其RMS论证的需要,而基于最小设备清单的MonteCarlo仿真法也因组成设备存在性能退化而不适合作为系统的故障判据。文章利用基于热力模型确定的可行使用方案替代基于逻辑关系确定的最小设备清单,按照系统在部分设备故障后是否还具有可行使用方案来判别系统是否故障,设计了基于可行使用方案的舰船热力系统RMS仿真流程,在仿真流程改进的基础上编制了舰船热力系统RMS论证软件。算例验证表明,改进的流程能够在保证仿真精度的同时,具有较高的计算效率。

非形式逻辑或论证逻辑:论证型式

作为非形式逻辑和论辩理论核心主题的论证型式,也日益成为论辩的人工智能方法关注的焦点。论证型式表征日常论证的常见合情论证模式,它是一种语用结构,往往表达为可废止的肯定前件式。在一些人工智能学者看来,这些论证型式是和演绎论证形式并肩而立的推论规则。论证型式的规范力源于避免语用不一致的理性要求。这种规范力不仅和某种型式的结构有关,而且更由适宜使用该型式的环境加以保证。这些环境条件用匹配的批判性问题加以刻画。批判性问题一方面向论证者警示了某种论证型式可能会遭到弃用的可能的环境条件,另一方面也向挑战者暗示了攻击该型式的切入点。满足批判性问题要求的论证型式将生成有利于结论的一个假设。在对话中,恰当地使用论证型式的一个团体,将把证明责任转移到另一团体。然而,如果论证型式的适宜使用的环境条件不能被保证的话,论证型式就蜕变为谬误。大多数所谓的非形式谬误正是论证型式的不恰当使用的后果。

简论以论证型式为中枢的法律逻辑

新兴学科以及传统学科的新发展,促成了逻辑的新转向或新逻辑观。按照新逻辑观,人们的目标任务及其相应的环境条件,决定了不仅论证是多样化的,评估标准也是多元的。这个基本观点是关注和探究第三推理方式——论证型式的自然结果。它不仅消解了逻辑和经验的对立,也为法律逻辑的两难提供了解决之道。以论证型式为中枢的新逻辑——“型式逻辑”,为法律逻辑提供了合适框架。法律适用、法律事实证明和法律解释的论证型式,构成以论证型式为中枢的法律逻辑的三个主要方面。

民事判决书论证参数构想——彭宇案一审判决书的重新审视

随着说理成为民事判决书的基本职能,民事判决书的论证质量备受关注。然而,以往"一事一议"的个案式评价方法不利于人们形成对特定判决书论证质量的客观认识。不论是实务界还是理论界,都期待超越既有的评价模式,转而用一些较为客观的标准来统一衡量判决书的论证质量。通过预设基本的论证结构,能够反映民事判决书论证质量的论证参数将根据此结构被析分出,并用于衡量民事判决书的论证质量。

高考改革:观点之争还是利益之争?——基于X省新高考方案调查的实证研究

利益影响着人的观点。高中师生对开放性问题"您对我省新课程高考方案另有哪些意见或建议?"的回答显示,教师与学生在有关新高考方案的改革幅度、统一高考的命题权与试题难度、统一高考科目的设置和权重等问题上的观点分歧与自身的利益密切相关。透过观点的争论去关注并解决不同群体的利益诉求对新高考方案的科学制订和顺利实施具有重要的意义。

戴维森与先验论证问题

戴维森是后分析哲学时代最为重要的哲学家之一,他应用了一种语言学版本的先验论证。一般而言,先验论证力图阐明一般性的经验条件和经验命题或事件之间的先天关系,它往往以图式/内容二元论为基础。戴维森的先验论证则建立在一个完全不同的基础之上,它诉诸于其解释理论,以消除这种二元论为己任,力图在一致性论题(主观性)与真(客观性)、一致与符合之间建立先天连结。戴维森的先验论证同样也可以是一种驳斥怀疑论的方法,例如其著名的全知解释者论证。

汉语成语中的批判性思维元素

汉语成语是中华民族语言文化的精华和智慧的结晶,蕴含普遍人类智慧——批判性思维。分析具体汉语成语条目,挖掘其中蕴含的批判性思维技能和批判性思维气质,探讨成语蕴含的论证特点和论证型式,以弘扬中华民族的文化自信,在跨文化交际中实现东西方文化的对接和融合。

英语论证的对话模式研究

论证是双方或多方围绕有争议的话题进行辩论,最终达到消除分歧之目的。论证既是个体认知推理的思维活动,也是不同持论者之间的对话行为。首先分析当前主导英语论证的图尔敏模式的局限性,然后提出对话论证模式,作为图尔敏模式的补充,重点阐释了对话论证模式的含义、图式、原则以及应用,希望有助于英语论证从单一模式转向多元模式。

少数民族民俗习惯的法律适用及其司法技术

关于少数民族民俗习惯的司法适用,既有研究大多停留在论证基本概念、价值、可能性与限度等基础理论问题上,对司法技术的开发研究较少。在法律推理的理论进路中,少数民族民俗习惯可被认为是一类特殊的法律论述形式,作用在于连接法律推理的链条。诉诸少数民族民俗习惯的推理(论证)由两部分组成:一部分是基本形式,另一部分是一组批判性问题。对诉诸少数民族民俗习惯推理的司法技术的开发,增强了司法实践的可操作性。

不融贯的概念构架观念?——戴维森的先验论证及其缺陷

在《论概念构架这一观念》一文里,戴维森试图论证"概念构架"观念的不融贯,基于概念构架观念的概念相对主义不可理喻。通过对戴维森论证的逻辑结构进行细密分析,文章将论述,戴维森构造的论证是个先验论证,该论证尚存在争议的预设以及论证过程中两处不足使得论证本身还有缺陷,因此,经验主义的"第三教条"值得重新审视。