|
软件学报 1993
A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION
|
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.