首页 | 本学科首页   官方微博 | 高级检索  
     检索      

命题逻辑系统Ln^*中公式关于有限理论的∑r-真度理论
引用本文:吴洪博.命题逻辑系统Ln^*中公式关于有限理论的∑r-真度理论[J].模糊系统与数学,2008,22(4).
作者姓名:吴洪博
作者单位:陕西师范大学数学与信息科学学院,陕西西安710062
摘    要:将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln^*中引入了公式集相对于有限理论的∑r-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τr(A)+τr(A→B)≤1+τr(B)在模糊命题逻辑系统Ln^*中的公式集F(S)上引入相对于有限理论的 Г-伪距离概念,从而为在模糊命题逻辑系统Ln^*中建立相对于有限理论的近似推理框架奠定了基础。

关 键 词:多值逻辑  逻辑系统Ln^*  有限理论  ∑r-模糊真度  Г-伪距离
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号