关于三支作法的表述形式──与张忠义先生商榷

新因明的三支作法在表述上有所谓的“直言式”与“假言式”之别。一些研究者在以西方逻辑参证因明的基础上，提出了三支作法原本就是假言式的主张。本文认为，从逻辑的角度来看，“直言式”与“假言式”仅仅是语言表达上的些微差别，而其实质并没有什么不同，“假言式”从根本上说仍是一种“直言式”。

我国法律中的除外判断探析

法律除外判断是法律中常用的一种判断类型。结合我国立法实践对法律除外判断作了精细的逻辑分析，认为法律除外判断有直言式、联言式和假言式三种类型，并具体分析了各类法律除外判断的结构形式、逻辑含义。

一种基于核集与相似性的模糊推理方法

在稀疏规则库条件下,当给定的输入落入规则"间隙"时,采用传统的模糊推理方法是得不到任何结论的。学者已经证明模糊推理本质上就是插值器。Koczy和Hirota首先提出了KH线性插值推理方法,然而推理结果存在着无法保证凸性和正规性等问题。为了能有一个较好的插值推理结果,本文提出了一种基于核集与相似性的模糊插值推理方法,并把此方法扩展到多维变量的情况,该方法不仅推理简单,推理结果较好,并且能很好地保证推理结果的凸性和正规性。这为智能系统中的模糊推理提供了一个非常有用的工具。