部分多值逻辑中极大封闭集之最小覆盖的判定

发布时间：2023-01-26 04:29

　　多值逻辑是指一切逻辑值的取值数大于2的逻辑。多值逻辑可以更好地解决用二值逻辑不易解决的问题，因此有着广阔的发展前景。多值逻辑的研究内容有很多，函数系的完备性判定、Sheffer函数的构造与判定是其中的重要组成部分。 函数系的完备性判定问题是多值逻辑理论中基本而重要的问题，同时也是自动机理论，多值逻辑网络中必须解决的问题，此问题的解决依赖于定出多值逻辑函数集中的所有极大封闭集（准完备集）。 多值逻辑完备性理论中的另一重要问题是Sheffer函数的判定问题，此问题可归结为定出所有极大封闭集（准完备集）的最小覆盖。 本文研究的是部分多值逻辑中极大封闭集之最小覆盖的判定问题。我们研究的重点是二元单纯可离函数集。在第一章中，我们系统地阐述了多值逻辑的基本概念，并总结了国内外学者在多值逻辑研究领域已取得的重要成果及当前的研究动态。第二章分别对关系图连通和不连通的二元单纯可离函数集进行讨论，获得了一些有用的结果。第三章对保三元关系函数集的判定作了初步尝试，并得出一类三元完满对称函数集在P_K

【文章页数】：88 页

【学位级别】：硕士

【文章目录】：
引言
第一章 多值逻辑函数结构理论综述
    第一节 多值逻辑函数的基本概念
    第二节 多值逻辑函数的完备性定理
    第三节 多值逻辑中的Sheffer函数
    第四节 多值逻辑的起源、发展及研究新动向
第二章 二元单纯可离函数集中最小覆盖成员的判定
    第一节 关系图连通的S_(Ⅰ，2)中最小覆盖成员判定
    第二节 关系图非连通且至少有两个非孤立点连通子图的S_(Ⅰ，2)中最小覆盖成员判定
    第三节 关系图非连通且只有一个非孤立点连通子图的S_(Ⅰ，2)中最小覆盖成员判定
第三章 三元完满对称函数的判定结果
总结与展望
参考文献
附录
攻读硕士学位期间公开发表的论文
致谢



本文编号：3732171