初等群论的证明系统EG-System

EG-System用Lisp语言编写而成,已在aiM/16微型机上调试并运行,系统处理的问题,依照接近一阶谓词逻辑的方式给出。 EG-system总体上可看成是由控制器、推理器和知识库构成,见图1。     

算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵

在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。     

算子Fuzzy逻辑及其归结推理的改进

在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。     

广义λ—归结

在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.     

基于组合—分解的机器发现方法

本提出了一个用以刻划综合与分析的发现过程的机器发现方法，定义了组合－分解算子，组合－分解函数，函数发现和函数维护等概念，给出组合－分解函数发现算法和维护算法。作为应用，本探讨了关于知识发现和知识维护的函数型知识发现过程。     

布尔算子Fuzzy逻辑中的锁归结原理

本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Ｆｕｚｚｙ逻辑中，并且证明了布尔算子Ｆｕｚｚｙ逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。     

关于strong形RUE－NRF归结的反倒

关于ｓｔｒｏｎｇ形ＲＵＥ－ＮＲＦ归结的反倒欧阳丹彤，刘叙华（吉林大学计算机科学系长春１３００２３）ＡＣＯＵＮＴＥＲＥＸＡＭＰＬＥＯＦＲＵＥ－ＮＲＦＲＥＳＯＬＵＴＩＯＮＩＮＳＴＲＯＮＧＦＯＲＭ￥ＯｕｙａｎｇＤａｎｔｏｎｇａｎｄＬｉｕＸｕｈｕａ（Ｄｅｐａ...     

基于信度语义的算子模糊逻辑

本文在算子集与值域不同的算子格上，基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑ＢＡＯＦＬ及一种语义有层次性的，非单调的算子模糊逻辑ＮＭＯＦＬ。     

Dialectic operator fuzzy logic

Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.