共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
基于证据语义的算子模糊逻辑 总被引:6,自引:0,他引:6
70年代知识工程的出现与发展,使得不确定性推理成为人工智能领域的研究热点,从而形成了诸如证据理论、可性度理论、模糊推理理论等研究课题.刘叙华首次研究了算子模糊逻辑(见文献[2]),提出了两种模型,即OFL(算子模糊逻辑)和AOFL(结合算子模糊逻辑).陆汝钤指出了OFL和AOFL在证据语义下的不合理(OFL和AOFL是基于可信度语义的),并提出了基于证据语义的算子模糊逻辑EOFL,MOFL和AOFL,本文将其统称为EOFL.本文将介绍EOFL系统及其在证据语义下的合理性. 相似文献
5.
6.
7.
把Malitz量词Q~(m,n)的基数限制除掉,再向多分划及高维场合拓广,就得到所谓的分划量词族。分划量词有相当强的表达能力,许多有趣的非一阶性质均可借此加以刻划。另一方面,分划逻辑又弱于二阶逻辑,故它有较好的模型论性质,如下降型的Lowenheim-Skolem-Tarski性质。更有意思的是,分划逻辑在有限结构场合也有定义,这在广义量词及扩充逻辑中并不多见。因此,尽管其引入背景是数学的,它同时也为理论计算机科学提供了一个舞台。本文 相似文献
8.
10.
11.
13.
本文把普通集合中的离散Fourier变换(DFT)推广到模糊集合.定义1 设为区间复数,那么称及分別为的宽度及半径. 相似文献
14.
15.
17.
18.
19.
我们知道,形式逻辑、推理的心理学以及新修辞学都不是建立推理科学的完全稳妥的途径,尽管它们各自都已作出有价值的贡献。形式逻辑是严格的和一贯的,不过是形式的,即它不是经验科学;推理心理学就其是经验的而言,是合理的,但它的经验方法有着固有的局限性,需加以补充,也许让位于一种观察的、历史的和内省的方法;新修辞学的可贵之 相似文献