數(shù)據(jù)庫系統(tǒng)與技術(shù)管理知識分析-文庫吧在線文庫
【正文】 的元知識 。 ? 描述型知識 ? 事實知識描述有關(guān)對象 、 事件以及行為等特征 。事實是靜態(tài)地為人們所共享、最低層次的 —— 0層的知識，通常以“ ……是 …… ”的形式出現(xiàn)。 ? 信息 —— 是對人有用的 、 能夠影響人們行為的數(shù)據(jù) 。 一般地 ， 知識是數(shù)據(jù)經(jīng)過一系列加工 ，如歸納 、 綜合 、 比較 、 分類 、 聯(lián)想等得到的上層信息 。例如啟發(fā)式規(guī)則：如果下雨，則出門帶傘。 1. 知識的概念 （ 3） 6 ? 元知識 ? 組織知識的元知識 。 這種體系的知識表示方法也很多 ，在人工智能和知識工程學(xué)科中知識表示方法已經(jīng)成為一個專門領(lǐng)域 。 槽 （ slot） 與填槽表示方法便于表示這種分類知識 。 知識表達與推理 12 ? 1． Prolog ? Prolog是一種基于一階謂詞的邏輯程序設(shè)計語言 ， 它是由 ， 它在 AI和知識庫的實現(xiàn)技術(shù)中具有重要作用 。 知識庫語言 14 ? 3． LISP ? LISP（ LISt Processing） ， 由約翰 .麥卡錫在 1960年創(chuàng)造的一種基于 λ 演算的函數(shù)式編程語言 。當然，這些知識包括概念、事實與規(guī)則。 他將KDMS看作是 DBMS的擴充 ， 即在功能上 KBMS應(yīng)當包含DBMS， 并且在此基礎(chǔ)上用一種描述性語言例如邏輯語言來操縱與處理知識數(shù)據(jù)庫中的知識 （ 包括事實與規(guī)則 ） 。 即如果條件為真 ， 則執(zhí)行其后的動作 。 ? 約束指這條規(guī)則執(zhí)行時必須遵循的約束條件 ， 包括對執(zhí)行時間的約束 、動作開始前的前置條件以及在動作完成后結(jié)果應(yīng)滿足的后置條件等等 ，約束時可選的 ， 當不指明 WHERE子句時 ， 表示沒有約束 。 事件都具有 “ 原子性 ” ， 在某一時刻 ， 或者完全發(fā)生 ， 或者根本不發(fā)生 ， 沒有第三種狀態(tài) 。 根據(jù) ECA規(guī)則定義 ， 而要真正的觸發(fā)一個規(guī)則 ， 還必須進行條件的計算和判斷 ， 如果條件滿足 ， 才執(zhí)行響應(yīng)的動作 。 當前 ， 軟硬件結(jié)合的實現(xiàn)方式比較廣泛 ， 能夠比較好的解決這兩方面的問題 ， 特別 ， 當事件是一些中斷性質(zhì)的事件時 ， 必須有相應(yīng)硬件的支持 。它為決策者提供分析問題、建立模型、模擬決策過程和方案的環(huán)境，調(diào)用各種信息資源和分析工具，幫助決策者提高決策水平和質(zhì)量。3對知識部件的知識推理。 ? 推理部分由 知識庫 (KB)、 知識庫管理系統(tǒng)(KBMS)和 推理機 組成； ? 人機交互部分是決策支持系統(tǒng)的人機交互界面，用以接收和檢驗用戶請求，調(diào)用系統(tǒng)內(nèi)部功能 軟件 為決策服務(wù)，使模型運行、數(shù)據(jù)調(diào)用和知識推理達到有機地統(tǒng)一，有效地解決決策問題。 ? 2） 在多處理器系統(tǒng)中 ， 由于事件監(jiān)視器需要頻繁執(zhí)行 ， 消耗大量的 CPU資源 ， 因此 ， 適合用一個獨立的 CPU來實現(xiàn)事件監(jiān)視器 ， 這樣可以有效的將主動數(shù)據(jù)庫的負載進行分配 ， 數(shù)據(jù)庫的傳統(tǒng)功能和事件處理功能分開 ， 可以實現(xiàn)最大的處理并行度 。 規(guī)則條件部分的復(fù)雜性對規(guī)則的應(yīng)用來說是關(guān)鍵性的因素 ， 這不僅涉及它的說明 、 評價與監(jiān)視 ， 還直接關(guān)系到其數(shù)據(jù)庫模型的規(guī)范說明 。 許多數(shù)據(jù)庫系統(tǒng)都提供了更高層次的事件規(guī)范機制 ， 提供了一個事件操作符集合 。 (2)事件還標志著系統(tǒng)行為發(fā)生的時間屬性 ， 由于系統(tǒng)行為往往發(fā)生在一個時間段 ， 或是一個時間點 ， 事件可以用一個時間參照點來指明 。 ECA規(guī)則的構(gòu)成（ 2） 28 ? RULE(規(guī)則名 )[(參數(shù)列表 )]ON(事件列表 ) ? IF(條件 1)THEN ? 動作 1 ? [WHERE約束 1] ? [EXCEPTION例外處理動作 1] ? ．．．．．． ? IF(條件 n)THEN ? 動作 n ? [WHERE 約束 n ] ? [EXCEPTION 例外處理動作 n] ? END RULE ECA規(guī)則描述 29 ? 規(guī)則名用來在系統(tǒng)中唯一標識該規(guī)則 ， 在進行規(guī)則的匹配 ， 管理是用來指定規(guī)則 ? 參數(shù)列表 ， 參數(shù)列表是可選的 ， 在檢查該規(guī)則時 ， 這些參數(shù)將帶入系統(tǒng)的實時值 。 ? 面向數(shù)據(jù)庫本身：主動數(shù)據(jù)庫設(shè)施還可以用來實現(xiàn)或擴展 DBMS本身的一些功能 ， 包括：完整性控制 、 安全性控制 、 導(dǎo)出數(shù)據(jù)處理 、 面向?qū)ο髷?shù)據(jù)模型中繼承機制的定義與應(yīng)用和性能測度 。 ? 從知識使用的角度來看 ， 知識庫是由知識和知識處理機構(gòu)組成 。 1980年代 Guy L. Steele編寫了 Common Lisp試圖進行標準化 ， 這個標準被大多數(shù) 解釋器 和 編譯器 所接受 。 因此 ， 在邏輯上 Prolog對應(yīng)于數(shù)學(xué)的證明論 。 框架理論將框架視作知識單位 ， 將一組有關(guān)的框架連接起來便形成框
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1