| 一种用于逆向推理的Prolog元级解释器 |
| |
| 引用本文： | 陶文祥 朱忠慈. 一种用于逆向推理的Prolog元级解释器[J]. 微电子学与计算机, 1993, 10(8): 21-22,26 |
| |
| 作者姓名： | 陶文祥 朱忠慈 |
| |
| 作者单位： | 西北师范大学计算机科学系，西北师范大学计算机科学系，甘肃省经济管理干部学院 兰州 730070，兰州 730070 |
| |
| 摘 要： | 本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。
|
| 关 键 词： | 逆向推理 专家系统 元级解释器 |
A Prolog Meta-Level Interprtcr Used for Backward Inference |
| |
| Tao Wenxiang,Zeng Xiangyan. A Prolog Meta-Level Interprtcr Used for Backward Inference[J]. Microelectronics & Computer, 1993, 10(8): 21-22,26 |
| |
| Authors: | Tao Wenxiang Zeng Xiangyan |
| |
| Abstract: | This paper intcoduces a prolog mcta-level infcrpreter designed and implemented by the authers.The interpreter solves the problem of backward infernce when the knowledge is represented by transformed rul(?) forms. |
| |
| Keywords: | Prolog Backward imference Knowledge representation Expert system Meta-level interpreter |
| 本文献已被 CNKI 维普 等数据库收录！ |
