| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一个基于知识库及其自动推理机制的ICAI(化学)系统 |
| 作者 | 王晓京 张景中 陈光喜 沈国坤 |
| 作者单位 | (中国科学院成都计算机应用研究所 成都 610041) |
| 发表年份 | 1999 |
| 发表月份 | 9期 （页码：993—998) |
| 文章摘要 | 设计并实现了一种新型的ICAI系统.该系统以自动推理技术为基础,利用化学知识库,不仅实现了ICAI的知识集散功能,还成功地实现了知识揭示功能.不同于常规ICAI的单纯检索-播放作用,该系统还具有化学用语层次上的人-机交互、基于自动推理的化学式与中文名称的双向翻译、化学问题求解等多种智能功能. 该系统还具有开放性,可以让用户在使用中调整系统的性能、补充存储的知识信息.该文比较了新型系统与流行的常规系统的主要异同点,并用实例介绍了新型系统的特殊性能. 关键词 ICAI,自动推理,知识库,知识再现. |