本文主要研究内容
作者王权威（2019）在《初等数学问题自动求解中的分支推理架构及实现》一文中研究指出：随着人工智能研究的深入和现代计算机技术的发展,其对人们的生活方式和社会的组织结构都将产生深远的影响。在人工智能给人们日常生活带来便捷的同时,其在科研与教育领域也将产生变革。人工智能的发展将推进科研与教育向纵深方向发展。正是基于上述背景,本文主要研究了初等数学问题自动求解中的分支推理架构,设计和实现了一个基于分支推理的初等数学问题自动求解系统。本文的主要内容包括以下几个方面:1.初等数学问题的知识表示初等数学问题的知识表示包括初等数学中相关的实体表示、实体之间的关系表示和推理依据的表示。在本文中,我们将初等数学中所涉及的概念分类进行抽象,用面向对象的方法来表示。用Data表示原子知识,用Relation去表示多个Data或多个Relation之间的关系。推理依据的表示包括初等数学问题中的一些常识、公理、定理和推论的表示。我们为这些公理、定理、推论等数学理论建立结构一致的模型,以便计算机能够运用这些模型进行推理产生出新的知识,从而达到解题的目的。在系统中主要以编写规则的方式来实现此类模型。2.基于知识库的分支推理架构的研究在问题求解过程中,往往会涉及到一些分类讨论的情况。我们通过建立分支知识库,实现拆分“或”关系为各个单独关系,让它们分别在各自独立的知识库中进行无干扰的推理;然后再利用矛盾检测机制检验推理产生的知识,逐步减少分支或推导出分支并对分支进行合并;最终求解出问题,同时得到完整的问题求解过程。这就是分支推理。在研究分支推理架构时,我们分别对分支架构中的关键技术进行了研究与探索,包括分支的具体知识表示、分支推理架构的模块组成、分支推理策略和外部分支技术。3.基于分支推理的问题自动求解系统的实现系统中的初等数学知识以对象的方式来表示和存储,通过自然语言理解、预处理、主知识库、外部知识库、控制器、分支推理和符号计算等模块的相互配合,形成一个具有类人答题功能的完整的初等数学问题自动求解系统。并且在该系统中创造性地设计和实现了一题多解模块,使系统具有能够用多种方法求解初等数学问题中一些典型问题的功能。
Abstract
sui zhao ren gong zhi neng yan jiu de shen ru he xian dai ji suan ji ji shu de fa zhan ,ji dui ren men de sheng huo fang shi he she hui de zu zhi jie gou dou jiang chan sheng shen yuan de ying xiang 。zai ren gong zhi neng gei ren men ri chang sheng huo dai lai bian jie de tong shi ,ji zai ke yan yu jiao yo ling yu ye jiang chan sheng bian ge 。ren gong zhi neng de fa zhan jiang tui jin ke yan yu jiao yo xiang zong shen fang xiang fa zhan 。zheng shi ji yu shang shu bei jing ,ben wen zhu yao yan jiu le chu deng shu xue wen ti zi dong qiu jie zhong de fen zhi tui li jia gou ,she ji he shi xian le yi ge ji yu fen zhi tui li de chu deng shu xue wen ti zi dong qiu jie ji tong 。ben wen de zhu yao nei rong bao gua yi xia ji ge fang mian :1.chu deng shu xue wen ti de zhi shi biao shi chu deng shu xue wen ti de zhi shi biao shi bao gua chu deng shu xue zhong xiang guan de shi ti biao shi 、shi ti zhi jian de guan ji biao shi he tui li yi ju de biao shi 。zai ben wen zhong ,wo men jiang chu deng shu xue zhong suo she ji de gai nian fen lei jin hang chou xiang ,yong mian xiang dui xiang de fang fa lai biao shi 。yong Databiao shi yuan zi zhi shi ,yong Relationqu biao shi duo ge Datahuo duo ge Relationzhi jian de guan ji 。tui li yi ju de biao shi bao gua chu deng shu xue wen ti zhong de yi xie chang shi 、gong li 、ding li he tui lun de biao shi 。wo men wei zhe xie gong li 、ding li 、tui lun deng shu xue li lun jian li jie gou yi zhi de mo xing ,yi bian ji suan ji neng gou yun yong zhe xie mo xing jin hang tui li chan sheng chu xin de zhi shi ,cong er da dao jie ti de mu de 。zai ji tong zhong zhu yao yi bian xie gui ze de fang shi lai shi xian ci lei mo xing 。2.ji yu zhi shi ku de fen zhi tui li jia gou de yan jiu zai wen ti qiu jie guo cheng zhong ,wang wang hui she ji dao yi xie fen lei tao lun de qing kuang 。wo men tong guo jian li fen zhi zhi shi ku ,shi xian ca fen “huo ”guan ji wei ge ge chan du guan ji ,rang ta men fen bie zai ge zi du li de zhi shi ku zhong jin hang mo gan rao de tui li ;ran hou zai li yong mao dun jian ce ji zhi jian yan tui li chan sheng de zhi shi ,zhu bu jian shao fen zhi huo tui dao chu fen zhi bing dui fen zhi jin hang ge bing ;zui zhong qiu jie chu wen ti ,tong shi de dao wan zheng de wen ti qiu jie guo cheng 。zhe jiu shi fen zhi tui li 。zai yan jiu fen zhi tui li jia gou shi ,wo men fen bie dui fen zhi jia gou zhong de guan jian ji shu jin hang le yan jiu yu tan suo ,bao gua fen zhi de ju ti zhi shi biao shi 、fen zhi tui li jia gou de mo kuai zu cheng 、fen zhi tui li ce lve he wai bu fen zhi ji shu 。3.ji yu fen zhi tui li de wen ti zi dong qiu jie ji tong de shi xian ji tong zhong de chu deng shu xue zhi shi yi dui xiang de fang shi lai biao shi he cun chu ,tong guo zi ran yu yan li jie 、yu chu li 、zhu zhi shi ku 、wai bu zhi shi ku 、kong zhi qi 、fen zhi tui li he fu hao ji suan deng mo kuai de xiang hu pei ge ,xing cheng yi ge ju you lei ren da ti gong neng de wan zheng de chu deng shu xue wen ti zi dong qiu jie ji tong 。bing ju zai gai ji tong zhong chuang zao xing de she ji he shi xian le yi ti duo jie mo kuai ,shi ji tong ju you neng gou yong duo chong fang fa qiu jie chu deng shu xue wen ti zhong yi xie dian xing wen ti de gong neng 。
论文参考文献
论文详细介绍
论文作者分别是来自电子科技大学的王权威，发表于刊物电子科技大学2019-07-17论文，是一篇关于分支推理论文,初等数学论文,知识表示论文,知识库论文,类人答题论文,电子科技大学2019-07-17论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自电子科技大学2019-07-17论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：分支推理论文; 初等数学论文; 知识表示论文; 知识库论文; 类人答题论文; 电子科技大学2019-07-17论文;