共查询到20条相似文献,搜索用时 15 毫秒
1.
论G(O)del蕴涵算子不宜用于建立模糊逻辑系统 总被引:2,自引:0,他引:2
通过演绎定理和命题的真度理论指出基于G(O)del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点.但如果基于G(O)del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的. 相似文献
2.
论Goedel蕴涵算子不宜用于建立模糊逻辑系统 总被引:1,自引:0,他引:1
通过演绎定理和命题的真度理论指出基于Goedel蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Goedel蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的。 相似文献
3.
以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念。并在Go¨del逻辑系统中就形如τ(X→p)=α的模糊逻辑方程展开了讨论。我们得到了如下结论:模糊逻辑方程τ(X→p)=α有m-同型解当且仅当α∈{i/(m+2)!+1/2i=0,1,2…,(m+2)!/2}。 相似文献
4.
首先给出了G(o)del非算子的一个重要性质:一个模糊逻辑系统中的非是G(o)del非的充要条件是如果x*y=0,则xy=0.然后,基于G(o)del非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL.GNMTL(GNBL)是基于一类左连续t-模(连续t-模)(都包含乘积t-模及G(o)del t-模)的模糊逻辑的共同形式化;最后,分别给出了著名逻辑系统G(o)d与Ⅱ分剐作为GNMTL和GNBL 的模式扩张形式,同时给出了G(o)del逻辑系统的几种等价形式. 相似文献
5.
给出了三族模糊蕴涵算子分别称它们为L-λ-0(λ∈[21,1])、L-λ-G(λ∈[0,1])与L-λ-0-λ-G(λ∈[0,1])族模糊蕴涵算子。L-λ-0族算子包括Lukasiewicz(简称RLu)算子与R0算子,L-λ-G族算子包括RLu算子与Go。del(简称RG)算子,L-λ-0-λ-G族算子包括RLu算子、R0算子与RG算子。本文主要讨论L-λ-G(λ∈[0,1])族模糊蕴涵算子的伴随算子及其正则性。 相似文献
6.
7.
G(o)del逻辑系统中的广义重言式理论 总被引:14,自引:0,他引:14
本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划. 相似文献
8.
9.
10.
分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系. 相似文献
11.
12.
修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划 总被引:1,自引:0,他引:1
将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划. 相似文献
13.
14.
完备剩余格中的全蕴涵推理方法 总被引:4,自引:0,他引:4
三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性.本文在完备剩余格中给出了模糊推理.RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统.特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明. 相似文献
15.
本文从直观优化思想出发,提出一种逐点优化模糊推理方法,称之为POFI方法. 首先分别给出了基于POFI方法的Mamdani蕴涵算子、代数积蕴涵算子和Zadeh蕴涵算子的FMP算法与FMT算法中寻求推理后件(或前件)的计算表达式.然后分别获得了基于POFI方法的Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器、Zadeh蕴涵算子模糊控制器及加乘算子模糊控制器的插值表示,由此发现这些模糊控制器具有函数逼近的泛性.其次指出在基于POFI方法的单输入单输出情况下,Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器及加乘算子模糊控制器三者相互等效,并且在基于POFI方法的双输入单输出情况下,Mamdani蕴涵算子模糊控制器与代数积蕴涵算子模糊控制器是等效的. 相似文献
16.
G(o)del逻辑和L*逻辑中公式的真度分布 总被引:1,自引:0,他引:1
研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况. 相似文献
17.
18.
从阿基米德型t-范定义的剩余型蕴涵算子是连续的蕴涵算子出发,研究关于左连续的蕴涵算子Ro和Godel蕴涵算子心'的连续逼近问题,从而进一步为模糊推理寻求理论基础。 相似文献
19.
20.
以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念.并在G(o)del逻辑系统中就形如τ(X→p)=α的模糊逻辑方程展开了讨论.我们得到了如下结论:模糊逻辑方程τ(X→p)=α有m-同型解当且仅当α∈{i/(m+2)!+1/2|i=0,1,2…,(m+2!/2)}. 相似文献