制约逻辑、消解原理及其应用(英文)  

LEL、LELRM And Their Appications

作　　者：蒋学锋[1] 

机构地区：[1]贵州大学计算机科学系,贵阳550025

出　　处：《贵州大学学报（自然科学版）》1998年第1期21-26,共6页Journal of Guizhou University:Natural Sciences

摘　　要：本文首先简要介绍了制约逻辑；然后提出制约逻辑的子句类型和消解方法，并对简称为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.

关 键 词：可能性 偶然性 必然性 制约逻辑 消解 

分 类 号：O141.3[理学—数学] TP301[理学—基础数学]