|
|||||
|
|
| Tuili(推理)语言的编译方法与实现技术 | |
| 作者姓名： | 高全泉 |
| 作者单位： | 中国科学院数学研究所 |
| 基金项目： | 中国科学院和国家自然科学基金 |
| 摘 要： | 通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。 |
| 关 键 词： | Tuili语言 编译 逻辑推理语言 |
| 收稿时间： | 1989-10-29 |
| 修稿时间： | 1990-01-25 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |