自动推理技术发展的回顾与展望
Automatic Inference Technical Development Look Back and Look Ahead作者机构：太原高氏劳瑞油墨化学有限公司山西太原030012
出 版 物：《微机发展》 (Microcomputer Development)
年 卷 期：2003年第13卷第A2期
页 面：36-38,42页
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：介绍了国内外自动推理技术研究的历史,给出了自动推理的分类方法,阐述了各种自动推理技术的逻辑基础和基本思想,对各种推理模型的优缺点进行了系统的比较,并探讨了自动推理技术的发展趋势。
维普期刊数据库
同方期刊数据库