意义的推理路径选择

意义问题既是语言哲学和分析哲学中的核心问题,同时也是最复杂的问题。与传统语义理论如指称论、观念论、使用论等的探究进路不同,布兰顿推理语义学以推理为切入点,其研究彰显了对意义问题的不同理解,在一定程度上实现了意义问题研究的范式转换。     

专家系统工具HEST中的推理模式及控制

HEST是一个具有多种推理模式和程序设计风格的专家系统环境.它的推理机制灵活而实用,控制方便.本文介绍了它的多种推理模式及控制方式,提供不同的方法供使用者选用.     

“化工原理”的形成与发展

用科学发现的规范化模式“科学问题→科学假设→检验蕴涵→理论调整→科学发展”分析“化工原理”课程的形成与发展过程。论述上述模式的普遍性和掌握科学哲学的基本原理进行科学理论研究的重要性。同时也证明了“化工原理”这门课程是工业发展和科学理论研究的结晶,并将进一步向广度和深度发展。     

法律逻辑应注重对实质推理的研究——由一个案例引起的思考

实质推理是一种通过对若干存在矛盾冲突的推理前提内容法律价值的分析判定,从而确定该前提内容是否具有优先法律适用效力的推理和证明活动。实质推理最显著的特点是引入了辨证思维的方式,以法律价值判断作为分析判定的前提和基础,注重从推理的内容和形式的统一的角度来研究法律推理,注重用辨证思维的方式来正确处理法律适用中的矛盾冲突。对法律推理的研究,应从法律实践的实际需要出发,打破形式与内容的“楚河汉界”,从形式与内容的有机统一来加强和充实对法律推理的研究,走出“形式逻辑＋法律事例”的简单模式,使法律逻辑的理论研究更好的为法律实践服务。     

一般化假言推理的一种新方法

一般化假言推理是模糊逻辑中一个重要的推理规则。至今仍没有一个十分有效的一般化假言推理方法。本文在文「１」工作的基础上，通过“加权”的方式提出了一种新的ＧＭＰ方法，其目的是为了建立一种内部机制更为合理的推理模式。     

法律推理研究的新维度——法律推理研究之语用转向探析

在哲学的语用学转向和非形式逻辑对话与论辩理论等理论的影响下,法律推理研究历经了一个由语形和语义研究到语用研究的转向。在具有强烈对话或论辩色彩的法律实践特别是司法实践中,法律推理研究的这种语用转向,为司法实践中之法律推理提供了新的分析评价视角,也为理性司法提供了更为恰当的逻辑理性根基。     

加强法律推理在审判实践中的运用

法律推理作为逻辑学界和法学界共同关注的问题,正在受到越来越多学者的重视。在司法实践中法律推理的作用日益突出,审判中法官正确恰当地运用法律推理无疑能够增强司法判决的一致性和正当性。对法律推理的深入研究,特别是与审判实践紧密结合能够使法官加强法律推理能力及运用逻辑思维进行理性、科学的司法裁判。熟练地掌握和运用法律推理,会对法官裁判案件大有帮助。但目前,我国的法律推理研究还不够深入,在司法实践中尤其是与法官裁判活动的结合不够紧密,未取得令人乐观的实质性进展,加强法律推理在审判实践中的运用不仅是必要的而且是必需的。     

基于主动式知识库的专家系统建模和推理研究

本文将面积地象的技术引入专家系统中,将知识库中的规则和事实都用对象来表示,每个对象仍其能获得的信息进行局部推理,并向其它对象发送推是结果,从而将推理分布于知识库的各个对象中,以并发和步的方式进行,实现了多种推理模式的自主推理网络,西文还给出了中推理模式的算法描述。     

基于BAM神经网络的推理研究

推理作为人工智能领域中的一个重要课题,是人类求解问题的主要思维方法,人们在处理问题或人工智能领域中进行推理机设计时,往往根据问题及所处环境不同,考虑不同的推理策略以提高其效果或效率,正向推理,反向推理及双向推理为三种基本的推理策略,双向联想记忆（ＢＡＭ）神经网络是一类具有双向稳定性的反馈系统,具有简单,可靠,易于实现的特点。将双向联想记忆（ＢＡＭ）神经网络用于推理是人工智能领域中进行推理机设计的新     

二级推理数据库系统的语义

本文设计并实现了一个二级推理数据库系统.二级推理数据库是传统的数据库系统和PROLOG系统的结合,它可分为二级:数据库级及逻辑程序级.本文给出了二级推理数据库的抽象模型及逻辑语义.重点形式化地描述了语义特性,还讨论了二级推理数据库系统的冗余性、可分辨性及并发性,并得出了一些有意义的结果.     

Study and realization of the computer support system on feasible reasoning and scientific decision-making of projects based on WEB

With the development of information technology, DSS can be used to resolve the complex process of the feasible reasoning and scientific decision-making of projects. This paper offers 7 exploiting principles for the computer support system on feasible reasoning and scientific decision-making of projects, that is, the principles of standardization, procedure, specification, agility, currency, practicability and development. On the basis of analysis on systematic procedure, the computer support system on feasible reasoning and scientific decisionmaking of projects is formed based on WEB, and its general structure, system function and the methods to be realized are introduced. The data composition of this system is analyzed following the principles of integrality,development, perspicuity and consistency. Also, the model-base management system is designed for the management of model storage and management of model operation.     

从河口三角洲的形成类比推理分析水库的泥沙淤积

类比推理是根据2个或2类对象某些属性相同,推出他们的其他属性也可能相同的间接推理,也称类比法,是科学研究中简捷有效的方法之一.由于河口三角洲的形成与水库泥沙淤积有相同的属性,即将大河人海口转移到了水库库尾,由此类比分析二者的利弊,并指出了三峡水库泥沙淤积的趋势及灾害治理对策.     

推理闭包系统的一些性质

证明了对于一个给定的非空集合X,可以在RCL（X）（X上的推理闭包算子的全体）、R IN（X）（X上的推理内部算子的全体）、ROU（X）（X上的推理外部算子的全体）、RB（X）（X上的推理边界算子的全体）上定义适当的序关系,使它们与（RCS（X）,真包含）序同构,其中RCS（X）是给定集合X上的推理闭包系统的全体.     

模糊插值推理概述

模糊推理本质上就是某种插值方法,但在稀疏规则库的条件下,当输入的事实落入规则"空隙"时,采用传统的CRI方法是得不到任何推理结果的,从而诞生了模糊插值推理。由于模糊插值推理是模糊推理重要分支,并且学者们对其研究均处于起步阶段,故对现有的模糊插值推理加以介绍。     

可拓推理

根据可拓学理论,给出了可拓推理模型和可拓推理的有关概念,并讨论了推理算法的实现过程．     

基于CARMEN架构的推理机制的设计与实现

如何对不同领域的大量知识进行合理的组织和推理是目前专家系统领域广泛探讨的问题。基于CARMEN架构对知识模块化组织,提出总控推理机和领域推理机的2级推理机制,详细描述了总控推理机制的控制策略,并使用CLIPS实现了一个具有通用性的领域推理机。     

单源综合推理的研究

为了克服综合推理理论对多源的要求，包括对参加综合的源具有可比结构的要求，以及对所有源具有相同个数可对应部件的要求，提出了单源综合推理的概念和模型.在单源综合推理中，对单个源构建了算子操作和综合操作来得到结果空间，算子操作对源或源的部件进行操作，而综合操作是对源与部件库中的部件进行综合.图案生成示例表明，单源综合推理放松了对综合源的要求，具有更明显的形象性，部件库的引入也很合理，是对综合推理的扩充和发展.     

A computational model of analogical reasoning

A computational model of analogical reasoning is presented, which divides analogical reasoning process into four subprocesses, i.e. reminding, elaboration, matching and transfer. For each subprocess, its role and the principles it follows are given. The model is discussed in detail, including salient feature-based reminding, relevance-directed elaboration, an improved matching model and a transfer model. And the advantages of this model are summarized based on the results of BHARS, which is an analogical reasoning system implemented by this model.     

缺省推理中的模糊知识

知识表示是人工智能中形成常识推理模型的基础,这里强调模糊逻辑在其扩展模型中充当的重要角色,笔者使用两层次模糊意义,给出了基于近似推理框架表达的缺省推理,提出了此框架下解决不一致性的新思路。