共查询到10条相似文献,搜索用时 15 毫秒
1.
Lukasiewicz p+1值逻辑系统中VDF问题的解决 总被引:1,自引:0,他引:1
为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w>3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题. 相似文献
2.
为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已在二值命题逻辑L和p+1(p为素数)值Lukasiewicz命题逻辑中得到了解决,但是对一般的n+1(n〉3且n不是素数)值Lukasiewicz命题逻辑系统L(n+1),VDF问题相当复杂且尚未解决.本文尝试在一类特殊的n+1值Lukasiewicz命题逻辑系统L(n+1),即L(n+1)的赋值域W(n+1)的所有子代数在包含序下构成一个链中建立VDF问题的求解理论,并完满地解决了这类n+1值Lukasiewicz命题逻辑系统L(n+1)中的VDF问题. 相似文献
3.
4.
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础. 相似文献
5.
6.
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础. 相似文献
7.
Xn(d1, . . . , dr-1, dr; w) and Xn(e1, . . . , er-1, dr; w) are two complex odd-dimensional smooth weighted complete intersections defined in a smooth weighted hypersurface Xn+r-1(dr; w). We prove that they are diffeomorphic if and only if they have the same total degree d, the Pontrjagin classes and the Euler characteristic, under the following assumptions: the weights w = (ω0, . . . , ωn+r) are pairwise relatively prime and odd, νp(d/dr) ≥ 2n+1/ 2(p-1) + 1 for all primes p with p(p-1) ≤ n + 1, where νp(d/dr) satisfies d/dr =Ⅱp prime pνp (d/dr). 相似文献
8.
9.
Let n = p1p2 ··· pk, where pi(1 ≤ i ≤ k) are primes in the descending order and are not all equal. Let Ωk(n) = P(p1 + p2)P(p2 + p3) ··· P(pk-1+ pk)P(pk+ p1), where P(n) is the largest prime factor of n. Define w0(n) = n and wi(n) = w(wi-1(n)) for all integers i ≥ 1. The smallest integer s for which there exists a positive integer t such thatΩs k(n) = Ωs+t k(n) is called the index of periodicity of n. The authors investigate the index of periodicity of n. 相似文献
10.
<正> 设■为一组回归方程,其中e_i,i=1,…,p为iidN(0,1),设计矩阵X_p=(x_1,…,x_p)′为p×p非退化矩阵,β∈R~p为参数,Y_p=(y_1,…,y_p)′为观察值向量.所谓控制问题就是寻找控制点x_(p+1)=x_(p+1)(Y_p),使得对应的输出y_(p+1)=x_(p+1)β+e_(p+1)与指定值y=1靠近,其中e_(P+1)~N(0,1)并且与Y_p独立.观察值Y_p只是起着训练样本的作用.这 相似文献