隨著人工智能研究的深入和現(xiàn)代計(jì)算機(jī)技術(shù)的發(fā)展,其對(duì)人們的生活方式和社會(huì)的組織結(jié)構(gòu)都將產(chǎn)生深遠(yuǎn)的影響。在人工智能給人們?nèi)粘Ｉ顜?lái)便捷的同時(shí),其在科研與教育領(lǐng)域也將產(chǎn)生變革。人工智能的發(fā)展將推進(jìn)科研與教育向縱深方向發(fā)展。正是基于上述背景,本文主要研究了初等數(shù)學(xué)問(wèn)題自動(dòng)求解中的分支推理架構(gòu),設(shè)計(jì)和實(shí)現(xiàn)了一個(gè)基于分支推理的初等數(shù)學(xué)問(wèn)題自動(dòng)求解系統(tǒng)。本文的主要內(nèi)容包括以下幾個(gè)方面:1.初等數(shù)學(xué)問(wèn)題的知識(shí)表示初等數(shù)學(xué)問(wèn)題的知識(shí)表示包括初等數(shù)學(xué)中相關(guān)的實(shí)體表示、實(shí)體之間的關(guān)系表示和推理依據(jù)的表示。在本文中,我們將初等數(shù)學(xué)中所涉及的概念分類進(jìn)行抽象,用面向?qū)ο蟮姆椒▉?lái)表示。用Data表示原子知識(shí),用Relation去表示多個(gè)Data或多個(gè)Relation之間的關(guān)系。推理依據(jù)的表示包括初等數(shù)學(xué)問(wèn)題中的一些常識(shí)、公理、定理和推論的表示。我們?yōu)檫@些公理、定理、推論等數(shù)學(xué)理論建立結(jié)構(gòu)一致的模型,以便計(jì)算機(jī)能夠運(yùn)用這些模型進(jìn)行推理產(chǎn)生出新的知識(shí),從而達(dá)到解題的目的。在系統(tǒng)中主要以編寫(xiě)規(guī)則的方式來(lái)實(shí)現(xiàn)此類模型。2.基于知識(shí)庫(kù)的分支推理架構(gòu)的研究在問(wèn)題求解過(guò)程中,往往會(huì)涉及到一些分類討論的情況。我們通過(guò)建立分支知... 

【文章來(lái)源】：電子科技大學(xué)四川省 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：90 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖２－１產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)圖??

推理機(jī)是一個(gè)由程序編寫(xiě)的控制系統(tǒng)，負(fù)責(zé)協(xié)調(diào)規(guī)則庫(kù)和綜合數(shù)據(jù)庫(kù)之間的??交互＊它決定著問(wèn)題求解過(guò)程中的推理方式、推理路線及控制策略。綜上，產(chǎn)生??式系統(tǒng)的基本結(jié)構(gòu)如圖２－１所示ｊ??（?＇綜練辦）?（ｍｗｍ?ｊ??知識(shí)庫(kù)７??Ｖ??推理機(jī)??圖２－１產(chǎn)生式系統(tǒng)的基本結(jié)構(gòu)圖??９??

ＲＨＳ??ｅｎｄ??圖２－４規(guī)則的基本譖法結(jié)構(gòu)??—個(gè)規(guī)則＾般由貪．個(gè)部分組成：ａｔｔｒｉｂｕｔｅｓ�。簩傩圆糠郑�、ＬＨＳ?Ｃ條件部分）和ＲＨＳ??（結(jié)果部分）。這３個(gè)部分以規(guī)則完整的角度來(lái)說(shuō)都是可選的。??ａｔｔｒｉｂｕｔｅｓ是：一：組屬性：，用來(lái)艱制規(guī)則或者實(shí)現(xiàn)某些功能。常用的有ｓ．?“ｅｎａｂｌｅｄ”??限制規(guī)則是否使用；“ｓａｌｉｅｎｃｅ”表明規(guī)則的優(yōu)先級(jí)，優(yōu)先級(jí)以整數(shù)表示，整數(shù)越??大優(yōu)先級(jí)越大；“ｒｕｌｅｆｌｏｗ－ｇｒｏｕｐ”用在規(guī)則流中表示劃分一組規(guī)則，規(guī)則流在??１２??


本文編號(hào)：3004112