说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 直觉模糊命题
1)  Intuitionistic fuzzy propositions
直觉模糊命题
2)  intuitionistic fuzzy propositional logic
直觉模糊命题逻辑
1.
The definition of α-truth degree of intuitionistic fuzzy propositional logic formula is proposed in this paper and consequently its properties are systematically studied.
定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则,最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果。
2.
In this paper, an Intuitionistic Fuzzy Propositional Logic System is built by defining a implication, and the classification of generalized quasi-tautology in this system is discussed.
通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I_0~2,(?),∨,→_T),讨论了系统I_0~2上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上。
3)  fuzzy proposition
模糊命题
4)  intuitive fuzzy set
直觉模糊
1.
According to the main features of city disaster emergency management,the knowledge about intuitive fuzzy set is used to make a evaluation about management capacity of a city.
针对城市灾害应急管理的主要特点,运用直觉模糊集的有关知识,对城市灾害应急管理综合能力进行了评估。
5)  sub-fuzzy formulas
亚模糊命题
1.
The concept of sub-fuzzy formulas was introduced.
引入了亚模糊命题的概念。
6)  intuitionistic fuzzy sets
直觉模糊集
1.
A new operation decision-making algorithm based on intuitionistic fuzzy sets;
一种新的基于直觉模糊集的作战决策算法
2.
Multiple attribute decision making method based on intuitionistic fuzzy sets;
基于直觉模糊集的多属性模糊决策方法
3.
The Relations between Both-branch Fuzzy Sets and Intuitionistic Fuzzy Sets (I);
双枝模糊集与直觉模糊集的关系(I)
补充资料:直觉主义命题演算


直觉主义命题演算
intuitionistic proposidonal calculus

  直觉主义命题演算【枷面位扣妇比p柳俪柱翻目。日回谓;HHI了加”HOHHc代Koe Hc,“c月eHlfe服cKa3u.aHH益』 一个描述从直觉主义(int山tion巧〔n)观点来看有效的命题推演法则的逻辑演算(10乡cai calc山aS).一个被广泛接受的直觉主义命题演算的陈述是由A .Heyting在1930年给出的.它和经典命题演算的基本不同之处在于用较弱的矛盾原理(con匕记iction prmc币le) A。(二A OB)取代排中律(hw of the excl团司m记die)(或双否定律(Iaw of double ne即tion)). 直觉主义命题演算的一个一般变异形式可陈述如下.设A,B,C是所考虑的语言中的任意公式.演算的公理是下列公式: 1 .A。(B OA); 2.(A OB)。((A。(B OC))。(A“C));3 .A。(B“A八B); 4 .A八B习A; 5 .A八B OB; 6 .A 0 A VB; 7 .B二A VB; 8.(A OC)。((B OC)。(AVBOC)); 9.(A OB)。((A。,B)。二A); 10 .A。(二A)〕B). 直觉主义命题演算的仅有的推理法则是假言推理法则(浏e of medus po~):若A和A。万可被推演出,则B可被推演出. 由直觉主义观点来看,这个演算的每个可被推演出公式都是有效的;上述演算的完全性问题是更精细的.直觉主义命题演算关于代数语义,心pke模型和玫山模型是完全的,但是关于K】eene的递归可实现性(rec此ive real凶bility)解释是不完全的;亦见构造命题演算(constructive propositjonal calculas). 关于参考文献,见直觉主义(izltuilio油m). A.G.D扮助lin撰杨东屏译
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条