论文部分内容阅读
基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题。但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理。设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理。该算法已被编制成程序。
基于用户自添加规则的自动推理程序
【摘 要】
：
基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题。但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理。设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理。该算法已被编制成程序。
【机 构】
：
广州大学计算机教育软件研究所
【出 处】
：
计算机应用与软件
【发表日期】
：
2007年09期
【基金项目】
：
广州市科技局重点支持项目（200421-D0091,200323-D0241）
其他文献
中国近现代史纲要课程是高校思想政治理论课的重要课程,实践课教学是该课程体现实效性的一个重要环节。要提高理论课的教学效果,必须真正认识实践课教学的重要性,积极以各种
农村教育在政策定位、制度设定、目标等方面都出现了错位,这种错位集中体现在教育功能导向上。从教育功能的视角和取向出发,对目前我国农村教育功能问题进行分析和思考可知,
讨论了具有二次型目标函数的离散双线性系统的最优控制问题,提出了一种两级最优控制算法,并证明了该算法的收敛性.该算法首先把非线性问题转化为一系列线性子问题,然后利用动
考察了几种金属材料在不同复杂应力场下的断裂形式及物理机制的变化规律.针对复杂应力场下传统断裂强度理论应用上存在的几个问题,讨论了应力场中危险点的位置与危险点上断裂
思想政治理论课对于培养大学生良好的世界观、价值观,增强大学生对马克思主义的理解、以及对中国国情的认识都具有积极的意义。必须紧密围绕教学目标,贴近学生实际,采取科学
提出一种基于最小割集的故障模式分析方法，对复杂配电系统进行可靠性评估。该方法将网络中的元件按照不同馈线进行组合，形成等效元件，并把等效元件作为评估的最小元素，在评估中将
文章主要采用文献资料和调查研究相结合的方法,对我校体育课程结构、内容、教学组织形式与方法、教学考核方式等进行了分析研究,对普通高校体育教学改革现行体育课程体系、实
讨论了ARM-Linux内核的实时特性,分析了RTAI和MontaVista作为实时Linux的特性和原理,并给出了结合两者特性使Linux实时化的方法。
遗传学是生命科学领域的基础学科。为适应生命科学发展,实施创新教育,培养创新人才,遗传学必须进行教学改革。文章探讨如何将遗传学教学研紧密结合,建立互动基础平台。通过加