摘要
为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题.
The valuationlly decided formula question （briefly, VDF question） has been proposed and solved in classical 2-valued propositional logic and Lukasiewicz 3-valued propositional logic and p ＋ 1 - valued propositional logic. This paper provides the solution to the VDF problem in more general versions of Lukasiewicz propositional logic systems. The reasonable condition of VDF is studied first. Secondly, constructive solutions of the VDF questions in L, and La are given. Lastly, the VDF problem in Lc of Lukasiewicz system is solved.
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2006年第3期1-8,共8页
Journal of Shaanxi Normal University：Natural Science Edition
基金
国家自然科学基金重点资助项目(10331010)
