修正的Atanassov命题逻辑及其广义重言式

发布时间：2021-06-05 12:00

　　本文将Atanassov直觉主义逻辑中型蕴涵改为 蕴涵，建立修正的Atanassov逻辑系统，给出其中的广义重言式和部分赋值的广义重言式的定义，研究了该系统及其广义重（假）言式的性质。全文分为两大部分，第一部分：引言，介绍逻辑系统研究概况及分析，指出逻辑学与尖端技术人工智能的关系,具体介绍直觉主义逻辑,并简述了本文工作的背景与意义；第二部分论文主体,分三章，第一章：讨论有限Atanassov 直觉模糊逻辑代数，给出判别其子代数的充要条件,并将王国俊教授在逻辑系统中的广义重言式理论推广并应用到Atanassov逻辑中，得出在Atanassov 逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀具有不灵敏性的结论；第二章：将原Atanassov逻辑中型蕴涵改为 蕴涵，建立修正的Atanassov逻辑代数，找出其最大子代数，然后把王国俊教授在一维逻辑系统中的广义重言式理论推广到中，最终得到中广义重（假）言式的分类；第三章：给出部分赋值的广义重言式的定义，采用同构变换和对称表示赋值集的方法，并结合的分类，在中的广义重（假）言式之间建立了一种升（降）级算法。得出结论：在系... 

【文章来源】：辽宁师范大学辽宁省

【文章页数】：26 页

【学位级别】：硕士

【文章目录】：
"><中文摘要>
"><中文关键词>
引言
第一章 有限Atanassov逻辑代数及其广义重言式
    1.1 有限Atanassov逻辑及其子代数
    1.2 有限Atanassov逻辑的广义重言式
第二章 修正的Atanassov逻辑系统及其广义重（假）言式
    2.1 修正的Atanassov逻辑代数Ⅰ_α
    2.2 Ⅰ_A中广义重言式的分类
第三章 修正的Atanassov逻辑中的∑—广义重言式理论与类类互异定理
    3.1 系统Ⅰ_{A_n}与部分赋值
    3.2 Ⅰ_{A_n}的对称表示
    3.3 Ⅰ_{A_{2n}}与Ⅰ_{A_{2n+1}}中的（α,β）-重言式
    3.4 可达（α，β）-重（假）言式
    3.5 类类互异定理与升（降）级算法
    3.6 有限值系统中广义重言式(矛盾式)的表示定理
结束语
致谢
参考文献
"><参考文献>
"><英文摘要>
"><英文关键词>


【参考文献】：
期刊论文
[1]区间值模糊命题逻辑的最大子代数及其广义重言式[J]. 陈图云,张宇卓,廖士中.  模糊系统与数学. 2003(02)
[2]有限Atanassov逻辑代数及其广义重言式[J]. 陈图云,陈文丽.  辽宁师范大学学报(自然科学版). 2001(04)
[3]参数Kleene系统中的广义重言式[J]. 吴望名.  模糊系统与数学. 2000(01)
[4]Lukasiewicz多值逻辑系统中的广义重言式理论[J]. 杨晓斌,张文修.  模糊系统与数学. 2000(01)
[5]关于模糊逻辑的—场争论[J]. 吴望名.  模糊系统与数学. 1995(02)



本文编号：3212126