系统RDP中的广义重言式理论  

Theory of Generalized Tautology in the System RDP

作　　者：黄阿敏[1,2] 裴道武[1] 

机构地区：[1]浙江理工大学理学院,浙江杭州310018 [2]杭州聋人学校,浙江杭州310018

出　　处：《模糊系统与数学》2010年第4期6-11,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10871229)

摘　　要：研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可达0-重言式和可达(1/2)-重言式分别提升为可达(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式。这表明对非重言式有限次利用升级算法未必能得到重言式。In this paper,the theory of generalized tautology in the Parametric RDP System is discussed.The obtained results show that in the system RDP,there are three different generalized tautologies,namely,（1/2）-tautologies,（1/2）＋-tautologies and tautologies.In addition,the usefulness of the important upgrade algorithm of this system has been investigated.It is proved that the algorithm is useful to attainable 0-tautologies and attainable（1/2）-tautologies which can be upgraded to attainable（1/2）-tautologies and attainable（1/2）＋-tautologies respectively.But the algorithm is useless for attainable（1/2）＋-tautologies.This shows that generally speaking,tautologies can not be got necessarily from non-tautologies by using upgrade algorithm finite times.

关 键 词：参数RDP系统 广义重言式 重言式 升级算法 

分 类 号：O159[理学—数学]