10.3969/j.issn.1000-386X.2007.09.018
基于用户自添加规则的自动推理程序
基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.
谓词、语句、规则、前推法、几何信息、特征串
24
TP3(计算技术、计算机技术)
广东省广州市科技局科技计划2004Z1-D0091;2003Z3-D0241
2007-10-29（万方平台首次上网日期，不代表论文的发表时间）
共3页
48-50
