數(shù)學(xué)概念的知識(shí)獲取與分析方法研究.pdf

1、中國(guó)科學(xué)院計(jì)算技術(shù)研究所博士學(xué)位論文數(shù)學(xué)概念的知識(shí)獲取與分析方法研究姓名：曾慶田申請(qǐng)學(xué)位級(jí)別：博士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：曹存根20050401數(shù)學(xué)概念的知識(shí)獲取與分析方法研究，摘要念知識(shí)庫(kù)的語(yǔ)義異常，給出了知識(shí)冗余、知識(shí)不一致的確切定義及相應(yīng)的檢查算法，著重分析了知識(shí)不一致性產(chǎn)生的原因。定義了概念知識(shí)的緊湊性并給出了檢查方法。研究了通過(guò)已知的概念關(guān)系測(cè)試知識(shí)庫(kù)正確性的方法。并根據(jù)概念關(guān)聯(lián)空問(wèn)給出了概念之間的知識(shí)錯(cuò)誤影響關(guān)系、錯(cuò)

2、誤影響率以及錯(cuò)誤定位問(wèn)題。最后給出了概念繼承循環(huán)和冗余性的定義，并基于自動(dòng)生成的概念知識(shí)繼承層次結(jié)構(gòu)給出了檢查概念問(wèn)循環(huán)繼承和冗余繼承的方法。(5)數(shù)學(xué)知識(shí)獲取與管理平臺(tái)。集成了數(shù)學(xué)知識(shí)獲取與分析管理平臺(tái)，主要功能包括：知識(shí)的獲取功能、知識(shí)編輯功能、知識(shí)的目錄樹(shù)管理、知識(shí)的多語(yǔ)占版本翻譯、數(shù)學(xué)知識(shí)不同格式的轉(zhuǎn)換等。關(guān)鍵詞：國(guó)家知識(shí)基礎(chǔ)設(shè)施，數(shù)學(xué)本體，數(shù)學(xué)知識(shí)表示，知識(shí)獲取，知識(shí)分析，知識(shí)完備性，知識(shí)冗余，知識(shí)一致性，知識(shí)緊湊性，知識(shí)關(guān)聯(lián)