对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

从大规模的数据库中提取多层次的关联规则

主要探讨了从大规模的数据库中提取多层次的关联规则的方法，并结合一个实例介绍了提取层次关联规则的一种算法。     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

利用参考文献的几种心态和行为探析

利用参考文献是进行学术研究和写作学术论文的重要环节。由于人们对利用参考文献的认识及重视程度不同 ,利用参考文献的心态和行为就表现了明显的差异 ,准确地界定和区分“合理使用”、“抄袭”、“剽窃”等行为 ,有助于参考文献的合理利用和规范著录 ,有利于学术交流和学术研究的顺利发展     

基于模糊δ规则的模糊关系方程求解算法的改进

首先给出反例说明Li Xiaozhong等人提出的基于模糊δ规则的神经网络学习算法中的基础引理是有缺陷的,然后直接对算法进行了改进,并证明了改进后算法的有效性.最后用数字例子对改进后的算法进行了验证,结果表明十分有效.     

智能工作站英充规则知识库设计

本文介绍了中日国际合作开发研究的Ａｌ型智能网络智能工作站中英汉规则知识库的设计模型。该模型采用概念编码的方法构造规则知识库，具有较强的扩充性和实用性，规则知识库支持智能工作站进行自然语言交互和理解。