排序方式: 共有53条查询结果,搜索用时 15 毫秒
1.
2.
3.
在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。 相似文献
4.
5.
本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Fuzzy逻辑中,并且证明了布尔算子Fuzzy逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。 相似文献
6.
本提出了一个用以刻划综合与分析的发现过程的机器发现方法,定义了组合-分解算子,组合-分解函数,函数发现和函数维护等概念,给出组合-分解函数发现算法和维护算法。作为应用,本探讨了关于知识发现和知识维护的函数型知识发现过程。 相似文献
7.
基于信度语义的算子模糊逻辑 总被引:5,自引:0,他引:5
本文在算子集与值域不同的算子格上,基于信度语义定义了一种归结推理更自然、具有结合性的算子模糊逻辑BAOFL及一种语义有层次性的,非单调的算子模糊逻辑NMOFL。 相似文献
8.
Dialectic operator fuzzy logic 总被引:1,自引:0,他引:1
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. 相似文献
9.
形式化模糊量词及推理 总被引:1,自引:0,他引:1
带有模糊量词的推理在计算机科学特别是人工智能中十分重要。模糊量词具有“统计”的性质,本文将从此角度讨论模糊量词的形式化及带有模糊量词的推理,本文的结果可应用在专家系统等智能系统中。 相似文献
10.
EG-System用Lisp语言编写而成,已在aiM/16微型机上调试并运行,系统处理的问题,依照接近一阶谓词逻辑的方式给出。 EG-system总体上可看成是由控制器、推理器和知识库构成,见图1。 相似文献