%0 Journal Article
%T A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION
非单调性和不一致性的处理——一个基于线性逻辑的方法
%A Huang Linpeng
%A Sun Yongqiang
%A
黄林鹏
%A 孙永强
%J 软件学报
%D 1993
%I
%X 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.
%K 非单调性
%K 不一致性
%K 线性逻辑
%K 处理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E8AB0DE62BA96CF445F40D338A135DBC&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=E158A972A605785F&sid=23CCDDCD68FFCC2F&eid=2A8D03AD8076A2E3&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=5