本體知識(shí)庫(kù)的封閉世界假設(shè)研究.pdf

1、隨著計(jì)算機(jī)科學(xué)和邏輯學(xué)的發(fā)展，出現(xiàn)了以描述邏輯為基礎(chǔ)的本體模型的概念和建立在此模型之上的本體知識(shí)庫(kù)。知識(shí)庫(kù)是在計(jì)算機(jī)科學(xué)中的數(shù)據(jù)庫(kù)的啟發(fā)下誕生的，目的是把海量的知識(shí)以數(shù)據(jù)信息的方式儲(chǔ)存于其中，完成知識(shí)查詢(xún)和知識(shí)推理的功能。知識(shí)推理是為了獲取更多的知識(shí)，以便更好地完成查詢(xún)的功能，具備推理功能也是知識(shí)庫(kù)與普通數(shù)據(jù)庫(kù)的根本不同之處。對(duì)本體知識(shí)庫(kù)進(jìn)行知識(shí)的推理擴(kuò)展可以采用多種不同的方法和途徑，是一個(gè)值得探討的話(huà)題?？紤]到知識(shí)擴(kuò)展對(duì)于人類(lèi)社會(huì)發(fā)展

2、的重要性，提供知識(shí)擴(kuò)展的方法和探討知識(shí)庫(kù)的知識(shí)推理過(guò)程無(wú)疑具有非常重要的意義。封閉世界假設(shè)作為謂詞邏輯子句集進(jìn)行增廣完備的一種方法，也是完全可以引入本體知識(shí)庫(kù)進(jìn)行知識(shí)信息的增廣完備的。本文將把封閉世界假設(shè)引入到本體知識(shí)庫(kù)當(dāng)中，通過(guò)實(shí)例演算，探討知識(shí)增廣的算法步驟和實(shí)際過(guò)程，探究其可行性，并揭示其重要意義。把封閉世界假設(shè)引入到本體知識(shí)庫(kù)進(jìn)行研究是一個(gè)全新的嘗試，本文作為一個(gè)起點(diǎn)，實(shí)例規(guī)模不大，主要在數(shù)學(xué)演算層面進(jìn)行描述，希望為日后該領(lǐng)域的