文献类型：期刊文章

作　　者：潘正华[1]

机构地区：[1]江南大学理学院数理研究所,无锡214122

出　　处：《自然科学进展》

基　　金：国家自然科学基金资助项目(批准号:60575038)

年　　份：2008

卷　　号：18

期　　号：12

起止页码：1491-1499

语　　种：中文

收录情况：BDHX、BDHX2004、JST、核心刊

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

关 键 词：知识的否定  知识中的矛盾否定和对立否定关系  中介谓词逻辑  中介谓词逻辑的无穷值模型  

分 类 号：TP301] TP18[计算机类]