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

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

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