摘要
本文首先简要介绍了制约逻辑；然后提出制约逻辑的子句类型和消解方法，并对简称为LELAIL的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。
This paper introduces Lin's Entailment Logic (LEE) briefly.Then the clauscs, the Resolution Method (LELRM) of LEL, and an experimental systern haesed on them called LELAIL are investigated, and an application example on this sytem is also discussed in detail.
出处
《贵州大学学报（自然科学版）》
1998年第1期21-26,共6页
Journal of Guizhou University:Natural Sciences
关键词
可能性
偶然性
必然性
制约逻辑
消解
Possibility, Fortuity, Necessity, First independence, Second independence
