數(shù)學(xué)知識獲取研究和知識管理平臺的實(shí)現(xiàn).pdf

1、隨著計算機(jī)技術(shù)和Internet技術(shù)的發(fā)展，數(shù)學(xué)Web平臺和遠(yuǎn)程教學(xué)系統(tǒng)成為可能，越來越多的數(shù)學(xué)活動將在Web上進(jìn)行。NKIMath是我們2001年啟動的一個研究計劃，其目的是研究數(shù)學(xué)知識獲取的理論和方法，同時實(shí)現(xiàn)數(shù)學(xué)知識的自動管理，研究數(shù)學(xué)知識的共享、推理、教學(xué)等面向應(yīng)用的實(shí)際問題。本論文的主要研究內(nèi)容如下：(1)NKIMath知識獲取。首先介紹了基于本體、框架、邏輯和類型的數(shù)學(xué)知識表示方法，在具體的知識獲取過程中，改進(jìn)了NKIMa

2、th數(shù)學(xué)知識表示方法；采用面向概念的知識獲取方法COKAM，在數(shù)學(xué)分析和抽象代數(shù)領(lǐng)域進(jìn)行知識獲取，有效地驗(yàn)證了NKIMath數(shù)學(xué)知識表示方法和獲取方法的正確性。(2)數(shù)學(xué)知識語法檢查。在實(shí)際數(shù)學(xué)知識獲取中，分析了數(shù)學(xué)知識獲取過程中可能出現(xiàn)的各種語法錯誤，并對其進(jìn)行分類，給出了詳細(xì)的語法檢查算法和數(shù)據(jù)結(jié)構(gòu)，在Windows2000環(huán)境下利用VC開發(fā)工具實(shí)現(xiàn)了數(shù)學(xué)知識語法錯誤檢查工具，并運(yùn)用此工具檢查出了不少的語法錯誤。(3)數(shù)學(xué)知識語義檢