双向推理系统在初等几何自动解题中的实现

• 作者: 徐茜
• 来源期刊: 计算机应用研究
• 关键词: 自动推理 自动解题 双向推理 初等几何
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 开发与应用
• 页码范围: 232-234
• 页数: 3页
• 分类号: G434
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2004.11.080

摘要

目前采用较多的初等几何自动推理方法是单向推理法(包括前向推理和后向推理),探讨将前推法与后推法结合起来进行初等几何的推理.实践证明,对较为复杂的几何问题来说,采用这种方法可以显著提高推理效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐茜	中国计量学院管理学院	14	184	5.0	13.0