| 知识蕴涵逻辑系统 |
| |
| 引用本文： | 杜国平.知识蕴涵逻辑系统[J].中山大学学报论丛,2008,1(2). |
| |
| 作者姓名： | 杜国平 |
| |
| 基金项目： | 国家社会科学基金项目(02CZX008):国家自然科学基金项目
|
| |
| 摘 要： | 使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题.司各脱定理表明,矛盾蕴涵一切,如果一个知识系统包含着相互矛盾的信息,那么任何命题都将成为这个系统的推论.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵逻辑系统D中,(1)蕴涵关系符合直觉:(2)经典逻辑中基本的逻辑规律在该系统中得以保留:(3)不改变经典否定、合取的性质:(4)司各脱法则不成立.本文在给出严格形式语义的基础上,证明了该系统具有可靠性、协调性、完全性和可判定性.知识蕴涵逻辑系统D可以提供一个分析、处理海量知识系统的逻辑工具.利用公理B→(A→(A→B)),可以将知识系统中真知识归为一类,利用公理￢B→(￢A→(A→B)),可以将知识系统中的假知识归为一类,利用公理B→(￢A→(A→B))(其中A和B相关)可以将相互矛盾知识中的相关真知识演绎出来.
|
| 关 键 词： | 司各脱法则 知识蕴涵 系统D 可靠性 协调性 完全性 可判定性 |
A System of Knowledge Implication Logic |
| |
| Guoping Du.A System of Knowledge Implication Logic[J].Supplement to the Journal of Sun Yatsen University,2008,1(2). |
| |
| Authors: | Guoping Du |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
