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

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

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