节点文献
Luk命题演算系统的析取范式逻辑不等式组的解法
SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM
【摘要】 在模糊逻辑不断走向成熟的过程中,众多学者对Lukasiewicz命题演算系统进行了大量研究并取得一些有价值的成果.对Lukasiewicz模糊逻辑析取范式不等式组的解法进行了初步探究.首先,引入了Lukasiewicz模糊逻辑析取范式不等式组的概念.然后,列举了所有的一维及二维模糊逻辑析取范式不等式组.最后,给出了它们的解的一般形式.
【Abstract】 With the development of the fuzzy logic,many scholars study Lukasiewicz propositional calculus system and obtain some valuable results.This paper deals with the solution method of Lukasiewicz fuzzy logic disjunctive normal form inequality.Firstly,the concept of disjunctive normal form inequality on Lukasiewicz propositional calculus system is introduced.Then,one-dimensional and two-dimensional fuzzy logic disjunctive normal inequality systems are listed.Finally,general forms of their solutions are given.
【关键词】 Lukasiewicz命题演算系统;
析取范式;
逻辑不等式组;
【Key words】 Lukasiewicz propositional calculus system; disjunctive normal form; logical inequality.;
【Key words】 Lukasiewicz propositional calculus system; disjunctive normal form; logical inequality.;
【基金】 国家自然科学基金(61273044)资助课题
- 【文献出处】 系统科学与数学 ,Journal of Systems Science and Mathematical Sciences , 编辑部邮箱 ,2014年02期
- 【分类号】O141
- 【被引频次】1
- 【下载频次】56