知識(shí)圖譜與知識(shí)推理課件

知識(shí)圖譜與知識(shí)推理知識(shí)圖譜與知識(shí)推理知識(shí)圖譜與知識(shí)推理知識(shí)圖譜概述知識(shí)圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識(shí)圖譜基本概念基于符號(hào)的知識(shí)圖譜表示與推理知識(shí)圖譜與推理實(shí)例知識(shí)圖譜與知識(shí)推理知識(shí)圖譜概述知識(shí)圖譜基礎(chǔ)知識(shí)圖譜也稱科學(xué)知識(shí)圖譜，它通過將應(yīng)用數(shù)學(xué)、圖形學(xué)、信息可視化技術(shù)、信息科學(xué)等學(xué)科的理論與方法與計(jì)量學(xué)引文分析、共現(xiàn)分析等方法結(jié)合并利用可視化的圖譜形象地展示學(xué)科的核心結(jié)構(gòu)、發(fā)展歷史、前沿領(lǐng)域以及整體知識(shí)架構(gòu)達(dá)到多學(xué)科融合目的的現(xiàn)代理論。為學(xué)科研究提供切實(shí)的、有價(jià)值的參考。Google知識(shí)圖譜實(shí)體及其之間的關(guān)系圖；規(guī)模：5億個(gè)對(duì)象，35億個(gè)事實(shí)和關(guān)系；知識(shí)圖譜基礎(chǔ)知識(shí)圖譜知識(shí)圖譜基礎(chǔ)知識(shí)圖譜的本質(zhì)：知識(shí)庫、語義網(wǎng)絡(luò)；知識(shí)庫：知識(shí)的數(shù)據(jù)庫；例如：Freebase是一個(gè)知識(shí)庫；知識(shí)圖譜的形式：RDF、圖數(shù)據(jù)庫；RDF提供了資源的通用描述方式:圖數(shù)據(jù)庫是指以圖作為數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)和查詢數(shù)據(jù)的數(shù)據(jù)庫；例如：GraphDB、AllegroGraph等；知識(shí)圖譜基礎(chǔ)知識(shí)圖譜的本質(zhì)：知識(shí)庫、語義網(wǎng)絡(luò)；SemanticWebTimBerners-Lee1998年提出語義網(wǎng)的概念通過給全球信息網(wǎng)上的文檔（如：標(biāo)準(zhǔn)通用標(biāo)記語言下的一個(gè)應(yīng)用HTML）添加能夠被計(jì)算器所理解的語義“元數(shù)據(jù)”（Metadata），從而使整個(gè)互聯(lián)網(wǎng)成為一個(gè)通用的信息交換媒介Page/DocumentwebDatawebSemanticWebTimBerners-Lee19已有的知識(shí)圖譜已有的知識(shí)圖譜知識(shí)圖譜歷史知識(shí)圖譜歷史知識(shí)圖譜的應(yīng)用問答精準(zhǔn)搜索知識(shí)圖譜的應(yīng)用問答知識(shí)圖譜與知識(shí)推理知識(shí)圖譜概述知識(shí)圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識(shí)圖譜基本概念基于符號(hào)的知識(shí)圖譜表示與推理知識(shí)圖譜與推理實(shí)例知識(shí)圖譜與知識(shí)推理知識(shí)圖譜概述知識(shí)圖譜概覽(基于符號(hào)的表示)知識(shí)圖譜本質(zhì)上是一種語義網(wǎng)絡(luò)，其：結(jié)點(diǎn)代表實(shí)體（entity）或者概念（concept）；邊代表實(shí)體/概念之間的各種語義關(guān)系/屬性。關(guān)系事實(shí)=(head,relation,tail)head：頭部實(shí)體relation：關(guān)系/屬性tail：尾部實(shí)體知識(shí)圖譜概覽(基于符號(hào)的表示)知識(shí)圖譜本質(zhì)上是一種語義網(wǎng)絡(luò)，推理機(jī)制相等變換：如P∧True|?True假言推理（三段論）：如果P|?Q且P則QUniversalElimination:?xLoves(x,FOPC)|?Loves(Ray,FOPC)ExistentialElimination:?x(Owns(Mary,x)∧Cat(x))|?Owns(Mary,MarysCat)∧Cat(MarysCat)ExistentialIntroduction:Loves(Ray,FOPC)|??xLoves(x,FOPC)...推理機(jī)制相等變換：如P∧True|?True基于符號(hào)的知識(shí)表示與推理符號(hào)表示知識(shí)方法及實(shí)現(xiàn)Logic邏輯表示法：用于描述謂詞之間關(guān)系的公理；SemanticNet語義網(wǎng)絡(luò)表示法Frame框架表示法Frame表示與該框架相關(guān)的對(duì)象集合；Script腳本表示法是一個(gè)事件序列，包含了一組緊密相關(guān)的動(dòng)作及改變狀態(tài)的框架；?x,yBachelor(x)?Male(x)∧Adult(x)∧??yMarried(x,y)框架例子基于符號(hào)的知識(shí)表示與推理符號(hào)表示知識(shí)方法及實(shí)現(xiàn)?x,yBa語義網(wǎng)中的推理語義網(wǎng)中通常使用的語義關(guān)系IS-A(概念之間的繼承關(guān)系)PART-OF(整體與部分關(guān)系)領(lǐng)域特定的語義關(guān)系語義網(wǎng)中的推理語義網(wǎng)中通常使用的語義關(guān)系知識(shí)圖譜與知識(shí)推理知識(shí)圖譜概述知識(shí)圖譜發(fā)展歷史與現(xiàn)有應(yīng)用知識(shí)圖譜基本概念基于符號(hào)的知識(shí)圖譜表示與推理知識(shí)圖譜與推理實(shí)例知識(shí)圖譜與知識(shí)推理知識(shí)圖譜概述知識(shí)圖譜和推理實(shí)例以交通事件圖譜為例知識(shí)圖譜和推理實(shí)例以交通事件圖譜為例知識(shí)圖譜和推理實(shí)例BeijingRoad??happen.Rear-end北京路發(fā)生追尾。Rear-end?Accident追尾被定義為一種交通事故。?happen.Accidient?Congestion發(fā)生事故會(huì)導(dǎo)致?lián)矶?。UserLocationEvent王華ShanghaiRoad？褚歆辰BeijingRoad？李由莉ShanghaiRoad？吳朗BeijingRoad？推理規(guī)則：如果用戶所在的道路發(fā)生交通事故，則用戶被堵在路上。哪些用戶被堵在路上？知識(shí)圖譜和推理實(shí)例BeijingRoad??happen知識(shí)圖譜和推理實(shí)例AllegroGraph一種圖數(shù)據(jù)庫；存儲(chǔ)(主語,謂語,賓語)三元組支持SPARQL和Prolog；在內(nèi)建的推理機(jī)上進(jìn)行推理；Prolog語句：(select(?w?z)(q-?w!dom:locationIn?x)(q-?x!dom:happen