论文部分内容阅读
使用经典逻辑对海量知识系统进行分析处理和信息挖掘，需要解决的关键问题之一就是司各脱法则问题。基于对蕴涵的一般认识，可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵命题逻辑系统中：1．蕴涵关系符合直觉；2．经典逻辑中基本的逻辑规律在该系统中得以保留；3．不改变经典否定、合取的性质；4．司各脱法则不成立。在知识蕴涵命题逻辑的基础上。构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。根据给出的形式语义，证明了该系统的可靠性和完全性，并且