數(shù)據(jù)庫系統(tǒng)與技術(shù)管理知識(shí)分析-文庫吧
2025-02-27 11:37 本頁面
【正文】 就不方便了 。 槽 （ slot） 與填槽表示方法便于表示這種分類知識(shí) 。 語義網(wǎng)絡(luò)和框架表示方法就屬于其中的兩種 。 知識(shí)表達(dá)與推理 11 4． 框架表示法 1975年 Minsky的論文 “ A framework for representing knowledge”中提出了框架理論 。 其基本觀點(diǎn)是人腦已存儲(chǔ)有大量典型情景 ，當(dāng)人面臨新的情景時(shí) ， 就從記憶中選擇一個(gè)以框架形式存放的知識(shí)空框 ， 其具體內(nèi)容依新的情景而改變 ， 對(duì)這空框的細(xì)節(jié)加工修改和補(bǔ)充 ， 形成對(duì)新情景的認(rèn)識(shí)又重新記憶于人腦中 。 框架理論將框架視作知識(shí)單位 ， 將一組有關(guān)的框架連接起來便形成框架系統(tǒng) 。 系統(tǒng)中不同框架可以有共同結(jié)點(diǎn) ， 系統(tǒng)的行為由系統(tǒng)內(nèi)框架的變化來表現(xiàn) 。 推理過程是由框架間的協(xié)調(diào)來完成的 。 框架表示法是一種適應(yīng)性強(qiáng) 、 概括性高 、 結(jié)構(gòu)化良好 、 推理方式靈活又能把陳述性知識(shí)與過程性知識(shí)相結(jié)合的知識(shí)表示方法 。 知識(shí)表達(dá)與推理 12 ? 1． Prolog ? Prolog是一種基于一階謂詞的邏輯程序設(shè)計(jì)語言 ， 它是由 ， 它在 AI和知識(shí)庫的實(shí)現(xiàn)技術(shù)中具有重要作用 。 Prolog語言作為數(shù)據(jù)庫系統(tǒng)中演繹推理公理系統(tǒng)的語言 ， 具有很強(qiáng)的邏輯描述能力和推理能力 。 它使數(shù)據(jù)庫系統(tǒng)和知識(shí)庫系統(tǒng)兩者具有共同的堅(jiān)實(shí)的數(shù)學(xué)基礎(chǔ) 。 實(shí)際上 ，利用 Prolog的演繹推理及處理數(shù)據(jù)庫中的檢索等過程就是證明定理的過程 。 因此 ， 在邏輯上 Prolog對(duì)應(yīng)于數(shù)學(xué)的證明論 。 知識(shí)庫語言 13 ? 2． Datalog ? Datalog語言是 Prolog語言的一種特殊形式 ， 由于prolog語言是一種適應(yīng)面較為廣泛的通用語言 ， 它在數(shù)據(jù)庫 、 知識(shí)庫領(lǐng)域中雖然也能適應(yīng) ， 但是也存在一定的不足之處 ， 這主要是數(shù)據(jù)庫及知識(shí)庫領(lǐng)域中具有一定的特殊性 。 ? 知識(shí)數(shù)量有限：在知識(shí)庫中，知識(shí)個(gè)數(shù)是有限的； ? 操作受限：在知識(shí)庫中，一般只有知識(shí)操作而很少有計(jì)算操作。 ? 因此在實(shí)際上需要對(duì) prolog進(jìn)行一定的限制 ， 使其在知識(shí)庫領(lǐng)域中發(fā)揮更大作用 ， 而 Datalog即是 Prolog的一種適應(yīng)于知識(shí)庫的改進(jìn)形式語言 ， 是一種受限的Prolog語言 ， 適用于知識(shí)庫 。 知識(shí)庫語言 14 ? 3． LISP ? LISP（ LISt Processing） ， 由約翰 .麥卡錫在 1960年創(chuàng)造的一種基于 λ 演算的函數(shù)式編程語言 。 約翰 .麥卡錫 1960年發(fā)表了一篇非凡的論文 ， 這篇論文展示了 在只給定幾個(gè)簡(jiǎn)單的操作符和一個(gè)表示函數(shù)的記號(hào)的基礎(chǔ)上 , 如何構(gòu)造出一個(gè)完整的編程語言 。 麥卡錫稱這種語言為 Lisp, 意為 List Processing, 因?yàn)槠渲饕枷胫皇怯靡环N簡(jiǎn)單的數(shù)據(jù)結(jié)構(gòu)表 (list)來代表代碼和數(shù)據(jù) 。 經(jīng)過幾十年的發(fā)展 ， LISP有很多種版本 ， 各個(gè)實(shí)現(xiàn)中的語言不完全一樣 。 1980年代 Guy L. Steele編寫了 Common Lisp試圖進(jìn)行標(biāo)準(zhǔn)化 ， 這個(gè)標(biāo)準(zhǔn)被大多數(shù) 解釋器 和 編譯器 所接受 。 在 Unix/Linux系統(tǒng)中 ， 還有一種 Emacs Lisp非常流行 ， 并建立了自己的標(biāo)準(zhǔn) 。由于 LISP的符號(hào)處理能力非常強(qiáng) ， 所以也被認(rèn)為是一種人工智能程序設(shè)計(jì)語言 ， 經(jīng)常被用于知識(shí)表達(dá)和處理系統(tǒng)的開發(fā) 。 知識(shí)庫語言 15 ? 1． 知識(shí)庫 ? 從知識(shí)存儲(chǔ)的角度來看， 知識(shí)庫可以簡(jiǎn)單看為是知識(shí)的集合。當(dāng)然，這些知識(shí)包括概念、事實(shí)與規(guī)則。由于概念一般均包含在事實(shí)內(nèi)，實(shí)際上知識(shí)庫中 主要 包含事實(shí)與規(guī)則兩個(gè)部分，而僅由事實(shí)組成的知識(shí)庫只能認(rèn)為是廣義的知識(shí)庫。 ? 知識(shí)庫中的事實(shí)與數(shù)據(jù)庫中的元組具有相同的含義 ， 它是由若干確定的概念 （ 常值 ） 組成 。 知識(shí)庫中的規(guī)則具有一定的通用性 ，比如以下規(guī)則：如 x和 y是兄弟 ， y和 z是兄弟 ， 則 x和 z是兄弟 。 ? 從知識(shí)使用的角度來看 ， 知識(shí)庫是由知識(shí)和知識(shí)處理機(jī)構(gòu)組成 。知識(shí)庫在形式上是一個(gè)知識(shí)域 ， 該知識(shí)域中除了事實(shí) 、 概念和規(guī)則 等知識(shí)基本要素 外 ， 還包含有推理 、 歸納 、 演繹等知識(shí)處理方法 ， 以及邏輯查詢語言 、 語義查詢優(yōu)化 、 人機(jī)交互界面等 。 ? 一般而言 ， 從知識(shí)存儲(chǔ)角度出發(fā)的知識(shí)庫概念比較常用 ， 也比較符合知識(shí)庫使用的實(shí)際情況 。 知識(shí)庫與知識(shí)庫系統(tǒng) 16 ? 知識(shí)庫管理系統(tǒng)應(yīng)當(dāng)具有以下功能： ? 支持傳統(tǒng)數(shù)據(jù)庫管理系統(tǒng)的一切功能 ? 具有一種對(duì)知識(shí)進(jìn)行操縱和處理的描述性語言 ? 這 種 觀 點(diǎn) 是 Ulman 在 其 名 著 “ Principle of database and knowledge system”中提出的 。 他將KDMS看作是 DBMS的
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1