国家自然科学基金
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
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.
黄林鹏,孙永强.非单调性和不一致性的处理——一个基于线性逻辑的方法.软件学报,1993,4(4):15-19
京公网安备 11040202500063号