初等数学问题自动求解中的分支推理架构及实现

发布时间：2021-01-28 01:32

　　随着人工智能研究的深入和现代计算机技术的发展,其对人们的生活方式和社会的组织结构都将产生深远的影响。在人工智能给人们日常生活带来便捷的同时,其在科研与教育领域也将产生变革。人工智能的发展将推进科研与教育向纵深方向发展。正是基于上述背景,本文主要研究了初等数学问题自动求解中的分支推理架构,设计和实现了一个基于分支推理的初等数学问题自动求解系统。本文的主要内容包括以下几个方面:1.初等数学问题的知识表示初等数学问题的知识表示包括初等数学中相关的实体表示、实体之间的关系表示和推理依据的表示。在本文中,我们将初等数学中所涉及的概念分类进行抽象,用面向对象的方法来表示。用Data表示原子知识,用Relation去表示多个Data或多个Relation之间的关系。推理依据的表示包括初等数学问题中的一些常识、公理、定理和推论的表示。我们为这些公理、定理、推论等数学理论建立结构一致的模型,以便计算机能够运用这些模型进行推理产生出新的知识,从而达到解题的目的。在系统中主要以编写规则的方式来实现此类模型。2.基于知识库的分支推理架构的研究在问题求解过程中,往往会涉及到一些分类讨论的情况。我们通过建立分支知... 

【文章来源】：电子科技大学四川省 211工程院校 985工程院校 教育部直属院校

【文章页数】：90 页

【学位级别】：硕士

【部分图文】：

图２－１产生式系统的基本结构图??

推理机是一个由程序编写的控制系统，负责协调规则库和综合数据库之间的??交互＊它决定着问题求解过程中的推理方式、推理路线及控制策略。综上，产生??式系统的基本结构如图２－１所示ｊ??（?＇综練辦）?（ｍｗｍ?ｊ??知识库７??Ｖ??推理机??图２－１产生式系统的基本结构图??９??

ＲＨＳ??ｅｎｄ??图２－４规则的基本谮法结构??—个规则＾般由貪．个部分组成：ａｔｔｒｉｂｕｔｅｓ！：属性部分）、ＬＨＳ?Ｃ条件部分）和ＲＨＳ??（结果部分）。这３个部分以规则完整的角度来说都是可选的。??ａｔｔｒｉｂｕｔｅｓ是：一：组属性：，用来艰制规则或者实现某些功能。常用的有ｓ．?“ｅｎａｂｌｅｄ”??限制规则是否使用；“ｓａｌｉｅｎｃｅ”表明规则的优先级，优先级以整数表示，整数越??大优先级越大；“ｒｕｌｅｆｌｏｗ－ｇｒｏｕｐ”用在规则流中表示划分一组规则，规则流在??１２??


本文编号：3004112