作　　者： ;

机构地区： 广州大学计算机科学与教育软件学院计算机教育软件研究所

出　　处： 《计算机应用与软件》 2007年第9期48-50,共3页

摘　　要： 基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题。但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理。设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理。该算法已被编制成程序。 The software based on Forward Reasoning Search appeared one after another recently, this kind of educational software use the advantages of giving readable proofs to prove theorems mutually with person, But these software took rules as inside functions, as a user,he or she can only choice some rules given by softwares to reason. This paper gives a thought that users can add new rules for reasoning. We have written software based on user adding rules.

关 键 词： 谓词 语句 规则 前推法 几何信息 特征串

领　　域： [自动化与计算机技术] [自动化与计算机技术]