近年來,隨著人工智能技術(shù)的飛速發(fā)展,許許多多專家學(xué)者開始將注意力集中在人工智能技術(shù)與教育的結(jié)合上。利用人工智能技術(shù)定義全新的教育模式,實(shí)現(xiàn)計(jì)算機(jī)自動求解、自動輔導(dǎo)等功能,為學(xué)生提供快速、公平、系統(tǒng)并且量身定制的教育資源。這對提升教育質(zhì)量,降低教育成本和創(chuàng)新教育模式有著十分重要的意義。本論文的研究內(nèi)容是僅在輸入原始初等數(shù)學(xué)題目的基礎(chǔ)上,對題目進(jìn)行自動類人求解,簡稱“高考機(jī)器人”。它主要包含如下幾點(diǎn):1)復(fù)雜邏輯與計(jì)算推理引擎的研究和構(gòu)建主要研究復(fù)雜邏輯與計(jì)算引擎的組織結(jié)構(gòu)與核心算法設(shè)計(jì),針對出現(xiàn)問題給出相應(yīng)解決方案。從復(fù)雜邏輯推理引擎研究與構(gòu)建,復(fù)雜邏輯與計(jì)算推理和類人求解三個方面分析了復(fù)雜邏輯與計(jì)算推理引擎的結(jié)構(gòu)和組成等內(nèi)容。其中以引擎搭建部分為重點(diǎn),講述了三種不同的復(fù)雜邏輯推理組織方式,并采用“先正后逆”推理方式構(gòu)建推理引擎。隨后研究了推理引擎與符號計(jì)算平臺之間的聯(lián)系,通過符號計(jì)算提供的計(jì)算服務(wù)為具體的問題的計(jì)算推理打下支撐。類人求解中,在推理的基礎(chǔ)上,設(shè)計(jì)基于DFS的搜索算法,重構(gòu)類人求解過程。2)初等數(shù)學(xué)函數(shù)問題的知識表示在自然語言處理（Nature Language Proce... 

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

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

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

【部分圖文】：

Drools結(jié)構(gòu)圖

第二章 相關(guān)理論與技術(shù)算法由 Charles Forgy 博士發(fā)明的一種針對規(guī)則匹配的高效在博士論文《On the efficient implementation of productie 算法可以分為規(guī)則編譯和規(guī)則執(zhí)行兩部分。在 D用的是 rete 算法的改進(jìn)算法，效率更加高效，這一小節(jié)法和 Drools 的具體實(shí)現(xiàn)詳細(xì)講解 Drools 中最核心的算法主要描述如何處理生產(chǎn)內(nèi)存(Production Memory)中絡(luò)。以非技術(shù)術(shù)語講，辨別網(wǎng)絡(luò)用于在數(shù)據(jù)通過網(wǎng)絡(luò)orgy 的論文中，描述了 4 種基本節(jié)點(diǎn)[44]，分別是：根節(jié)點(diǎn)和終端節(jié)點(diǎn)。辨別網(wǎng)絡(luò)頂部以根節(jié)點(diǎn)(起始節(jié)點(diǎn))為開更多的匹配，隨著網(wǎng)絡(luò)不斷地向下擴(kuò)展，匹配將越來以終端節(jié)點(diǎn)作為網(wǎng)絡(luò)的結(jié)束。下圖 2-3 列舉了 Drools

第五章 系統(tǒng)測試與分析第五章 系統(tǒng)測試與分析5.1 系統(tǒng)測試5.1.1 系統(tǒng)展示基于本論文所設(shè)計(jì)的復(fù)雜邏輯與計(jì)算推理引擎所實(shí)現(xiàn)的類人求解系統(tǒng)，在初等數(shù)學(xué)函數(shù)問題中表現(xiàn)出較為不錯的效果。1) 例 1 為一道函數(shù)選擇題，題目描述為：若函數(shù) f(x)是 R 上周期為 5 的奇函數(shù)，且滿足 f(1)=1,f(2)=2，則 f(3)-f(4)=( )A. -1 B. 1 C. -2 D. 2該題目經(jīng)過自然語言處理，識別成的關(guān)系如下圖 5-1 所示。

【參考文獻(xiàn)】：
期刊論文
[1]人工智能的研究現(xiàn)狀及發(fā)展趨勢[J]. 孫曄,吳飛揚(yáng).  價值工程. 2013(28)
[2]基于A*的路徑規(guī)劃算法研究[J]. 李淑霞.  福建電腦. 2013(03)
[3]A*進(jìn)路搜索算法的研究與實(shí)現(xiàn)[J]. 梁藝凡,譚麗,馮挺.  鐵道標(biāo)準(zhǔn)設(shè)計(jì). 2013(02)
[4]一階謂詞邏輯在人工智能知識表示中的應(yīng)用[J]. 王湘云.  重慶工學(xué)院學(xué)報(社會科學(xué)版). 2007(09)
[5]語義網(wǎng)、語義網(wǎng)格和語義網(wǎng)絡(luò)[J]. 李潔,丁穎.  計(jì)算機(jī)與現(xiàn)代化. 2007(07)
[6]知識表示方法研究與應(yīng)用[J]. 年志剛,梁式,麻芳蘭,李尚平.  計(jì)算機(jī)應(yīng)用研究. 2007(05)
[7]三角函數(shù)表達(dá)式的計(jì)算機(jī)自動化簡[J]. 符紅光,鐘秀琴,曾振柄.  計(jì)算機(jī)學(xué)報. 2006(10)
[8]Java規(guī)則引擎——Drools的介紹及應(yīng)用[J]. 劉偉.  微計(jì)算機(jī)應(yīng)用. 2005(06)
[9]產(chǎn)生式系統(tǒng)分析和應(yīng)用[J]. 孫成存,李凱,趙克.  電子科技. 2004(09)
[10]本體論研究綜述[J]. 李善平,尹奇韡,胡玉杰,郭鳴,付相君.  計(jì)算機(jī)研究與發(fā)展. 2004(07)

碩士論文
[1]初中數(shù)學(xué)錯誤模型研究及其在自動判卷系統(tǒng)中的應(yīng)用[D]. 陳顯玲.電子科技大學(xué) 2016
[2]基于實(shí)例模型的知識推理及其在自動閱卷系統(tǒng)中的應(yīng)用[D]. 汪洪臣.電子科技大學(xué) 2015
[3]在智能搜索中A*算法的應(yīng)用與研究[D]. 郝向榮.西安建筑科技大學(xué) 2007



本文編號：3277286