2022知識(shí)表示方法

知識(shí)是人們?cè)诟脑炜陀^世界的實(shí)踐中積累起來的認(rèn)識(shí)和認(rèn)識(shí)：經(jīng)驗(yàn)：包括解決問題的微觀方法：宏觀方法：（3）Heyes-Roth：數(shù)據(jù)信息知識(shí)常用的關(guān)聯(lián)方式：if……then……常識(shí)性知識(shí)：領(lǐng)域性知識(shí)：面向某個(gè)具體專業(yè)領(lǐng)域的知識(shí)。例如：表層知識(shí)：深層知識(shí)：確定性知識(shí)：不確定性知識(shí)：不精確：模糊：不完備： 表示能力：可利用性：對(duì)推理的適應(yīng)性：對(duì)高效算法的支持程度：可實(shí)現(xiàn)性：可組織性：可維護(hù)性：自然性：可理解性：?jiǎn)栴}求解(problemsolving)是個(gè)大課題，它涉及歸在分析了人工智能研究中運(yùn)用的問題求解方法之法，它是以狀態(tài)和算符(operator)狀態(tài)（State）算符狀態(tài)空間方法（MethodonStateq0q1，…，qn的有序矢量形式：矢量形式：Q=[q0,態(tài)，如Qk=[q０k,,q1k,…,qnk]算運(yùn)算符號(hào)或邏輯符號(hào)等它包含三種說明的集合,即三元狀態(tài)S—F—下棋、迷宮及各種游戲初始棋 目標(biāo)棋*——為每個(gè)棋牌制定一套可能的走*——僅為空格制定這4種走步，因*

初始狀 目標(biāo)狀有向圖(directed圖:由節(jié)點(diǎn)（不一定是有限的節(jié)點(diǎn)） 代價(jià)加在各弧線的指定數(shù)值，以表示加在相應(yīng)算符上的代價(jià)以擴(kuò)展節(jié)點(diǎn)操作（算符產(chǎn)生式系統(tǒng)（Production 一個(gè)總數(shù)據(jù)庫(globaldatabase)：它含有與具體任務(wù)有 例2.1推銷員旅行問題（旅行商問題 狀態(tài)描述：目前為止訪問過的城市列表初始狀態(tài)：目標(biāo)狀態(tài)： 圖2.4算符：下一步走向的城市約束：每個(gè)城市只能走過一次，A 有3個(gè)柱子(1，2，3)和3個(gè)不同尺寸的圓盤，C)。在每個(gè)圓盤的中心有個(gè)孔，所以圓盤可以個(gè)，而且只能先搬動(dòng)柱子頂部的圓盤，還不許把(a)初始狀 (b)目標(biāo)狀原始問題歸約（簡(jiǎn)化）可以用一個(gè)與圖來表示(左圖)來決定，則可以用一個(gè)或圖來表示(右圖)如果某條弧線從節(jié)點(diǎn)a指向節(jié)點(diǎn)b，那么節(jié)點(diǎn)ab的父輩節(jié)點(diǎn)；節(jié)點(diǎn)b叫做節(jié)點(diǎn)a終葉節(jié)點(diǎn)，是對(duì)應(yīng)于原問題的本原節(jié)點(diǎn)一個(gè)子問題集合；有向弧線自A指向后繼節(jié)點(diǎn)表示所求得的子合中所有的項(xiàng)都有解時(shí)，這個(gè)子問題的集合才能獲得解答，所 2--假必居其一且只居其一例1小于大于例28大于10嗎請(qǐng)勿吸煙大于我正在撒謊以p、q、r以1表示真，0則命題就抽象為：取值為0或1的p等符號(hào)若p取值1，則表示p若p取值0，則表示p“復(fù)雜命題例3(1)期中考試張三沒有考及格(2)期中考試張三和李四都考及格了(3)期中考試張三和李四中有人考90分(4)如果張三能考90分那么李四也能考90分(5)張三能考90分當(dāng)且僅當(dāng)李四也能考90分定義1：設(shè)p為一個(gè)命題,復(fù)合命題“非p”稱為p的否定?例3中若p代表“期中考試張三考及格了(1)“期中考試張三沒有考及格.”可表示為定義2設(shè)p、q為兩個(gè)命題，復(fù)合命題“p而且q”稱為p、q例3的(2)“期中考試張三和李四都考及格了.”可記為p∧q其定義3設(shè)p、q為兩個(gè)命題，復(fù)合命題“p或者q”稱為p、q的析取式，記為p∨q，“∨”稱作析取聯(lián)結(jié)詞。pq為真當(dāng)且僅當(dāng)p與q中至少例3的(3)“期中考試張三和李四中有人考90分.”可記為pq其中p“相容或”與“相異或日常語言中“或”有兩種標(biāo)準(zhǔn)用法例如(1)張三或者李四考了90分(2)第一節(jié)課上數(shù)學(xué)課或者上英語課 前者稱為“相容或”，后者稱為“相異或”前者(“相容或”)可表示為p∨q注意：不能見了或就表示為p∨q定義4設(shè)p、q為命題,復(fù)合命題“如果p,則q”稱為p對(duì)q的蘊(yùn)涵式，記作p→q其中又稱p為此蘊(yùn)涵式的前件，稱q為此蘊(yùn)涵式的后件，“→”稱為蘊(yùn)涵聯(lián)結(jié)詞?！皃→q”假。而在定義5設(shè)p、q為命題,復(fù)合命題“p當(dāng)且僅當(dāng)q”稱作p、q的等價(jià)式記作p?q“?”稱作等價(jià)聯(lián)p?q真當(dāng)且僅當(dāng)p、q同時(shí)為真或同時(shí)為假定義去理解,而不能據(jù)日常語言的含義去理解。不能“對(duì)號(hào)入座”，如見到“或”就表示為“∨”有些詞也可表示為這五個(gè)聯(lián)結(jié)詞，如“但是”“∧”在今后我們主要關(guān)心的是命題間的真假值的關(guān)系而不討例4將下列命題符號(hào)化(1)鐵和氧化合但鐵和氮不化合(2)如果我下班早就去商店看看除非我很累(3)李四是計(jì)算機(jī)系的學(xué)生他住在312室或313室解（1）鐵和氧化合但鐵和氮不化合p代表“鐵和氧化合q代表“鐵和氮化合” （2）如果我下班早就去商店看看除非我很((?P)∧q)→r，其中p代表“我很累q代表“我下班早（3）李四是計(jì)算機(jī)系的學(xué)生他住在312室或313室p∧((q∧(?r))若A,B是命題公式，則~AABABA,A?BI1(G)= 注意：關(guān)于五個(gè)聯(lián)結(jié)詞的約定 結(jié)合力的強(qiáng)弱順序：?，∧，∨，→， (P?Q)=(P→Q)∧(Q→?(?P)=交換律：PQ=QPQ=Q結(jié)合律：P(QR)=(PQ)RP(QR)=(PQ)R分配律：P(QR)=(PQ)PR)P(QR)=(PQ)(PR)泛界律：PF=PPP∧F=F P∨互余律：P P摩根定律：~(PQ)=~P~(PQ)=~P例如要證明公式 PQ=~Q~P PQ=~PQ=~P~(~Q=~(~Q)=~Q若命題公式G→H是恒真的，稱其為永真蘊(yùn)涵式。PP PPQ=~P(P=~PP=TQ=PQ PQP=~(PQ)=~P~Q=T~Q=P(PQ)4.(PQ)~Q5.~P(PQ)6.(PQ)(QR)(P7.(PQ)((QR)(P8.((PQ)(RS))(PRQ9.((PQ)(QR))(P (P∧Q)→R不是恒真的。如：解釋: 則公式為假值F.就是說解釋I弄假了此公

x=y×z

“是質(zhì)數(shù)”、“生于”、“…=...×對(duì)于上面的命題，可以用謂詞公式分別表示為”一般來說，“x是A”類型的命題可以用A（x）表達(dá)。對(duì)于“x大于y”這種兩個(gè)個(gè)體為一元謂 B（x，y）稱為二元謂詞，（a，b，c）函數(shù)符號(hào)INROOM(ROBOT,謂詞符 常量符 句子“所有的機(jī)器人都是灰色的”連詞和量詞LIKE(I，MUSIC)∧LIKE(I李住在一座黃色的房子里L(fēng)IVE（LI，HOUSE-1）∧COLOR（HOUSE- 析取(disjunction)—用連詞∨把幾個(gè)公式連接起例：李力打籃球或踢足球 蘊(yùn)涵（Implication—用連詞→“如果—那么”的 RUNS(LIUHUAFASTEST)→(LIUHUA，例如，“如果該書是何平的，那么它是藍(lán)色的OWN（HEPING，BOOK-1)→COLOR（BOOK-非（Not)用符號(hào)～表示否定的公式（有～全稱量詞（UniversalQuantifiers(?x)[Student(X)→Uniform(x,(?x)[Robot(X)→COLOR(x,存在量詞（ExistentialQuantifiers若一個(gè)原子公式P(x)至少有一個(gè)變?cè)猉為T值則用(?x)P(x)例：1?x的轄域是?x的轄域是(?x)[P(x)∧R(x)]→(?x)P(x)∧Q(x)中的x束變?cè)?并指明量詞的轄域。 約束變?cè)?，R(x，y)中的x，y是約束變?cè)?1)分析命題中表示性質(zhì)和關(guān)系的謂詞，分別符號(hào)化為一元和n（n2）元謂詞。(2)根據(jù)命題的實(shí)際意義選用全稱量詞或存(3)在不同的個(gè)體域中，命題符號(hào)化的形式P為nx1,x2,…xn為客體變量或變?cè)Ｍê鲜焦剑╓FF,well-formedformulas等價(jià)（A∧B）,（A∨B）,（A→B） :PQ是兩個(gè)合式公式，則由這兩個(gè)合式量詞否定(1)(2)例 表示知識(shí)“所有教師都有自己的學(xué)生”定義謂詞：T(x)：表示x是教師。S(y)：表示yTS(x,y)：表示x是y y)(T(x)→TS(x,y)∧S 例2定義謂詞：I(x)：x是整數(shù)，E(x)：x是偶數(shù)，O(x)：x表示知識(shí) x)(I(x)→例 表示如下知識(shí)COMPUTER(x)：表示xCLASSMATE(x,y)：表示x和yCOMPUTER(WangCLASSMATE(WangHong,Li x)(COMPUTER(x)→LIKE(x,機(jī)器人移盒子問題TABLE(x)：xEMPTY(y)：yAT(y,z)：y在zHOLDS(y,w)：y拿著ON(w,x)：w在xx的個(gè)體域是{a,z的個(gè)體域是{a,b,w的個(gè)體域是機(jī)器人移盒子問題ON(box,ON(box,

TABLE(x)：xEMPTY(y)：yAT(y,z)：y在zHOLDS(y,w)：y拿著ON(w, 機(jī)器人移盒子問題條件部分：動(dòng)作部分： Setdown(y)：在x機(jī)器人移盒子問題 機(jī)器人移盒子問題AT(robot,開 ON(box,狀態(tài)AT(robot,Goto(c, ==========>ON(box,狀態(tài)AT(robot, 機(jī)器人移盒子問題狀態(tài)AT(robot,Goto(a, 狀態(tài)AT(robot, ==========>ON(box,AT(robot,Goto(b, ON(box, AT(x,y)： x：{monkey,box,Y：{a,b,AT(monkey,AT(box,?ONBOX，?AT(monkey,c)，AT(box,ONBOX Goto(u,v)：猴子從u處走到vPushbox(v,w)：猴子推著箱子從v處移到wGoto(u,條件：?ONBOX，AT(monkey,動(dòng)作：刪除表：AT(monkey,添加表：AT(monkey,Pushbox(v,?ONBOX，AT(monkey,v)，AT(box,動(dòng)作：刪除表：AT(monkey,v)，AT(box,添加表：AT(monkey,猴子摘香蕉問題?ONBOX，AT(monkey,?條件：ONBOX，AT(box,? 靈活： 知識(shí)庫管理困難： π解πa(?zR(z)人總是要死的“x是不怕死的”(?x(?x如果論域是全總個(gè)體域，用M(x)表示“x是人”人總是要死的。(?xM(x(?xM(x（1）對(duì)全稱量詞，特性謂詞作為蘊(yùn)含式的前件（2）對(duì)存在量詞，特性謂詞作為合取項(xiàng)(?xM(xD(xxQ(x)：xF(x)：x(?x)[Q(x)→xC(x)xT(x)x(?x)[C(x)∧例：對(duì)于任意x,y，都存在唯一的z，使x+y=z(?x)(?y)(?z)[(x+y=z)(?u)(x+y=u→xy:Z(x):x(?x){Z(x)∧(?y)[Z(y)∧~(y=x)→ 設(shè)有下列知識(shí) BIGGER(x,y) BIGGER(liuhuan,father(liuhuan(2)COMPUTERxxLIKE(xyxCOMPUTER(gaoyang)∧?LIKE(gaoyang,(3)I(x)：x是整數(shù)， （1）?xP[x,f(y),B]一般說來，置換是可結(jié)合的，但置換是不可交換合一則稱s為公式集F的一個(gè)合一。F={P(x,y,f(y)),P(a,g(x),s={a/x,g(a)/y,語義網(wǎng)絡(luò)是奎廉(J.R.Quillian)1968年在研究什么是語義網(wǎng)絡(luò)語義網(wǎng)絡(luò)是一種用實(shí)體及其語義關(guān)系來表達(dá)知識(shí)的有向圖 什么是語義網(wǎng)絡(luò) 用語義網(wǎng)絡(luò)表示“鴕鳥是一種鳥例：“雪的顏色是白的例：規(guī)則R的含義是“如 B語義網(wǎng)絡(luò)實(shí)例關(guān)系：分類（泛化）關(guān)系：屬性關(guān)系：集合與成員關(guān)系：成員（或元素）所屬關(guān)系：“具有”基本的語義關(guān)系 A-Member- 指事物和其屬性之間的關(guān)系。常用的屬性關(guān)系有Can：“能”、“會(huì)”例如：“鳥有翅膀Age“年齡”例如：“張強(qiáng)18歲 Part-of：含義為“是一部分”例如，“大腦是人體的一部分Part-再如，“黑板是墻體的一部分Part-聚類關(guān)系如上兩個(gè)例子，黑板也不具有墻的各種屬性 例如：“北京奧運(yùn)會(huì)在悉尼奧運(yùn)會(huì)之后Located-at：含義為“在”例如，“書在桌子上例如，“貓似虎常用：“是”、“有”、“會(huì)”、“能”等語義關(guān)系來說明。如，“雪是白的應(yīng)該說，語義網(wǎng)絡(luò)表示的是二元關(guān)系。如何用它來描述一元關(guān)系結(jié)點(diǎn)1表示實(shí)體，結(jié)點(diǎn)2例如，“李剛是一個(gè)人”例2.8用語義網(wǎng)絡(luò)表示“動(dòng)物能運(yùn)動(dòng)、會(huì)吃表示二元關(guān)系 對(duì)復(fù)雜關(guān)系，可通過一些相對(duì)獨(dú)立的二元或一元關(guān)系的組合來實(shí)現(xiàn)例2-9 表示二元關(guān)系

表示二元關(guān)系例2-10-表示二元關(guān)系王紅的汽車的款式是“凱越”汽車汽車汽車

情況的表示表示方法：西蒙提出了增加情況和動(dòng)作例2-12

情況的表示 用語義網(wǎng)絡(luò)表示事件或動(dòng)作時(shí)，需要設(shè)立一個(gè)事件或動(dòng)作動(dòng)作結(jié)點(diǎn)：例2-13

例2-14:用語義網(wǎng)絡(luò)表示如下事實(shí)：A教師、高 B教師、C學(xué)生、高 D學(xué)生、1.JohngaveMarythebook 特定的給某人東西的事件。B232.ISA(A，B)∨PART-JohnisaprogrammerorMaryisa可分為基本語義關(guān)系的否定和一般語義關(guān)系 對(duì)一般語義關(guān)系的否定，通常需要引進(jìn)“非”節(jié)點(diǎn)例2-16采用引進(jìn)“非”ANTE；另一條代表結(jié)論，標(biāo)記為CONSE例2-18

存在和全稱量詞的表示存在量詞：可直接用“ISA”、“AKO”全稱量詞： 基本思想：簡(jiǎn)單的語義網(wǎng)絡(luò)表示，稱為一個(gè)子空間，多個(gè)子空間構(gòu)成一個(gè)大空間。每個(gè)子空間看作是大空間中的一個(gè)結(jié)點(diǎn)，稱作超結(jié)點(diǎn)?？臻g可逐層嵌套，子空間之間用弧互相連結(jié)。 用語義網(wǎng)絡(luò)表示如下事實(shí)g是一個(gè)實(shí)例結(jié)點(diǎn)，代表GS生s，都存在一個(gè)學(xué)習(xí)事件l和一門程序設(shè)計(jì)語言p

存在和全稱量詞的表示 實(shí)例；弧“F”說明它所代表的子空間及其具體形式；弧“”說明存在和全稱量詞的表示 例2-19其語義網(wǎng)絡(luò)如下圖所示。其中，結(jié)點(diǎn)g存在和全稱量詞的表示 例2-21: (1)建立一個(gè)結(jié)點(diǎn)表，用來存放待求解結(jié)點(diǎn)和所有以ISA、AKO等繼承弧 (2)檢查表中的第一個(gè)結(jié)點(diǎn)是否是有繼承弧。如果有，就把該弧所指的所 (3)重復(fù)(2)，直到結(jié)點(diǎn)表為空。此時(shí)，記錄下來的所有屬性都是待求解結(jié)例如，在圖2-20（P48）”

1. 值繼 ISA“如果需要”繼承if-“缺省繼承 不確定2.總之，ISA和AKO層傳遞到另一層的途徑。是指在知識(shí)庫的語義網(wǎng)絡(luò)中尋找與待求解問題相符的語義網(wǎng)絡(luò)模式 (1)根據(jù)待求解問題的要求構(gòu)造一個(gè)網(wǎng)絡(luò)片斷，該網(wǎng)絡(luò)片斷中有些結(jié)點(diǎn)或弧(2) (3)當(dāng)待求解問題的網(wǎng)絡(luò)片斷與知識(shí)庫中的某語義網(wǎng)絡(luò)片斷相匹配時(shí)，則與:假設(shè)例2-10 若還想知道職員王強(qiáng)的其它情況，則可在語義網(wǎng)絡(luò)中增加相應(yīng)的空183 結(jié)構(gòu)性把事物的屬性以及事物間的各種語義聯(lián)系顯式地表示出來，是一種結(jié)構(gòu) 聯(lián)想性本來是作為人類聯(lián)想記憶模型提出來的，它著重強(qiáng)調(diào)事物間的語義聯(lián)系， 自索引性把各接點(diǎn)之間的聯(lián)系以明確、簡(jiǎn)潔的方式表示出來，通過與某一結(jié)點(diǎn) 自然性這種帶有標(biāo)識(shí)的有向圖，可比較直觀地把知識(shí)表示出來，符合人們表達(dá) 非嚴(yán)格性沒有象謂詞那樣嚴(yán)格的形式表示體系，一個(gè)給定語義網(wǎng)絡(luò)的含義完全 復(fù)雜性語義網(wǎng)絡(luò)表示知識(shí)的手段是多種多樣的，這雖然對(duì)其表示帶來了靈活性，補(bǔ)充:例如，要表達(dá)北京大學(xué)(BEIJINGUniversity,簡(jiǎn)稱BU)和清華大學(xué)(TSINGHUAUniversity,簡(jiǎn)稱TU)若用謂詞邏輯可表示為補(bǔ)充:存在量化在語義網(wǎng)絡(luò)中可直接用ISA鏈Thedogbitthe Everydoghasbittena(x)[DOG(x)述句）：Adoghasbittenapostman。因?yàn)檫@的斷言認(rèn)作是斷言G。斷言G有兩部分：第一部(FORM)；第二部分是代