數(shù)學(xué),是所有自然學(xué)科的基礎(chǔ)以及連通技術(shù)領(lǐng)域與科學(xué)領(lǐng)域的重要通道。對于信息技術(shù)的研究,其本質(zhì)是對數(shù)學(xué)的研究。隨著信息技術(shù)的逐漸發(fā)展和數(shù)學(xué)學(xué)科體系的不斷完善,越來越多的數(shù)學(xué)研究領(lǐng)域被提出。而對于數(shù)學(xué)問題的機器自動求解則是其中的一個熱門研究領(lǐng)域。機器自動求解是指通過計算機對于由自然語言文本及圖像等相關(guān)元素所表示的數(shù)學(xué)領(lǐng)域上的一些具體問題進行模式識別、認(rèn)知、邏輯推理、計算證明等自動化處理過程。機器自動求解是以數(shù)學(xué)原理為基礎(chǔ),計算機信息技術(shù)為載體的綜合性研究領(lǐng)域。機器自動求解的研究對推動機器化數(shù)學(xué)表示及機器智能的發(fā)展有非常大的意義。而基于機器自動求解技術(shù)的類人答題系統(tǒng)則在智慧教育行業(yè)有著廣泛的應(yīng)用前景。立體幾何領(lǐng)域相關(guān)問題求解一直以來都是初等數(shù)學(xué)領(lǐng)域中的重點和難點,而尋求一種類人答題系統(tǒng)下立體幾何問題自動求解的設(shè)計及實現(xiàn)則更具挑戰(zhàn)性。本文的主要研究方向是通過知識及邏輯的表示和構(gòu)建各推理流程模塊所實現(xiàn)的類人答題環(huán)境下立體幾何自動求解系統(tǒng)。本文的研究內(nèi)容主要由以下四部分構(gòu)成:1.立體幾何知識的表示對立體幾何領(lǐng)域知識體系中常見的幾何實體及其關(guān)系和概念定義進行統(tǒng)一建模與表示,實現(xiàn)其機器數(shù)字化的翻譯及映射... 

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

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

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景及意義
    1.2 研究現(xiàn)狀
    1.3 研究內(nèi)容
    1.4 論文組織結(jié)構(gòu)
第二章 相關(guān)理論與技術(shù)
    2.1 類人答題系統(tǒng)
    2.2 自動推理技術(shù)
        2.2.1 產(chǎn)生式規(guī)則
        2.2.2 Drools推理引擎
    2.3 知識庫技術(shù)
    2.4 本章小結(jié)
第三章 初等數(shù)學(xué)立體幾何的研究及認(rèn)知建模
    3.1 知識的表示
        3.1.1 實體
        3.1.2 關(guān)系
        3.1.3 規(guī)則
    3.2 初等數(shù)學(xué)常見立體幾何問題體系結(jié)構(gòu)
        3.2.1 常見立體幾何問題分類
        3.2.2 常見立體幾何求解方法分類
    3.3 輔助線與向量在立體幾何問題中的應(yīng)用
        3.3.1 輔助線在立體幾何問題中的應(yīng)用
        3.3.2 坐標(biāo)系及向量在立體幾何問題中的應(yīng)用
    3.4 立體幾何問題求解認(rèn)知模型
    3.5 本章小結(jié)
第四章 類人答題系統(tǒng)中立體幾何自動求解的研究
    4.1 初等數(shù)學(xué)領(lǐng)域類人答題系統(tǒng)的研究
    4.2 立體幾何自動求解的關(guān)鍵技術(shù)
        4.2.1 立體幾何知識的具體表示
        4.2.2 立體幾何定理及求解方法的具體表示
        4.2.3 立體幾何圖例的表示
    4.3 自動推理技術(shù)的分類
        4.3.1 常規(guī)推理
        4.3.2 輔助推理
    4.4 輔助線及向量坐標(biāo)系的自動添加
        4.4.1 輔助線的自動添加
        4.4.2 向量及坐標(biāo)系的自動添加
    4.5 自動求解的停機技術(shù)
    4.6 本章小結(jié)
第五章 類人答題系統(tǒng)中立體幾何自動求解的設(shè)計與實現(xiàn)
    5.1 系統(tǒng)需求分析
    5.2 系統(tǒng)總體架構(gòu)
    5.3 數(shù)據(jù)庫設(shè)計
    5.4 系統(tǒng)詳細(xì)設(shè)計與實現(xiàn)
        5.4.1 立體幾何模型和規(guī)則的設(shè)計與實現(xiàn)
        5.4.2 輔助推理模塊的設(shè)計與實現(xiàn)
        5.4.3 自動推理模塊的設(shè)計與實現(xiàn)
        5.4.4 類人答題模塊的設(shè)計與實現(xiàn)
    5.5 本章小結(jié)
第六章 系統(tǒng)測試與分析
    6.1 系統(tǒng)測試
    6.2 系統(tǒng)分析
    6.3 本章小結(jié)
第七章 總結(jié)與展望
    7.1 總結(jié)
    7.2 展望
致謝
參考文獻
攻讀碩士學(xué)位期間取得的研究成果


【參考文獻】：
期刊論文
[1]INCON-FIDPS系統(tǒng)故障診斷專家知識搭建[J]. 卞金來,劉水,張鵬明.  電子世界. 2017(16)
[2]Special issue on artificial intelligence 2.0[J]. Yun-he PAN.  Frontiers of Information Technology & Electronic Engineering. 2017(01)
[3]一種面向初高中英語單選題的類人答題系統(tǒng)[J]. 陳志剛,劉青文,林偉,汪洋,陳小平.  中國科學(xué)技術(shù)大學(xué)學(xué)報. 2016(03)
[4]任務(wù)型人機對話系統(tǒng)中的認(rèn)知技術(shù)——概念、進展及其未來[J]. 俞凱,陳露,陳博,孫鍇,朱蘇.  計算機學(xué)報. 2015(12)
[5]點、直線、平面之間的位置關(guān)系常見考題類型分析[J]. 馬艷飛.  中學(xué)生數(shù)理化(高一版). 2013(10)
[6]基于概念圖策略的解剖學(xué)教學(xué)模式探索[J]. 崔文勝.  四川解剖學(xué)雜志. 2012(01)
[7]人工智能及其發(fā)展應(yīng)用[J]. 鄒蕾,張先鋒.  信息網(wǎng)絡(luò)安全. 2012(02)
[8]語言真值直覺模糊命題邏輯系統(tǒng)的推理規(guī)則[J]. 劉德山,殷明娥,鄒麗.  計算機工程與應(yīng)用. 2011(33)
[9]Drools規(guī)則引擎在現(xiàn)代物流信息平臺的應(yīng)用[J]. 陸歌皓,李仕金,吳超凡.  計算機科學(xué). 2011(S1)
[10]推理在學(xué)習(xí)與認(rèn)知中的作用[J]. 蔡曙山,白晨,衣新發(fā),韓旭.  重慶理工大學(xué)學(xué)報(社會科學(xué)). 2011(08)

博士論文
[1]本體映射的若干方法研究[D]. 王茹娟.吉林大學(xué) 2012
[2]基于仿人腦認(rèn)知計算模型的機器人視覺學(xué)習(xí)方法[D]. 瞿心昱.浙江工業(yè)大學(xué) 2012

碩士論文
[1]高考中立體幾何解答題的研究與思考[D]. 李瑩瑩.河北師范大學(xué) 2017
[2]輔助線（點）自動添加的研究及在立體幾何中的應(yīng)用[D]. 胥亮.電子科技大學(xué) 2017
[3]基于規(guī)則引擎的平面幾何推理系統(tǒng)的設(shè)計與實現(xiàn)[D]. 溫金彪.電子科技大學(xué) 2016
[4]初等數(shù)學(xué)問題題意理解關(guān)鍵技術(shù)研究及其應(yīng)用[D]. 李周.電子科技大學(xué) 2016
[5]初中數(shù)學(xué)錯誤模型研究及其在自動判卷系統(tǒng)中的應(yīng)用[D]. 陳顯玲.電子科技大學(xué) 2016
[6]基于句模的初等數(shù)學(xué)問題題意理解方法研究及應(yīng)用[D]. 吳宣樂.電子科技大學(xué) 2016
[7]復(fù)句關(guān)系詞自動標(biāo)識中規(guī)則引擎的實現(xiàn)策略研究[D]. 徐濤.華中師范大學(xué) 2013
[8]基于語義網(wǎng)的幾何自動推理研究及其應(yīng)用[D]. 孫媛媛.電子科技大學(xué) 2013
[9]基于Drools的信息管理與決策系統(tǒng)的研究與實現(xiàn)[D]. 朱會兵.武漢理工大學(xué) 2012
[10]海量非結(jié)構(gòu)化數(shù)據(jù)分布式分析與檢索[D]. 余斌.浙江大學(xué) 2012



本文編號：2909323