| 摘要: |
| 本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金 |
|
| A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION |
|
Huang Linpeng,Sun Yongqiang
|
| Abstract: |
| In this paper, a theory named LI, which based on a fragment of linear logic, is put forward. In LI, effective results can be achieved when faced with inconsistent or non-monotonic information. |
| Key words: |
