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

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

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

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

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


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

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

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



本文編號(hào)：2909323