原创力文档- 5
- 0
- 约1.13万字
- 约 3页
- 2017-09-03 发布于北京
- 举报
voL24
第24卷第9期 计算机应用与软件 No．9
2007年9月 andSo‰哪
ComputerApplications Sep．2007
基于用户自添加规则的自动推理程序
郭四稳
(广州大学计算机教育软件研究所广东广州5l0006)
摘要 基于前推搜索算法的自动推理软件近年来相继出现，该类软件利用几何定理可读证明的特性，和用户进行交互解题。但
这类软件都是将推理的规则作为内置函数处理，用户只能选择软件提供的规则进行推理。设计了用户可添加规则的算法，即用户可
以将自己的知识作为规则添加到软件中来进行推理。该算法已被编制成程序。
关键词 谓词语句规则前推法几何信息特征串
THESoFTWARE
文档评论（0）