| 知识蕴涵模态逻辑系统 |
| |
| 引用本文： | 杜国平,李娜,王洪光,徐良.知识蕴涵模态逻辑系统[J].徐州师范大学学报(哲学社会科学版),2008,34(5). |
| |
| 作者姓名： | 杜国平 李娜 王洪光 徐良 |
| |
| 作者单位： | 南京大学现代逻辑与逻辑应用研究所,江苏,南京,210093 |
| |
| 基金项目： | 教育部人文社会科学研究基地基金 |
| |
| 摘 要： | 使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现.
|
| 关 键 词： | 逻辑 知识蕴涵 模态 严格蕴涵悖论 |
The System of knowledge Implication Modal Logic |
| |
| DU Guo-ping,LI Na,WANG Hong-guang,XU Liang.The System of knowledge Implication Modal Logic[J].Journal of Xuzhou Normal University(Philosophy and Social Sciences Edition),2008,34(5). |
| |
| Authors: | DU Guo-ping LI Na WANG Hong-guang XU Liang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
