| 制约逻辑 消解原理 人工智能语言 |
| |
| 引用本文： | 蒋学锋. 制约逻辑 消解原理 人工智能语言[J]. 贵州师范大学学报(自然科学版), 1992, 10(4): 22-29 |
| |
| 作者姓名： | 蒋学锋 |
| |
| 作者单位： | 贵州大学计算机科学系 贵阳 |
| |
| 摘 要： | 本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。
|
| 关 键 词： | 制约逻辑 消解原理 人工智能语言 |
ENTAILMENT LOGLC RESOLUTION METHOD THE LANGUAGE OF AI |
| |
| Jiang Xuefeng. ENTAILMENT LOGLC RESOLUTION METHOD THE LANGUAGE OF AI[J]. Journal of Guizhou Normal University(Natural Sciences), 1992, 10(4): 22-29 |
| |
| Authors: | Jiang Xuefeng |
| |
| Abstract: | In this Paper, LEL is simply introduced, the resolution method based on LEL is presented,then a new AI language Called LELAIL based on this method and its machine implementation is also explored. |
| |
| Keywords: | Entailment Loglc Resolution Method Language of AI |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
