知识中不同否定关系的一种逻辑描述

提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系（CDC，CFC，0DC，OFC，ROM）及其形式定义；发现具有对立否定关系的概念中存在规律：对立否定概念之间存在中介对象（新的模糊概念），当且仅当对立否定概念是模糊概念；并且运用中介谓词逻辑MF与其无穷值模型Ф，研究了矛盾否定概念和对立否定概念在真值域0，1]上的真值描述及其规律，给出了知识中的5种矛盾否定和对立否定关系的处理条件；讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。