發(fā)布時間：2021-01-28 01:32

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

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

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

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

【部分圖文】：

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

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

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


本文編號：3004112