事实、规范与价值——法律推理体系重心定位

法律推理常处于一个由外部推理和内部推理织就的复杂网络中。法律推理作为一种有目的的实践活动,必须以法律事实为逻辑起点、以法律规范为准则、以法律价值为衡平,要求具备客观性、可预见性和一致性。法律事实认定、法律规范识别、法律价值论证是一个系统化的进程,价值原则始终作为主线贯串其中,不仅制约着推理体系的内在结构和逻辑关联,而且事关法律方法的活力与法治技术的发展。法律推理体系重心应定位于对案件事实的认定、对法律规范的选择以及在合法性与合理性张力下对法律价值的追寻。     

论实质法律推理对司法的意义

司法推理是法官在具体的案件中,通过适用法律,认定案件事实,进行综合考虑,从而得出司法判决的过程。其中包括多种推理形式,如形式推理和实质推理等。纯粹的形式法律推理具有很多缺陷,在实践中,司法活动为谋求法律效果、政治效果和社会效果的统一,实质法律推理备受司法者的重视。司法的实践理性、司法的不确定性,决定了实质法律推理的核心地位。     

旋转机械智能化故障诊断混合推理系统设计

为了提高旋转设备故障诊断正确率,将支持向量机SVM和基于案例推理CBR相融合,设计了旋转机械智能化故障诊断混合推理系统。根据两者各自的特点将它们最大限度地结合起来,同时每个推理单元又保持各自的独立性和完整性。讨论了进行SVM和CBR混合推理的关键过程和策略,并以矿井风机为例,建立了矿井风机案例库,对混合推理系统进行了验证。研究结果表明:混合推理系统不仅能提高故障诊断的正确率和系统运行的效率,而且还能增强系统对知识的提取能力。     

并行推理体系结构研究

并行推理是人工智能、信息处理等研究领域的一个重点,受到高度重视.首先概括了并行推理的几种体系结构,并分析了各自的优缺点,然后介绍了一种新型的移动机器人并行推理结构,最后验证了这种结构的正确性、可靠性、高效性.     

由"半费之讼"而被误解的"两难推理"

从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。     

基于摩托车总体设计的一种推理方法

根据建立摩托车总体设计专家系统推理机制的实际需要,引入实例推理与规则推理两种常用的推理机制,在分析了二者各自优缺点后,提出了一种集成的方法,即在摩托车整车总体设计的最初阶段,以实例推理方法进行已有成熟车型的选型而在变型设计阶段以规则推理方法根据相关设计规则进行实例修改,以此解决摩托车总体设计阶段的可重用性设计问题,达到利用企业已有设计资源缩短设计时间,提高设计效率的目的．     

玩忽职守罪罪过形式的逻辑分析

渎职罪主要表现为玩忽职守和滥用职权两种行为形式,玩忽职守罪的罪过形式的认定事实上决定了玩忽职守型渎职罪的罪过形式。玩忽职守罪的罪过形式只能由过失,而不能由故意构成,否则会违反矛盾律、充足理由律及复合命题推理的基本规则。     

基于关系数据库的知识库的设计

文章利用数据库和知识库各自的特点，将数据库技术和专家系统相结合，把知识存贮在关系数据库中。文章从知识的表示出发，给出一种简单的基于关系数据库的知识库的设计。并且说明了怎么样利用SQL语言对知识库进行正向推理，文章最后给出了一个利用这种知识库进行推理的例子，并实现了编程。     

智能化系统的有机组合推理及优化

智能化系统中推理是其中的重要组成部分，推理算法决定了系统智能化水平的高低。针对智能化系统的推理，利用专家系统推理、模糊逻辑推理、神经网络推理的互补性，提出了由专家系统、模糊逻辑、神经网络有机结合构成的组合推理及优化的技术，充分发挥各个推理的优势和克服单一推理的不足。采用公用专家知识库供各个推理的有机组合和并行运行，利用优化算法优化各个推理结果，可实现知识的共享、推理算法的有机融合及组合推理的优化，同时解决组合推理的推理冲突并提高组合推理的效率。分析及应用结果表明，有机的组合推理与优化能有效地应用于工程实际，有利于提高智能化系统的推理水平。     

层连分级式并行推理架构

在分析现有并行推理架构的基础上,设计了一种改进的层连分级式并行推理架构（CPIFH）。该并行推理架构分为多个级别,按层次互相连接。通过减少并行推理架构中主机的工作量,进一步提高了并行推理的效率。从最后的比较结果可以看出,层连分级式并行推理架构能更好的提高并行推理的速度,增加并行推理运行的效率。对于并行推理而言,这种分级式的架构具有一定的应用潜力。     

论刑法推定

刑法推定是一种逻辑思维方法,属法律推定范畴,在刑事立法与司法领域有着重要的运用价值.对刑法推定的理论研究,重心在于方法,但由此揭示出刑法制度所蕴藏的丰富的思想内容,必将展示出刑法推定所独有的魅力,并坚信推定方法在法学领域必定具有更加广泛的应用前景.     

FMS故障诊断专家系统推理算法的研究和实现

采用反向符号推理和正向数字推理相结合的方法 ;研究适合于故障诊断专家系统的模糊推理算法 ,同时应用神经网络算法 ,解决多种有效的推理问题。提出了一种故障诊断模糊综合推理算法 ,开发了FMS故障诊断专家系统。理论分析及应用表明 :该算法在故障诊断领域具有通用性和高效性特点。     

基于推理控制的数据库隐私保护

文章综述了基于推理控制的数据库隐私保护技术,分析了常见的数据库推理通道,归纳了推理控制的常用方法,举例说明了推理控制在隐私保护中的应用,展望了数据库推理控制与隐私保护技术研究的发展方向.研究认为,推理控制是实现数据库隐私保护的有效手段,权衡安全性和可用性两方面的合理需求是构建隐私保护数据库的技术关键.     

一种新的特征展开模糊推理方法

在Zadeh提出的模糊推理合成规则及陈永义等提出的模糊集特征展开近似推理方法的基础上,给出了新的模糊推理合成方法,定义了模糊集的一种新的特征展式,分别给出了计算一般模糊推理和双重蕴涵命题模糊推理的新方法,并把它们推广到一般情形,即一个模糊推理系统是由一组多重蕴涵命题组成的情形,得到一种新的模糊集特征展开推理方法.这种方法使得模糊推理合成计算简单,给Fuzzy控制器的设计带来方便.     

不确定性推理

专家系统主要由知识库和推理机组成由于知识带有模糊性、随机性、不确定因素．所以由不精确的知识进行推导，得到所需要的结论成为专家系统中的一个重要研究内容．本文探讨高级知识推理方法的一种即不确定性推理．     

基于往返时延的网络拓扑推断

为了减少拓扑推断中采用单向性能参数需要多个节点合作的限制,提出了一种基于往返时延的拓扑推断算法,设计了网络拓扑推断中的往返时延测量方法,基于往返时延的拓扑推断不需要时钟同步及目标节点的配合.从理论分析了基于往返时延推断网络拓扑结构的可行性和正确性,并通过NS2进行了仿真实验.仿真结果表明,基于往返时延的推断算法能够较准确地推断网络的拓扑结构,与基于单向性能参数的拓扑推断算法相比,基于往返时延的拓扑推断算法受到的限制较少.     

催化剂分子设计专家系统推理机的设计

承接前文关于催化剂分子设计专家系统的数据库与知识库的建造．详细沦述了本系统推理机的设计与实现．针对特定催化领域的知识体系，初步建立起相应的推理机制，主要包括对合适的知识推理技术的采用和推理的搜索、控制策略的选择确定．     

故障诊断专家系统中的模糊推理算法

研究故障诊断专家系统的模糊推理算法。方法将正常推理和臆测推理中多种情况分开处理,处理采用反向符号推理和正向数字推理相结合的方法,并利用模糊理论设计证据输入接口。结果提出一种故障诊断模糊综合推理算法,开发了ＦＭＳ故障诊断专家系统。