隨著信息技術的發(fā)展,智慧教育和人工智能技術成為廣泛關注的熱點。傳統(tǒng)教育受限于對于教師的依賴,學生離開老師的輔導之后無法提高學習效率,雖然現在的在線輔導系統(tǒng)能在一定程度上輔助學生完成自我測評任務,但是系統(tǒng)不能對學生在應用題中的答題給出個性化的輔導,導致了學生對學習中出現的問題不能及時的發(fā)現和糾正。因此,本文通過對在線輔導系統(tǒng)進行研究,解決教育領域的知識表示問題,同時能夠對于文本結構的知識形式進行自動的獲取和處理,并以此為基于構建一個適用于初等數學應用題的自動評測系統(tǒng),為人工智能在智慧教育中的應用提供了一個新的思路。主要的研究內容如下:1、初等數學知識表示。本文基于初等數學題庫中知識的呈現形式,提出了一種一階邏輯的知識表示方法,該方法結合面向對象技術,能夠表示平面幾何和初等代數知識,約束規(guī)則庫與概念知識的分離,使得知識庫的擴展和知識推理更加方便,同時有效的解決傳統(tǒng)一階謂詞邏輯表示方法中對于高階知識無法表示的問題。2、文本知識分類和獲取。本文提出一個以謂詞為基礎的文本知識獲取的流程。該流程中主要包括對文本數據的預處理,其中包括中文分詞、句子邊界確定和異常數據處理,構建初等數學句模庫,并使用句...

【文章頁數】：84 頁

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景與意義
    1.2 研究現狀
    1.3 研究內容
    1.4 論文組織結構
第二章 相關理論與技術
    2.1 知識表示
    2.2 面向對象技術
    2.3 自然語言處理
        2.3.1 同義詞詞林
        2.3.2 配價理論
        2.3.3 漢語句子結構
    2.4 文本分類
        2.4.1 文本分類概述
        2.4.2 文本分類方法
    2.5 相關工具與技術
    2.6 本章小結
第三章 一階邏輯的知識表示方法的研究
    3.1 一階邏輯知識表示分析
    3.2 一階邏輯的面向對象知識表示方法
        3.2.1 知識概念的表示方法
        3.2.2 約束庫的表示方法
    3.3 一階邏輯的面向對象知識表示在初等數學中的應用
        3.3.1 平面幾何知識表示
        3.3.2 代數知識表示
        3.3.3 定理與公理的規(guī)則庫表示
        3.3.4 知識推理分析
    3.4 本章小結
第四章 一階邏輯的知識提取算法研究與設計
    4.1 文本信息預處理
        4.1.1 文本分詞和詞性標注
        4.1.2 句子邊界識別
        4.1.3 數據清洗
    4.2 謂詞配價理論的句子語義處理
        4.2.1 句子語義句模分類
        4.2.2 語義句模表示
        4.2.3 指代消解
        4.2.4 基于句模知識庫的句法分析算法
    4.3 一階邏輯的文本知識分類算法
        4.3.1 決策樹算法分析
        4.3.2 謂詞特征提取
        4.3.3 條件概率的決策樹構建
        4.3.4 知識分類實驗分析
    4.4 本章小結
第五章 基于一階邏輯知識表示在自動測評系統(tǒng)中的應用
    5.1 基于一階邏輯的自動評測系統(tǒng)總體結構
    5.2 數據庫結構設計
    5.3 系統(tǒng)的設計與實現
        5.3.1 系統(tǒng)類圖
        5.3.2 家庭作業(yè)在線測評模塊
        5.3.3 自由學習模塊
        5.3.4 學生錯誤分析模塊
        5.3.5 題目管理平臺
        5.3.6 用戶學習統(tǒng)計模塊
    5.4 系統(tǒng)展示與測試分析
        5.4.1 系統(tǒng)展示
        5.4.2 系統(tǒng)測試分析
    5.5 本章小結
第六章 總結與展望
    6.1 總結
    6.2 展望
致謝
參考文獻
攻碩期間取得的研究成果



本文編號：3963575