|
|||||
|
|
| 制约逻辑, 消解原理及其应用 | |
| 引用本文： | 蒋学锋.制约逻辑, 消解原理及其应用[J].贵州大学学报(自然科学版),1998,15(1):21-26. |
| 作者姓名： | 蒋学锋 |
| 作者单位： | 贵州大学计算机科学系!贵阳，550025 |
| 摘 要： | 本文首先简要介绍了制约逻辑，然后提出制约逻辑的子句类型和消解方法，并对简称为ＬＥＬＡＩＬ的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。 |
| 关 键 词： | 可能性 偶然性 必然性 制约逻辑 消解 |
| 本文献已被 CNKI 维普 等数据库收录！ | |