| 基于用户自添加规则的自动推理程序 |
| |
| 引用本文： | 郭四稳. 基于用户自添加规则的自动推理程序[J]. 计算机应用与软件, 2007, 24(9): 48-50 |
| |
| 作者姓名： | 郭四稳 |
| |
| 作者单位： | 广州大学计算机教育软件研究所,广东,广州,510006 |
| |
| 基金项目： | 广东省广州市科技局科技计划 |
| |
| 摘 要： | 基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.
|
| 关 键 词： | 谓词 语句 规则 前推法 几何信息 特征串 |
| 修稿时间： | 2006-01-04 |
THE SOFTWARE OF AUTOMATED REASONING BASED ON USER ADDING RULES |
| |
| Guo Siwen. THE SOFTWARE OF AUTOMATED REASONING BASED ON USER ADDING RULES[J]. Computer Applications and Software, 2007, 24(9): 48-50 |
| |
| Authors: | Guo Siwen |
| |
| Affiliation: | Institute of Educational Software, Guangzhou University, Guangzhou 510006, Guangdong, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Predication Sentence Rule Forward reasoning method Geometry information Characteristic string |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
