不协调信息的推理机制研究

不协调信息系统的推理问题是国际逻辑学研究的前沿问题之一。该著在系统考察国内外各种弗协调逻辑及其相关研究成果的基础上,提出了解决不协调理论推理问题的方案。内容包括:(1)明确揭示出至少存在三种不同的否定,即矛盾关系否定、反对关系否定和下反对关系否定;(2)建立了对当关系逻辑系统;(3)提出了一种更加符合直觉的蕴涵——知识蕴涵,基于这种蕴涵,系统构建了一系列逻辑系统;(4)尝试通过转换的方法解决不协调信息之间的推理问题。