经典否定相关论文
在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定。我首先给定了两个逻辑,一个是信息的基础相干逻辑L_1,另一个是与......
本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征.并对这三种否定进行比较,指出其相同与相......
￢RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。为此,提出一种基于......
