基于一階邏輯的知識表示與自動提取.pdf

1、隨著信息技術(shù)的發(fā)展，智慧教育和人工智能技術(shù)成為廣泛關注的熱點。傳統(tǒng)教育受限于對于教師的依賴，學生離開老師的輔導之后無法提高學習效率，雖然現(xiàn)在的在線輔導系統(tǒng)能在一定程度上輔助學生完成自我測評任務，但是系統(tǒng)不能對學生在應用題中的答題給出個性化的輔導，導致了學生對學習中出現(xiàn)的問題不能及時的發(fā)現(xiàn)和糾正。因此，本文通過對在線輔導系統(tǒng)進行研究，解決教育領域的知識表示問題，同時能夠?qū)τ谖谋窘Y(jié)構(gòu)的知識形式進行自動的獲取和處理，并以此為基于構(gòu)建一個適用于

2、初等數(shù)學應用題的自動評測系統(tǒng)，為人工智能在智慧教育中的應用提供了一個新的思路。主要的研究內(nèi)容如下：
　　1、初等數(shù)學知識表示。本文基于初等數(shù)學題庫中知識的呈現(xiàn)形式，提出了一種一階邏輯的知識表示方法，該方法結(jié)合面向?qū)ο蠹夹g(shù)，能夠表示平面幾何和初等代數(shù)知識，約束規(guī)則庫與概念知識的分離，使得知識庫的擴展和知識推理更加方便，同時有效的解決傳統(tǒng)一階謂詞邏輯表示方法中對于高階知識無法表示的問題。
　　2、文本知識分類和獲取。本文提出一個

3、以謂詞為基礎的文本知識獲取的流程。該流程中主要包括對文本數(shù)據(jù)的預處理，其中包括中文分詞、句子邊界確定和異常數(shù)據(jù)處理，構(gòu)建初等數(shù)學句模庫，并使用句模庫對句子的語義進行歸處理，如何提取文本知識中的特征，怎樣構(gòu)建基于條件概率的決策樹算法，并且用實驗證明算法的有效性。整個算法流程能夠?qū)ξ谋拘问降淖匀徽Z言進行處理，并且將文本數(shù)據(jù)信息提取為本文定義的知識表示形式。
　　3、根據(jù)本文提出的知識表示方法和文本知識處理算法，構(gòu)建初等數(shù)學自動評測系統(tǒng)