论法治实施的技术手段——法律推理

根据法律推理定义的演变和发展,给出了符合当今法治社会特点的法律推理定义,阐述了还原推理、衡平推理、类比推理和辩证推理,探讨了法律推理的客观性评价标准,总结了法律推理应遵循的哲学原则和在司法实践中应遵循的原则。在多元化价值取向的当今社会,通过法律推理,可以达到法律生活各种层面的法治目标。

类比法律推理:横向相似判断

类比推理在法律领域得到广泛应用,形成了类推适用、准用性法条之类推、案例类比推理等推理技术。但类比推理的不同法律应用兼具类比推理的基础结构与特定领域的特征,不应将类比推理同类比推理的不同法律应用等置。不当等置忽视类比推理法律应用的特殊性并可能导致跨领域误用类比推理。在法律领域准确应用类比推理,需要首先明确类比推理的基础结构,区分认知心理学与逻辑学两个视角下的类比推理,两种视角分别对应法的(类比)发现与法的(类比)证立。类比推理的法律应用聚焦于法的证立视角,以相似性判断的横向推理为中心(基础结构),构造不同类比推理技术。其中,准用性法条之类推强调立法拟制相似之后的司法相似程度判断;类推适用强调立法授权司法进行相似与相似程度判断;案例类比推理同样强调相似与相似程度判断,但还强调进行相关性判断。

论回溯推理

论回溯推理周安平一回溯推理的概念回溯推理尽管在理论界得到了确认，并已得到广泛研究，但是，由于人们在很长时间里对回溯推理的认识停留在迷惑和怀疑的阶段，因此，即使是对于回溯推理的概念，学术界也还缺乏统一的认识。回溯推理研究的历史表明，各国学者在回溯推理的...

小学生数学推理意识的内涵、价值与培养策略

《义务教育数学课程标准(2022年版)》提出了数学课程要培养的小学生核心素养的11个主要表现,推理意识是其中之一,它是学生学习数学的重要工具。在数学教学中,教师要注意落实教学内容可视化、教学对象序列化、教学要素结构化,引导学生进行直观推理、形成有序推理、建立模型推理,从而更好地促进他们推理意识的发展。

推理意识的培养要做到“三全”

发展推理意识是培养推理能力的经验基础,是小学阶段提升数学思维的重要目标。小学数学教学中,学生推理意识的培养要做到“三全”“全领域”覆盖,即利用好教材中各领域适合培养学生推理意识的教学内容;“全过程”经历,即引导学生充分体验推理的过程,帮助学生对推理过程及其意义形成初步的感悟;“全方位”理解,即让学生逐步养成讲理、明理的思维习惯,学会有理有据地表达交流。

知识图谱推理研究综述

近年来,随着互联网技术以及引用模式的快速发展,计算机世界的数据规模呈指数型增长,这些数据中蕴含着大量有价值的信息,如何从中筛选出知识并将这些知识进行有效组织和表达引起了广泛关注。知识图谱由此而生,面向知识图谱的知识推理就是知识图谱研究的热点之一,已经在语义搜索、智能问答等领域取得了重大成就。然而,由于样本数据存在各种缺陷,例如样本数据缺少头尾实体、查询路径过长、样本数据错误等,因此面对上述特点的零样本、单样本、少样本和多样本知识图谱推理更受瞩目。文中将从知识图谱的基本概念和基础知识出发,介绍近年来知识图谱推理方法的最新研究进展。具体而言,根据样本数据量大小的不同,将知识图谱推理方法分为多样本推理、少样本推理和零与单样本推理。模型使用超过5个实例数进行推理的为多样本推理,模型使用2~5实例数进行推理的为少样本推理,模型使用零个或者一个实例数进行推理的为零与单样本推理。根据方法的不同,将多样本知识图谱推理细分为基于规则的推理、基于分布式的推理、基于神经网络的推理以及基于其他的推理,将少样本知识图谱推理细分为基于元学习的推理与基于相邻实体信息的推理,具体分析总结这些方法。此外,进一步讲述了知识图谱推理的典型应用,并探讨了知识图谱推理现存的问题、未来的研究方向和前景。

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

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

概率图模型推理方法的研究进展

近年来概率图模型已成为不确定性推理的研究热点,在人工智能、机器学习与计算机视觉等领域有广阔的应用前景。根据网络结构与查询问题类型的不同,系统地综述了概率图模型的推理算法。首先讨论了贝叶斯网络与马尔可夫网络中解决概率查询问题的精确推理算法与近似推理算法,其中主要介绍精确推理中的VE算法、递归约束算法和团树算法,以及近似推理中的变分近似推理和抽样近似推理算法,并给出了解决MAP查询问题的常用推理算法;然后分别针对混合网络的连续与混合情况阐述其推理算法,并分析了暂态网络的精确推理、近似推理以及混合情况下的推理;最后指出了概率图模型推理方法未来的研究方向。

形式背景上近似推理生成决策蕴涵研究

基于形式背景获取决策蕴涵、概念规则等知识是数据分析、机器学习的重要研究内容之一.首先,利用属性逻辑语义对决策蕴涵的特性进行刻画.其次,在经典二值逻辑框架下分析决策蕴涵、概念规则的基于全蕴涵三I推理思想及分离规则(Modus ponens,MP)和逆分离规则(Modus tonens,MT)的近似推理模式的特征,证明决策蕴涵的MP、MT近似推理结论是决策蕴涵,概念规则的MP、MT近似推理结论是概念规则等结论.引进属性逻辑公式的伪距离,在属性逻辑伪距离空间中分析推理对象范围参数变化对决策蕴涵MP、MT近似推理结论的影响.最后,提出若干通过MP、MT近似推理生成决策蕴涵、概念规则及拟决策蕴涵的模式和方法,数值实验验证了所提方法的有效性.

基于Bookmark标准设定方法的数学演绎推理能力表现研究

为了深入分析八年级学生的数学演绎推理能力表现情况,了解不同性别、不同学校地域学生的表现差异.通过Bookmark方法开展标准设定,基于IRT技术获得学生数学演绎推理能力表现的水平比例.结果显示,有30%的学生达到最高水平,有超过17%的学生处在低水平,尚未达到课程标准要求.总体表现中女生成绩略好于男生,但在水平分布上呈现明显差异性,女生较男生更稳定.城市和县镇学生的能力表现明显好于农村地区学生,3类地域的学生水平分布也呈现明显不同,农村地区高水平人数比例最低,且不合格水平人数比例高于高水平学生比例.结果表明需要关注数学演绎推理能力在性别、地域上的表现差异,教育测量评价研究中开展标准设定工作对测评结果分析有重要作用.

回溯推理——一种独立的推理类型

回溯逻辑方法的提出,最早可上溯至古希腊亚里士多德.遗憾的是,亚氏并未对之进行深入探讨.尔后的英译者将回溯法译为“reduction”,而C.S.皮尔斯则译作“reduction”或“retro-duction”.他继承亚氏关于回溯不同于归纳、演绎的思想,对回溯推理的理论研究做了重要的奠基工作.N.R.汉森H.西蒙则在此基础上进一步对该推理进行了论证和阐发,但很不充分.1987年在莫斯科召开的第八届逻辑学、方法论和科学哲学大会上,回溯推理被列为世界性的攻关项目.但迄今为止,逻辑界对这种推理仍然缺乏认识,还有人将其视作归纳或演绎的附属物,否定该推理作为一种独立类型而存在的合理性.为了推动这一课题的深入研究,本文试图就这一问题进行探讨.

层叠推理机的设计与实现

在充分理解现有本体推理机的相关技术基础上,提出一种层叠推理机,研究层叠推理机的设计和实现方法。在实验中运用了Pellet推理机和Jena的自定义规则,实现了本体的语义推理。实验结果表明,该方法能够弥补传统推理机中采用单一的语义推理技术所引起的不足,比单一的推理机更有效地挖掘出本体中包含的隐藏信息。

论法律推理

法律推理是法学家和法律工作者在各自的工作中经常运用的一种思维方式,是施行法律,特别是司法机关适用法律过程中的一个重要活动。 对于法律推理,我国的法学理论界很少进行研究,认为那是属于法律逻辑学者的“专利”。但由于法律逻辑学是一门新兴的交叉科学,法律逻辑学者的注意力一时还没有集中到此问题上来。只是近几年来,有一些学者借鉴国外(英、美、德及前苏联、东欧等国)关于法律逻辑的研究情况,认识到研究法律推理问题的重要性,提出了法律逻辑的核心问题应是法律推理问题。但认识与研究并不是一回事,学者们对法律推理的研究还是少之又少,这显然与法律推理的地位不相称。本文作者试图在此方面作一些探索,以期引起大家的兴趣。

论法律推理中的必然性推理、或然性推理和辩证推理

本文介绍了法律推理的概念、特点、分类以及与之匹配的逻辑学中的必然性推理、或然性推理和辩证推理的定义、方法、规则、关系 ,并探讨了(1)从辩证思维方法和现代科学思维方法考察必然性推理、或然性推理和辩证推理 ;(2)关于提高法律推理结论可靠性问题的研究 ;(3)逻辑学对法律推理的重要意义(这里的逻辑学包括形式逻辑和辩证逻辑)

我在推理心理学领域中的研究历程

本文将笔者30年来在"人类推理心理学领域"的持续研究成果总结为以下三个方面:(1)探求什么因素会影响人类推理的实验研究;(2)国外推理心理学领域的著名理论与经典实验的介绍和评述研究;(3)"推理题与推理者的推理知识双重结构模型"的提出与发展。

二难推理需要遵守选言推理的规则吗?

无论是从推理机制还是从前提构成看,二难推理实质上都属于充分条件假言推理因而需要遵守充分条件假言推理的规则。所谓二难推理属于选言推理因而需要遵守选言推理规则的说法是不能成立的。

事实不充分环境中的推理机制及其原型开发

事实不充分环境中的推理机制及其推理原型(以下简称推理机)是作者开发的一个基于分类的专家系统中重要的组成部分,该推理机包含了冲突管理以及反向链和正向链推理相结合的推理机构,擅长于在事实不充分环境中的进行有效推理。为支持系统开放,实现系统透明,推理机还能动态记录推理路径,支持系统解释产生推理结论的过程,机器行为的动机,以及达不到精确推理的原因。 一、推理机低失效率的推理机制 1.推理机行为、推理结论和置信度 事实与结论之间存在着的不确定关系,在多数似然推理中被解释为事件因果关系的随机性特征。当对这种关系建立基于概率的描述方法时,实际上就已经默认了事件的复重次数必须足够大这样一个前提。

基于时序图推理的设备剩余使用寿命预测

剩余使用寿命(Remaining useful life,RUL)预测是大型设备故障预测与健康管理(Prognostics and health management,PHM)的重要环节,对于降低设备维修成本和避免灾难性故障具有重要意义.针对RUL预测,首次提出一种基于多变量分析的时序图推理模型(Multivariate similarity temporal knowledge graph,MSTKG),通过捕捉设备各部件的运行状态耦合关系及其变化趋势,挖掘其中蕴含的设备性能退化信息,为寿命预测提供有效依据.首先,设计时序图结构,形式化表达各部件不同工作周期的关联关系.其次,提出联合图卷积神经网络(Convolutional neural network,CNN)和门控循环单元(Gated recurrent unit,GRU)的深度推理网络,建模并学习设备各部件工作状态的时空演化过程,并结合回归分析,得到剩余使用寿命预测结果.最后,与现有预测方法相比,所提方法能够显式建模并利用设备部件耦合关系的变化信息,仿真实验结果验证了该方法的优越性.

小学科学类比推理教学策略

思维型教学理论下的课堂教学,强调动机激发、认知冲突、自主构建、自我监控、应用迁移等原理,其教学的核心是思维。科学课程标准指出,类比属于科学思维范畴,是推理论证中科学推理的一种方法,要求基于事物之间的功能相似性进行类比,善于用类比的方法认识事物的特征。

谈儿童数学教育视角下的“推理能力”培养

推理是数学的基本思维方式，也是学习和生活中经常使用的思维方式。教师在培养学生推理能力的过程中，首先要明确各个学段推理能力的目标，通过不完全归纳推理，让概念学习获得真理解；通过类比推理，让猜想推断得以落实。所以教师要挖掘教学内容中承栽的推理能力的素材，引导学生参与数学活动，发展合情推理能力，给学生提供交流和表达的时空。