共查询到20条相似文献,搜索用时 31 毫秒
1.
引入模糊逻辑系统中理论的下真度与不相容度的新概念,简化理论相容度的定义,给出理论的下真度、发散度、不相容度与相容度之间的关系。 相似文献
2.
讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件。 相似文献
3.
命题模糊逻辑系统Π和G(o)d中理论的相容度与下真度的计算公式(II) 总被引:1,自引:0,他引:1
讨论命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算问题.引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件. 相似文献
4.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式. 相似文献
5.
利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画. 相似文献
6.
解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件. 相似文献
7.
解决了模糊逻辑系统L^*与Luk中理论相容度的计算问题。首先给出了L^*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件。 相似文献
8.
在三值R0命题逻辑系统中证明了随机真度的MP、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论. 相似文献
9.
逻辑方程解的性质 总被引:2,自引:0,他引:2
以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)<α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的. 相似文献
10.
以真度为基础,给出了有限理论的发散度、伪距离和有效度等数值特征的一般真度表示式,并研究了它们之间的关系. 相似文献
11.
介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。 相似文献
12.
13.
14.
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础. 相似文献
15.
16.
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础. 相似文献
17.
黎丽 《纯粹数学与应用数学》2014,(6):573-580
在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间。 相似文献
18.
19.
20.
二值命题逻辑中的三种Γ近似推理模式及其等价性 总被引:6,自引:0,他引:6
在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密.在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离.最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论. 相似文献