基于一階邏輯的知識(shí)表示與自動(dòng)提取.pdf

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

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

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