模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

一个采用模糊产生式规则的推理方法

在模糊集理论的基础上,本文提出了一种模糊产生式规则.为了采用这类规则进行推理,文中给出了规则前件与事实是否匹配的模糊匹配函数.最后给出了一个生成匹配事实的最大模糊包含演绎树的算法,并用实例说明采用模糊产生式规则进行不精确推理的方法.     

一种新的信息合成规则及其消去算法

利用DS合成规则及由其导出的消去算法进行信息的融合或消去时,可能会得出不合常理的结果.对此提出了一个新的合成规则及相应的消去算法,理论上证明了这个规则的合成与消去具有可逆性,并通过几个例题进行对比,可以看出新的规则比DS规则更为合理.     

一种多值规则量词公式的Tableau的方法

在多值逻辑中，含有量词的Tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明，但是由于扩展后的分枝非常庞大，使机器实现非常困难，通过对规则量词公式与一阶经典量词公式的对应关系近研究，使二者使用统一的扩展规则。     

一类代数上的逻辑学(Ⅰ)

引入了一种代数，称为模糊公式代数．在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ＭｏｄｕｓＰｏｎｅｎｓ规则和ＨｙｐｏｔｈｅｔｉｃａｌＳｙｌｏｇｉｓｍ规则     

T^＊系统的半对偶形式系统ST^—＊

研究了模糊命题演算的形式演绎系统T^*和修正的Kleene逻辑系统W^-,W,Wk及R0－代数,给出了T^* 系统的半对偶形式系统ST^－＊;与交推理规则相对应,引入并推理规则,证明了T^*系统和ST^-*系统的等价性。为形式演绎系统的研究和应用提供了一个有益的途径。     

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径     

数理逻辑中谓词逻辑推理错误的分析

结合教学工作实践及参阅有关文献,剖析了谓词逻辑推理的规则,指出了使用规则中应该注意的事项以及可能会产生的错误,并对产生错误的原因进行了分析,给出了正确的解法.希望读者能够从中吸取有益的启示,通过正反两方面的学习,加深对这部分知识的理解和掌握.     

RIF2Jess:应用Jess实现RIF规则推理

在分析W3C推荐标准规则交换格式(RIF)的基础上研究对其推理实现,提出使用通用规则推理引擎Jess实现对RIF格式规则的推理,给出了RIF规则到Jess格式的转换算法及正确性证明,设计了RIF2Jess系统,该系统可以完成RIF规则到Jess格式的转换并调用Jess推理引擎推理出结果.实验结果表明,RIF2Jess可以准确完成转换并推理得到正确结果.     

SNORT规则集匹配的优化策略研究

SNORT作为一种受人关注的开源NIDS系统,为入侵检测系统的研究提供了很好的平台.SNORT采用基于规则匹配的入侵检测方法,其规则集大小与匹配算法执行的频度直接影响着系统的性能.分析SNORT系统的工作原理及其规则结构,探讨规则集匹配的优化策略,提出基于双活跃度链表的工作方式,并通过实验证明该方式的有效性.     

古希腊数学演绎证明思想的发展脉络

从希腊数学演绎证明思想的发生发展入手，剖析了其在希腊数学乃至整个数学史上的作用，并对该思想对近代数学发展的影响进行评价。     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

一类积分问题的证明规律与技巧

本文从高阶导数有关的一类积分问题的证明入手展开分析和讨论,归纳出解决这类积分问题的规律,并使其证明模式化,为学生解决这类问题提供了一定的证明模式.     

谓词逻辑推理中证明方法的判定

数理逻辑是《离散数学》的难点之一。主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难。而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握。本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明。结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力。     

一种处理不确定性语言的设计与实现

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL,并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理.     

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径     

一类特殊的双向归纳环

证明了在语言L={+,.,0,1}下,带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环,进而得出一类特殊的双向归纳模型.     

实例推理和规则推理在CAD中的集成研究

基于实例的推理（CBR）和基于规则的推理（RBR）是知识工程中两类实用有效的推理方式，其逻辑学基础是类比推理和演绎推理。在复杂内、病态结构的设计问题求解中，上述两类推理方式都得到了广泛而独立的应用。提出一种将CBR与RBR集成的方法，即根据设计过程中各阶段的特点，灵活使用实例推理和规则推理策略去解决工程设计问题， 可提高设计问题求解的效率和有效性。