基于用户自添加规则的自动推理程序

• 作者: 郭四稳
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 谓词 语句 规则 前推法 几何信息 特征串
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 基金项目
• 页码范围: 48-50
• 页数: 3页
• 分类号: TP3
• 字数: 3971字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2007.09.018

摘要

基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭四稳	广州大学计算机教育软件研究所	35	136	5.0	10.0