知識圖譜與知識推理PPT課件

1、2021/3/912021/3/92知識圖譜與知識推理知識圖譜與知識推理知識圖譜概述知識圖譜概述知識圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識圖譜基本概念知識圖譜基本概念基于符號的知識圖譜表示與推理基于符號的知識圖譜表示與推理知識圖譜與推理實例知識圖譜與推理實例2021/3/93知識圖譜基礎(chǔ) 知識圖譜 也稱科學(xué)知識圖譜，它通過將應(yīng)用數(shù)學(xué)、圖形學(xué)、信息可視化技術(shù)、信息科學(xué)等學(xué)科的理論與方法與計量學(xué)引文分析、共現(xiàn)分析等方法結(jié)合 并利用可視化的圖譜形象地展示學(xué)科的核心結(jié)構(gòu)、發(fā)展歷史、前沿領(lǐng)域以及整體知識架構(gòu)達到多學(xué)科融合目的的現(xiàn)代理論。 為學(xué)科研究提供切實的、有價值的參考。 知識圖譜 實體

2、及其之間的關(guān)系圖； 規(guī)模：億個對象，億個事實和關(guān)系；2021/3/94知識圖譜基礎(chǔ) 知識圖譜的本質(zhì)：知識庫、語義網(wǎng)絡(luò)； 知識庫：知識的數(shù)據(jù)庫； 例如：是一個知識庫； 知識圖譜的形式：、圖數(shù)據(jù)庫； 提供了資源的通用描述方式: 圖數(shù)據(jù)庫是指以圖作為數(shù)據(jù)結(jié)構(gòu)存儲和查詢數(shù)據(jù)的數(shù)據(jù)庫； 例如：、等；2021/3/95 年提出語義網(wǎng)的概念 通過給全球信息網(wǎng)上的文檔（如：標(biāo)準(zhǔn)通用標(biāo)記語言下的一個應(yīng)用）添加能夠被計算器所理解的語義“元數(shù)據(jù)”（），從而使整個互聯(lián)網(wǎng)成為一個通用的信息交換媒介 2021/3/96已有的知識圖譜2021/3/97知識圖譜歷史2021/3/98知識圖譜的應(yīng)用 問答 精準(zhǔn)搜索2021/3

3、/99知識圖譜與知識推理知識圖譜與知識推理知識圖譜概述知識圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識圖譜基本概念基于符號的知識圖譜表示與推理知識圖譜與推理實例2021/3/910知識圖譜概覽(基于符號的表示) 知識圖譜本質(zhì)上是一種語義網(wǎng)絡(luò)，其： 結(jié)點代表實體（）或者概念（）； 邊代表實體概念之間的各種語義關(guān)系屬性。 關(guān)系事實 (, , ) ：頭部實體 ：關(guān)系屬性 ：尾部實體2021/3/911推理機制 相等變換：如相等變換：如 假言推理（三段論）：如果假言推理（三段論）：如果 且且 則則 : (, ) (, ) : () () () () : (, ) (, ) .2021/3/912基于符號的知識表示與推理

4、 符號表示知識方法及實現(xiàn) 邏輯表示法： 用于描述謂詞之間關(guān)系的公理； 語義網(wǎng)絡(luò)表示法 框架表示法 表示與該框架相關(guān)的對象集合； 腳本表示法 是一個事件序列，包含了一組緊密相關(guān)的動作及改變狀態(tài)的框架； () () () ()框框架架例例子子2021/3/913語義網(wǎng)中的推理 語義網(wǎng)中通常使用的語義關(guān)系 (概念之間的繼承關(guān)系) (整體與部分關(guān)系) 領(lǐng)域特定的語義關(guān)系2021/3/914知識圖譜與知識推理知識圖譜與知識推理知識圖譜概述知識圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識圖譜基本概念基于符號的知識圖譜表示與推理知識圖譜與推理實例2021/3/915知識圖譜和推理實例以交通事件以交通事件圖譜為例圖譜為例202

5、1/3/916知識圖譜和推理實例 北京路發(fā)生追尾。北京路發(fā)生追尾。 追尾被定義為一種交通事故。追尾被定義為一種交通事故。 發(fā)生事故會導(dǎo)致?lián)矶隆０l(fā)生事故會導(dǎo)致?lián)矶隆Ｍ跞A？褚歆辰？李由莉？吳朗？推理規(guī)則：推理規(guī)則：如果用戶所在的道路發(fā)如果用戶所在的道路發(fā)生交通事故，則用戶被生交通事故，則用戶被堵在路上。堵在路上。哪些用戶被堵哪些用戶被堵在路上？在路上？2021/3/917知識圖譜和推理實例 AllegroGraph 一種圖數(shù)據(jù)庫； 存儲(主語, 謂語, 賓語)三元組 支持SPARQL和 Prolog； 在內(nèi)建的推理機上進行推理；Prolog語句：語句：(select (?w ?z) (q- ?w !dom:locationIn ?x) (q- ?x !dom:happen ?y) (q- ?y !dom:lead ?z)UserE