###
DOI:
Journal of Software:1993.4(4):15-19

非单调性和不一致性的处理——一个基于线性逻辑的方法
黄林鹏,孙永强
(上海交通大学计算机系 上海 20030)
A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION
Huang Linpeng,Sun Yongqiang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2851   Download 2765
Received:January 11, 1991    Revised:March 15, 1991
> 中文摘要: 本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
中文关键词:
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.
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金 国家自然科学基金
Foundation items:
Reference text:

黄林鹏,孙永强.非单调性和不一致性的处理——一个基于线性逻辑的方法.软件学报,1993,4(4):15-19

Huang Linpeng,Sun Yongqiang.A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION.Journal of Software,1993,4(4):15-19