本文第一章提出信息中的否定关系应当区分为矛盾否定关系和对立否定关系,发现了一类对立概念的特征:对立概念之间存在中介概念的充分必要条件是对立概念为模糊概念,从概念层面上确立了清晰信息和模糊信息中存在的五种矛盾否定关系与对立否关系(CDC,CFC,ODC,OFC和ROM),讨论了这些关系的形式定义,并且运用中介谓词逻辑MF与其无穷值语义模型Ф研究这些不同的否定关系,得到了处理不相容知识中的五种矛盾关系与对立关系的具体条件,同时讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。第二章以中介数学系统为背景,为处理现实生活中普遍存在的模糊现象提供一种度量逻辑真值程度的新方法,在建立了谓词的标准度概念后,描述了谓词的真值与对应的数值区域之间的关系,给出了一维情形下的个体真值程度函数以及基于真值程度函数的一元谓词的表示法,又在提出了λ?真值程度截集、数与谓词的乘积概念后,给出了关于一元模糊谓词的中介分解定理,从而建立了一元模糊谓词与清晰谓词间的量化关系。第三章将分解定理推广为一般分解定理,同时定义了截段矩阵并讨论了它的一些性质。第四章用另一种方法得到了第十至第十三位的序以及对应树,并在此基础上,研究得到了第十四至第三十三位的序以及对应树的结果。
本文来源: https://www.lw50.cn/article/bfcb961505058f3815cbaed7.html