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