




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
第二章知識(shí)表示方法
第五節(jié)語(yǔ)義網(wǎng)絡(luò)表示
?語(yǔ)義網(wǎng)絡(luò)的基本概念
耳什么是語(yǔ)義網(wǎng)絡(luò)
>語(yǔ)義網(wǎng)絡(luò)是一種用實(shí)體及其語(yǔ)義關(guān)系來(lái)表達(dá)知識(shí)的有向圖。
■帶標(biāo)志的有向圖
■語(yǔ)義網(wǎng)絡(luò)是知識(shí)的一種結(jié)構(gòu)化圖解表示方法
■由節(jié)點(diǎn)(node)和弧線或鏈線組成
>節(jié)點(diǎn):表示實(shí)體,表示各種事物、概念、情況、屬性、狀態(tài)、事件、動(dòng)作等。
>弧線:代表語(yǔ)義關(guān)系,表示它所連接的兩個(gè)實(shí)體之間的語(yǔ)義聯(lián)系
>在語(yǔ)義網(wǎng)絡(luò)表示中,每一個(gè)節(jié)點(diǎn)和弧都必須有標(biāo)志,用來(lái)說(shuō)明它所代表的實(shí)體或
語(yǔ)義。
>語(yǔ)義網(wǎng)絡(luò)的結(jié)構(gòu)
■詞法:詞匯表中允許有哪些符號(hào),它涉及各個(gè)節(jié)點(diǎn)和弧
■結(jié)構(gòu):符號(hào)排列的約束條件,指定各弧線連接的節(jié)點(diǎn)對(duì)
■過(guò)程:訪問(wèn)過(guò)程,這些過(guò)程能用來(lái)建立和修正描述,以及回答相關(guān)問(wèn)題
■語(yǔ)義:確定有關(guān)節(jié)點(diǎn)的排列及其占有物和對(duì)應(yīng)弧線
>從結(jié)構(gòu)上來(lái)看,語(yǔ)義網(wǎng)絡(luò)一般由一些最基本的語(yǔ)義單元組成。這些最基本的語(yǔ)義
單元被稱為語(yǔ)義基元。語(yǔ)義基元可用如(節(jié)點(diǎn)1,弧,節(jié)點(diǎn)2)這樣一個(gè)三元組來(lái)
描述。它的結(jié)構(gòu)可以用一個(gè)基本網(wǎng)元來(lái)表示。
>基本網(wǎng)元:指一個(gè)語(yǔ)義基元對(duì)應(yīng)的有向圖。
例如:若有語(yǔ)義基元(A,R,B),其中,A、B分別表示兩個(gè)結(jié)點(diǎn),R表示A與B之間的
某種語(yǔ)義聯(lián)系,則它所對(duì)應(yīng)的基本網(wǎng)元如下圖所示:
R
A--------->B
當(dāng)把多個(gè)語(yǔ)義基元用相應(yīng)的語(yǔ)義聯(lián)系關(guān)聯(lián)到一起就形成了語(yǔ)義網(wǎng)絡(luò)。語(yǔ)義網(wǎng)絡(luò)中弧的方向
是有意義的,不能隨意調(diào)換。
》語(yǔ)義網(wǎng)絡(luò)與謂詞邏輯
>語(yǔ)義網(wǎng)絡(luò)表示和謂詞邏輯表示有著對(duì)應(yīng)的表示能力。從邏輯上看,一個(gè)基本網(wǎng)元
相當(dāng)于一組二元謂詞。三元組(節(jié)點(diǎn)1,弧,節(jié)點(diǎn)2)可用謂詞邏輯表示為P(節(jié)
點(diǎn)1,節(jié)點(diǎn)2),其中弧的功能由謂詞完成。
4基本語(yǔ)義關(guān)系
>實(shí)例關(guān)系:即一個(gè)事物是另一個(gè)事物的具體例子。例如"我是一個(gè)人"。弧上的
語(yǔ)義標(biāo)記為"ISA",即為"isa",含義為"是一個(gè)"。
>分類關(guān)系(泛化關(guān)系):表示一個(gè)事物是另一個(gè)事物的一個(gè)成員,體現(xiàn)的是子類
H
與父類的關(guān)系,弧的語(yǔ)義標(biāo)記為"AKO",即為akindofo
AKOII
鳥-----------------H動(dòng)物
>成員關(guān)系:體現(xiàn)個(gè)體與集體的關(guān)系,表示一個(gè)事物是另一個(gè)事物的成員型?;〉?/p>
語(yǔ)義標(biāo)志為"A-Member-of*'。
----------|A_Member_Of------------
李-------J黨員
上述關(guān)系的主要特征一屬性繼承,處在具體層的結(jié)點(diǎn)可以繼承抽象層結(jié)點(diǎn)的所有屬性。
>包含關(guān)系(聚類關(guān)系):是指具有組織或結(jié)構(gòu)特征的"部分與整體”之間的關(guān)
系。弧的語(yǔ)義標(biāo)志為“Part-o『。跟分類關(guān)系最主要區(qū)別在于包含關(guān)系一般不具備
屬性的繼承性。
Part-of
手----------------A人
>屬性關(guān)系:指事物和其屬性之間的關(guān)系,一個(gè)結(jié)點(diǎn)是另一個(gè)結(jié)點(diǎn)的屬性值。常用的
屬性關(guān)系有:Is,Can等;或具體的屬性名詞。
2
A擁有關(guān)系:Have,Own
Has
李---------*Car
>時(shí)間關(guān)系:表示時(shí)間上的先后次序關(guān)系。常用的時(shí)間關(guān)系有:
■Before:表示一個(gè)事件在另一個(gè)事件之前發(fā)生
■After:表示一個(gè)事件在另一個(gè)事件之后發(fā)生
Before
唐朝------------1宋朝
>位置關(guān)系:是指不同的事物在位置方面的關(guān)系,常用的有:
■Located-on:表示某一物體在另一物體上面
■Located-at:表示某一物體所處的位置
■Located-under:表示某一物體在另一物體下方
■Located-inside:表示某一物體在另一物體內(nèi)
■Located-outside:表示某一物體在另一物體外
當(dāng)把多個(gè)基元用相應(yīng)語(yǔ)義關(guān)聯(lián)在一起時(shí),就可以得到一個(gè)語(yǔ)義網(wǎng)絡(luò)
3
?語(yǔ)義網(wǎng)絡(luò)表示法的應(yīng)用
府語(yǔ)義網(wǎng)絡(luò)表示一元關(guān)系
>所謂一元關(guān)系就是一些最簡(jiǎn)單、最直觀的事物或概念,例如"雪是白的"、"天
是藍(lán)的"。
■具體的表示就如同上面"我是一個(gè)人"這個(gè)例子,這就是一個(gè)一元關(guān)系。
■再例如,"狗能吃,會(huì)跑"
府語(yǔ)義網(wǎng)絡(luò)表示二元關(guān)系
首先讓我們用語(yǔ)義網(wǎng)絡(luò)來(lái)表示一些簡(jiǎn)單的事實(shí)。
例如:
(1)所有的燕子(swallow)都是鳥(bird)。建立兩個(gè)節(jié)點(diǎn),SWALLOW和
BIRD,分別表示燕子和鳥。兩節(jié)點(diǎn)以"是一個(gè)"(ISA)鏈相連,如圖2.17(a)所示。
4
(2)再如,我們希望表示小燕(xiaoyan)是一只燕子。那么,只需要在語(yǔ)義網(wǎng)絡(luò)上
增加一個(gè)節(jié)點(diǎn)(XIAOYAN)和一根ISA鏈,如圖圖2.17(b)所示。
(3)除了按分類學(xué)對(duì)物體進(jìn)行分類以外,人們通常需要表示有關(guān)物體性質(zhì)的知識(shí)。例
如,要用語(yǔ)義網(wǎng)絡(luò)表示鳥有翹膀的事實(shí),我們可按圖2.17(c)來(lái)建立語(yǔ)義網(wǎng)絡(luò)。
>事物與概念的表示
■例如:動(dòng)物能吃、能運(yùn)動(dòng)
鳥是一種動(dòng)物,鳥有翅膀、會(huì)飛
魚是一種動(dòng)物,魚生活在水中、會(huì)游泳
5
>情況的表示:
由西蒙斯(Simmons)和斯洛克姆(Slocum)提出來(lái)的方法允許節(jié)點(diǎn)既可以表示一個(gè)
物體或一組物體,也可以表示情況和動(dòng)作。每一情況節(jié)點(diǎn)可以有一組向外的弧(事例
?。?,稱為事例框,用以說(shuō)明與該事例有關(guān)的各種變量。
例如,應(yīng)用具有事例弧的情況節(jié)點(diǎn)表示“小燕從春天到秋天占有一個(gè)巢"這個(gè)事實(shí)的
語(yǔ)義網(wǎng)絡(luò)就如圖所示。圖中設(shè)立了"占有權(quán)-1"(OWN-1)節(jié)點(diǎn),表示小燕有自己的
巢。當(dāng)然,小燕還可以有其它東西。所以,占有權(quán)-1只是占有權(quán)(ownership)的一個(gè)
實(shí)例。而占有權(quán)又只是一種特定的"情況"(situation)。小燕是占有權(quán)-1的一個(gè)特定
的“物主"(owner),而巢-1是占有權(quán)-1的一個(gè)特定的“占有物"(ownee)。小燕
占有"占有權(quán)-1"的時(shí)間從春天(spring)到秋天(fall春天"和"秋天"又被
定為"時(shí)間"(time)的實(shí)例。
>事件和動(dòng)作的表示:
用語(yǔ)義網(wǎng)絡(luò)表示事件或動(dòng)作時(shí)需要設(shè)立一個(gè)事件節(jié)點(diǎn)。事件節(jié)點(diǎn)有一些向外引出的
弧,表示動(dòng)作的主體和客體。
例如,"我給他一本書"
6
府多元語(yǔ)義網(wǎng)絡(luò)的表示
>基本網(wǎng)絡(luò)單元只能表示一元或二元語(yǔ)義關(guān)系,如何處理多元語(yǔ)義呢?
語(yǔ)義網(wǎng)絡(luò)從本質(zhì)上來(lái)說(shuō),只能表示二元關(guān)系。解決這個(gè)矛盾的一種方法是把這個(gè)
多元關(guān)系轉(zhuǎn)化成一組二元關(guān)系的組合,或二元關(guān)系的合取。具體來(lái)說(shuō),多元關(guān)系
R(XI,X2,...,Xn)總可以轉(zhuǎn)換成
R(Xll,X12)AR2(X21,X22)A...ARn(Xnl,Xn2)
■例如,要表達(dá)北京大學(xué)(BEIJINGUniversity,簡(jiǎn)稱BU)和清華大學(xué)
(TSINGHUAUniversity,簡(jiǎn)稱TU)兩?;@球隊(duì)在北大進(jìn)行的一場(chǎng)比賽的比分是
85比89。若用謂詞邏輯可表示為SCORE(BU,TU,(85—89))。要在語(yǔ)義網(wǎng)
絡(luò)中進(jìn)行這種轉(zhuǎn)換需要引入附加節(jié)點(diǎn)。對(duì)于上述球賽,我們可以建立一個(gè)G25節(jié)
點(diǎn)來(lái)表示這場(chǎng)特定的球賽。然后,把有關(guān)球賽的信息和這場(chǎng)球賽聯(lián)系起來(lái)
7
■例如,三根線a,b,c組成一個(gè)三角形。這可表示成TRIANGLE(a,b,c)。這個(gè)
三元關(guān)系可轉(zhuǎn)換成一組二元關(guān)系的合取,即
CAT(a,b)ACAT(b,c)ACAT(c,a)其中,CAT表示串彳亍連接。
?連接詞和量化的表示
>合取
多元關(guān)系可以被轉(zhuǎn)換成一組二元關(guān)系的合取,從而可以用語(yǔ)義網(wǎng)絡(luò)的形式表示出來(lái)。
例如:JohngaveMarythebook這個(gè)事實(shí),可用謂詞邏輯表示為GIVE(JOHN,
MARY,BOOK)
其中包括3項(xiàng)。若用語(yǔ)義網(wǎng)絡(luò)表示這個(gè)事實(shí),就如圖2.22所示。其中引入了一個(gè)附加
的節(jié)點(diǎn)G1,表示一個(gè)特定的給某人東西的事件。B23表示一件給人的東西。與節(jié)點(diǎn)
G1相連的鏈GIVER、OBJECT以及RECIEPIENT之間是合取關(guān)系。因此,在語(yǔ)義網(wǎng)
絡(luò)中,如不加標(biāo)志,就意味著連接之間的關(guān)系是合取。
>析取
在語(yǔ)義網(wǎng)絡(luò)中,為與合取關(guān)系相區(qū)別,在析取關(guān)系的連接上加注析取界限,并標(biāo)記
DIS0例如要表示ISA(A,B)vPART-OF(B,C)
8
這時(shí)語(yǔ)義網(wǎng)絡(luò)就如圖所示。如果沒有加注析取界限,則這個(gè)網(wǎng)絡(luò)就會(huì)被解釋為
ISA(A,B)APART-OF(B,C)
當(dāng)2條(或多條)關(guān)系弧有邏輯"或”關(guān)系時(shí),可以用虛線框?qū)⒃谶@些弧圍起來(lái),并在
虛線框上加標(biāo)記DIS(disjunction)。
>否定
為表示否定關(guān)系,我們可以采用~ISA和~PARTOF關(guān)系或標(biāo)注NEG界限,如圖所
示,其中(a)和(b)分別表示~(AisaB)和~(BpartofC).
FA
AB
Cb)
如果我們要用語(yǔ)義網(wǎng)絡(luò)表示~[ISA(A,b)人PART-OF(B,C)]
一種方法可以利用狄?摩根定理使否定關(guān)系只作用于ISA和PART-OF關(guān)系。這時(shí),仍
可利用~ISA和~PART-OF來(lái)表示這個(gè)事實(shí)。如果,不希望改變這個(gè)表達(dá)式的形式,
那么可以利用NEG界限,如圖所示
9
1IEG
(c)
>蘊(yùn)涵
在語(yǔ)義網(wǎng)絡(luò)中可用標(biāo)注ANTE和CONSE界限來(lái)表示蘊(yùn)涵關(guān)系。ANTE和CONSE界限
分別用來(lái)把與先決條件(antecedent)及與結(jié)果(consequence)相關(guān)的鏈聯(lián)系在一起
例如,“如果學(xué)校組織大學(xué)生機(jī)器人競(jìng)賽活動(dòng),那
么李強(qiáng)就參加比賽”,該蘊(yùn)涵關(guān)系的語(yǔ)義網(wǎng)絡(luò)如下
圖。
?語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程
府語(yǔ)義網(wǎng)絡(luò)的推理過(guò)程主要有兩種,一種是繼承,另一種是匹配。
府繼承:是指把對(duì)事物的描述從抽象節(jié)點(diǎn)傳遞到具體節(jié)點(diǎn)。通過(guò)繼承
(沿著ISA、AKO這些弧)可以得到所需節(jié)點(diǎn)的一些屬性值。繼承可
分為值繼承、如果需要繼承和缺省繼承等類型。
>值繼承(ISA、AKO):把知識(shí)從某一層直接傳遞到另一層,子節(jié)點(diǎn)直接繼承父節(jié)點(diǎn)
的屬性
10
A"如果需要”繼承:某些情況下,對(duì)事物的描述不能直接從概念節(jié)點(diǎn)或類節(jié)點(diǎn)繼
承得到,但可利用已知信息來(lái)計(jì)算,這種計(jì)算程序稱為if-needed程序
假設(shè)我們希望計(jì)算圖中BRICK12節(jié)點(diǎn)的重量,BLOCK節(jié)點(diǎn)中的程序就根據(jù)
BRLCK12的體積和密度計(jì)算重量,并把計(jì)算結(jié)果存入BRICK12的WHIGHT槽的
值側(cè)面中
>“缺省"繼承:把具有相當(dāng)程度的真實(shí)性,但又不能十分肯定的值放入槽的
DEFAULT(缺省)側(cè)面中。例如,我們可以認(rèn)為法官可能是誠(chéng)實(shí)的,但不一定是;
或認(rèn)為寶石可能是很昂貴的,但不一定是。
>一般過(guò)程:
1.建立一個(gè)節(jié)點(diǎn)表,用來(lái)存放待解節(jié)點(diǎn)和所有以ISA、AKO等繼承弧于此節(jié)點(diǎn)相連的節(jié)
點(diǎn)。初始情況下,節(jié)點(diǎn)表中只有待解節(jié)點(diǎn)。
2.檢查表中的第一個(gè)節(jié)點(diǎn)是否有繼承弧。若有則把該弧所指的所有節(jié)點(diǎn)放入節(jié)點(diǎn)表末
尾。記錄這些節(jié)點(diǎn)的屬性,并從節(jié)點(diǎn)表中刪除第一個(gè)節(jié)點(diǎn)。若沒有則直接刪除第一個(gè)
節(jié)點(diǎn)。
3.重復(fù)第2步,直到節(jié)點(diǎn)表為空。
記錄下的全部屬性就是待解節(jié)點(diǎn)繼承來(lái)的屬性。
11
求出鳥(待解節(jié)點(diǎn))可以(Can)進(jìn)行的活動(dòng)?
①將鳥(待求解節(jié)點(diǎn))加入節(jié)點(diǎn)表
②檢查第一個(gè)節(jié)點(diǎn)(鳥)的繼承弧,將繼承弧所指的節(jié)點(diǎn)(動(dòng)物)加入節(jié)點(diǎn)表,刪除第一
個(gè)節(jié)點(diǎn)(鳥)
③檢查第一個(gè)節(jié)點(diǎn)(動(dòng)物)的繼承弧,不存在繼承弧,刪除第一個(gè)節(jié)點(diǎn)(動(dòng)物),并記錄
第一個(gè)節(jié)點(diǎn)(動(dòng)物)Can對(duì)應(yīng)的屬性(運(yùn)動(dòng),吃)。
故鳥Can運(yùn)動(dòng)和吃。
府匹配:是指在知識(shí)庫(kù)的語(yǔ)義網(wǎng)絡(luò)中尋找與待求解問(wèn)題相符的語(yǔ)義網(wǎng)絡(luò)
模式。
>根據(jù)待求解問(wèn)題的要求,構(gòu)造一個(gè)網(wǎng)絡(luò)片斷,該網(wǎng)絡(luò)片斷中有些結(jié)點(diǎn)或弧的標(biāo)識(shí)
是空的,稱為詢問(wèn)處,它反映的是待求解的問(wèn)題。
>根據(jù)該語(yǔ)義片斷到知識(shí)庫(kù)中去尋找所需要的信息。
>當(dāng)待求解問(wèn)題的網(wǎng)絡(luò)片斷與知識(shí)庫(kù)中的某語(yǔ)義網(wǎng)絡(luò)片斷相匹配時(shí),則與詢問(wèn)處相
匹配的事實(shí)就是問(wèn)題的解。
例:假設(shè)系統(tǒng)知識(shí)庫(kù)中有下列語(yǔ)義網(wǎng)絡(luò)。問(wèn)李在哪個(gè)公司工作。
解:根據(jù)這個(gè)問(wèn)題的要求,可構(gòu)造如下語(yǔ)義網(wǎng)絡(luò)片斷。到知識(shí)庫(kù)中匹配,找到下
圖的匹配片段,可知李為“理想公司”工作。
12
?匹配
例:設(shè)在語(yǔ)義網(wǎng)絡(luò)系統(tǒng)的知識(shí)庫(kù)中,存在下列事實(shí)的語(yǔ)義網(wǎng)絡(luò):"山西大學(xué)是一個(gè)
學(xué)校,位于太原市,建立時(shí)間是1902年"。這一事實(shí)的語(yǔ)義網(wǎng)絡(luò)表示如下:
太原市l(wèi)ocatedat—山西大學(xué)一ISA>學(xué)校
J建立于
1902年
假如要求解的問(wèn)題是:山西大學(xué)位于哪個(gè)城市?
解:首先將待求解的問(wèn)題表示成一個(gè)局部的語(yǔ)義網(wǎng)絡(luò),如下圖:
?(locatedat—山西大學(xué)一ISA>學(xué)校
然后到語(yǔ)義網(wǎng)絡(luò)系統(tǒng)的知識(shí)庫(kù)中去匹配,就會(huì)找到相匹配的事實(shí)是“太原市"。
第六節(jié)框架表示
?框架的構(gòu)成
府框架理論
>框架理論認(rèn)為,我們對(duì)世間事物的認(rèn)識(shí)都是以類似框架的結(jié)構(gòu)存儲(chǔ)在記憶中的。
當(dāng)遇到一個(gè)新事物就從記憶中找出一個(gè)合適的框架,并根據(jù)新的情況對(duì)齊細(xì)節(jié)加
以修改、補(bǔ)充,從而形成對(duì)這個(gè)新事物的認(rèn)識(shí)。
13
>用以往經(jīng)驗(yàn)來(lái)認(rèn)識(shí)新事物使人們常用的方法,但是我們又不可能把過(guò)往發(fā)生過(guò)的
所有經(jīng)驗(yàn)都存在腦海中,而只能用一種通用的數(shù)據(jù)結(jié)構(gòu)把它們存儲(chǔ)起來(lái),當(dāng)新情
況發(fā)生的時(shí)候只需把新的數(shù)據(jù)添加到已有的通用數(shù)據(jù)結(jié)構(gòu)中便可以實(shí)例化一個(gè)具
體的實(shí)體。這種通用數(shù)據(jù)結(jié)構(gòu)就是框架。
>框架也是一種語(yǔ)義網(wǎng)絡(luò),其中繼承性是其重要特性
府框架的構(gòu)成
框架是一種描述所討論對(duì)象(事物、事件、概念等)屬性和行為的數(shù)據(jù)結(jié)構(gòu)。由以下
部分構(gòu)成:
>框架名:每個(gè)框架都有一個(gè)框架名子,唯一標(biāo)識(shí)一個(gè)框架。
>槽(Slot)、槽名、槽值
■一個(gè)框架由若干個(gè)槽構(gòu)成,每個(gè)槽都有槽名;
■一個(gè)槽用于說(shuō)明框架某一方面的屬性;
■屬性的值即為槽值。
>側(cè)面(Facet)、側(cè)面名、側(cè)面值
■一個(gè)槽有可能劃分為若干個(gè)側(cè)面,具有相應(yīng)的側(cè)面名;
■一個(gè)槽可能含有若干細(xì)分屬性,一個(gè)側(cè)面用來(lái)說(shuō)明其中的一個(gè)屬性;
■屬性的值即為側(cè)面值。
>約束條件:用來(lái)約束、限制槽值、側(cè)面值的填寫。一般不單獨(dú)列出,而包含在值
的填寫約束中。
府常用槽
通常在框架系統(tǒng)中定義一些供用、常用且標(biāo)準(zhǔn)的槽名,并把這些槽名稱為系統(tǒng)預(yù)定
義槽名
14
AISA槽:用于指出對(duì)象間抽象概念上的類屬關(guān)系。直觀意義是"是一個(gè)","是
一種","是一只"。一般情況下用ISA槽指出的聯(lián)系都具有繼承性
〈運(yùn)動(dòng)員〉
姓名:
年齡:
性別:
〈棋手〉
ISA:〈運(yùn)動(dòng)員〉
腦力:擅長(zhǎng)
>AKO槽:用于具體地指出對(duì)象間的類屬關(guān)系。直觀意義是"是一種"。當(dāng)用它作
為某下層框架的槽時(shí),就明確地指出了該下層框架所描述的事務(wù)是其上層框架所
描述事務(wù)中的一種,下層框架可繼承上層框架中的值或?qū)傩?/p>
>Instance槽:表示AKO槽的逆關(guān)系。當(dāng)用它作為某上層框架的槽時(shí),可在該槽中
指出它所聯(lián)系的下層框架。
〈運(yùn)動(dòng)員〉
Instance:〈棋手〉,〈足球運(yùn)動(dòng)員〉,〈排球運(yùn)動(dòng)員〉
年齡:
性別:
>Part-of槽:用于指出部分和全體的關(guān)系。當(dāng)用其作為某框架的一個(gè)槽時(shí),槽中所
填的值稱為該框架的上層框架名,該框架所描述的對(duì)象只是其上層框架所描述對(duì)
象的一部分。
15
例如:汽車和輪胎。上層框架是對(duì)汽車的描述,下層框架是對(duì)輪胎的描述,顯然
輪胎是汽車的一部分。Part-of指出下層是上層的一個(gè)子結(jié)構(gòu)
>Infer槽:指出兩個(gè)框架間的邏輯推理關(guān)系,可表示相應(yīng)的產(chǎn)生式規(guī)則
>Possible-Reason槽:與Infer槽相反
設(shè)有下面知識(shí):如果咳嗽,發(fā)燒且流涕,則八成是患了感冒,需服用感冒膠囊,一日3
次,每次2-3粒。并要多喝開水。對(duì)該知識(shí),可用如下兩個(gè)框架表示:
-
及新規(guī)則>、
r〈結(jié)-論;〉
癥狀1:咳嗽
病名:感冒
癥狀2:發(fā)燒
癥狀3:流涕治療方法:月艮用感冒膠囊,一日3次,每次2-3拉
Infer:(結(jié)論〉注意事項(xiàng):多喝開水
UT信度:0.8Possible-Reason:(含新規(guī)則〉
府框架網(wǎng)絡(luò)
當(dāng)知識(shí)比較復(fù)雜時(shí),往往需要通過(guò)各框架之間的橫向或縱向聯(lián)系形成一種框架系統(tǒng)。
>框架之間的縱向聯(lián)系
指具有繼承關(guān)系的上下層框架之間的聯(lián)系;縱向聯(lián)系是通過(guò)定義槽名AKO、ISA來(lái)實(shí)現(xiàn)的。
框架名:〈教師〉框架名:〈教職工〉
繼承:〈教職工〉繼承:〈師生員工〉
部門:?jiǎn)挝唬ㄏ?、教研室)工作類型:范圍(教師、干部、工人?/p>
語(yǔ)種:范圍(英語(yǔ)、法語(yǔ)、德語(yǔ)、日缺?。航處?/p>
語(yǔ)、俄語(yǔ))開始工作時(shí)間:?jiǎn)挝唬?,月?/p>
缺?。河⒄Z(yǔ)健康狀況:范圍(健康、一般、差)
外語(yǔ)水平:范圍(優(yōu)、良、中、差)截止工作時(shí)間:?jiǎn)挝唬辏拢?/p>
缺?。毫既笔。含F(xiàn)在
研究方向:離退休狀況:范圍(離休、退休)
>框架之間的橫向聯(lián)系
16
指以另外一個(gè)框架名作為一個(gè)槽的槽值或側(cè)面值建立起來(lái)的框架之間的聯(lián)系
框架名:〈師生員工〉
姓名:?jiǎn)挝唬ㄐ?,名?/p>
年齡:?jiǎn)挝唬q)
性別:范圍(男、女)
缺?。耗?/p>
健康狀況:范圍(健康、一般、差)
缺省:一般
住址:〈住址框架〉
缺?。和诵?/p>
》框架推理
在框架系統(tǒng)中,問(wèn)題求解主要是通過(guò)對(duì)框架的繼承、匹配與填槽來(lái)實(shí)現(xiàn)的。
■問(wèn)題求解過(guò)程:
1.首先要把該問(wèn)題用框架表示出來(lái)。
2.然后利用框架之間的繼承關(guān)系,把它與知識(shí)庫(kù)中的已有框架進(jìn)行匹配,找出一個(gè)或多個(gè)候
選框架,并在這些候選框架引導(dǎo)下進(jìn)一步獲取附加信息,填充盡量多的槽值,以建立一個(gè)
描述當(dāng)前情況的實(shí)例。
3.最后再用某種評(píng)價(jià)方法對(duì)候選框架進(jìn)行評(píng)價(jià),以決定是否接收該框架。
>繼承
由于框架的槽包含多個(gè)側(cè)面,框架系統(tǒng)可以提供功能強(qiáng)大的特性繼承技術(shù)。
框架有三種側(cè)面:Value、If-Needed和If-Added
>匹配
■將待解問(wèn)題用框架表示
匹配通過(guò)對(duì)相應(yīng)槽的槽名和值逐個(gè)比較實(shí)現(xiàn)
17
■比較往往牽涉到其它框架
■問(wèn)題的隨機(jī)性也使匹配復(fù)雜化
>填槽
■查詢:中間結(jié)果或用戶輸入
■默認(rèn)
■繼承
■附加過(guò)程計(jì)算
第七節(jié)本體技術(shù)
?本體的概念
府本體是概念化的一個(gè)顯式的規(guī)范說(shuō)明或表示
府本體是概念化某些方面的一個(gè)顯式規(guī)范說(shuō)明或表示
府對(duì)"概念化”的形式解釋和規(guī)范說(shuō)明
在計(jì)算機(jī)科學(xué)與信息科學(xué)領(lǐng)域,理論上,本體是指一種"形式化的,對(duì)于共享概
念體系的明確而又詳細(xì)的說(shuō)明"。本體提供的是一種共享詞表,也就是特定領(lǐng)域之中
那些存在著的對(duì)象類型或概念及其屬性和相互關(guān)系;或者說(shuō),本體就是一種特殊類型
的術(shù)語(yǔ)集,具有結(jié)構(gòu)化的特點(diǎn),且更加適合于在計(jì)算機(jī)系統(tǒng)之中使用;或者說(shuō),本體
實(shí)際上就是對(duì)特定領(lǐng)域之中某套概念及其相互之間關(guān)系的形式化表達(dá)(formal
representation)。本體是人們以自己興趣領(lǐng)域的知識(shí)為素材,運(yùn)用信息科學(xué)的本體論
原理而編寫出來(lái)的作品。本體一般可以用來(lái)針對(duì)該領(lǐng)域的屬性進(jìn)行推理,亦可用于定
義該領(lǐng)域(也就是對(duì)該領(lǐng)域進(jìn)行建模)。此外,有時(shí)人們也會(huì)將"本體"稱為"本體
論"。
府本體(Ontology)的概念源自于哲學(xué)領(lǐng)域,在哲學(xué)中的定義為"對(duì)世
界上客觀事物的系統(tǒng)描述,即存在論"。哲學(xué)中的本體關(guān)心的是客觀
18
現(xiàn)實(shí)的抽象本質(zhì)。而在計(jì)算機(jī)領(lǐng)域,本體可以在語(yǔ)義層次上描述知
識(shí),可以看成描述某個(gè)學(xué)科領(lǐng)域知識(shí)的一個(gè)通用概念模型。
4本體可定義為被共享的概念化的一個(gè)形式規(guī)范說(shuō)明
府這個(gè)定義包含了四層含義
(1)共享(share):指本體中體現(xiàn)的知識(shí)是共同認(rèn)可的,反映在領(lǐng)域中公認(rèn)的術(shù)語(yǔ)
集合。
(2)概念化(Conceptualization):指本體對(duì)于事物的描述表示成一組概念。
(3)明確性(Explicit):指本體中全部的術(shù)語(yǔ)、屬性及公理都有明確的定義。
(4)形式化(Formal):指本體能夠被計(jì)算機(jī)所處理,是計(jì)算機(jī)可讀的。
府本體通常用來(lái)描述領(lǐng)域知識(shí)。可以這樣理解它:本體是從客觀世界中
抽象出來(lái)的一個(gè)概念模型,這個(gè)模型包含了某個(gè)學(xué)科領(lǐng)域內(nèi)的基本術(shù)
語(yǔ)和術(shù)語(yǔ)之間的關(guān)系(或者稱為概念以及概念之間的關(guān)系)。本體不
等同于個(gè)體,它是團(tuán)體的共識(shí),是相應(yīng)領(lǐng)域內(nèi)公認(rèn)的概念集合。
4本體的組成
>概念(類):描述領(lǐng)域內(nèi)的實(shí)際概念,既可是實(shí)際存在的事物,也可是抽象的概
念;如大學(xué)、電影、人等;
>關(guān)系:用于描述類(概念)之間的關(guān)系;如part-of.kind-of等;
>函數(shù):是一類特殊的關(guān)系,在這種關(guān)系中前n-1個(gè)元素可以唯一決定第n個(gè)元素;
如mother-of關(guān)系就是一個(gè)函數(shù),mother-of(x,y)表示y是x的母親,x可以唯
一確定它的母親y;
>公理:代表本體內(nèi)存在的事實(shí),可以對(duì)本體內(nèi)類或者關(guān)系進(jìn)行約束;如概念甲屬
于概念乙的范圍;
>實(shí)例:表示具體某個(gè)類的實(shí)際存在;如鄭大是大學(xué)的一個(gè)實(shí)例;
19
*本體中類(概念)之間的四種基本關(guān)系
>part-of局部與整體的關(guān)系
>kind-of父類與子類之間的關(guān)系
>Instance-of在類中填充實(shí)例,類與實(shí)例之間的關(guān)系
>Attribute-of類的屬性,有對(duì)象屬性和數(shù)據(jù)屬性
府本體的分類
根據(jù)本體應(yīng)用主題,將本體劃分為五種類型:領(lǐng)域本體、通用或常識(shí)本體、知識(shí)本
體、語(yǔ)言學(xué)本體和任務(wù)本體。
依據(jù)本體的層次和領(lǐng)域依賴度,Guarino等人將其分為四類
■頂層本體:研究通用的概念以及概念之間的關(guān)系,如空間、時(shí)間、事件、行為等,與具體
的應(yīng)用無(wú)關(guān),完全獨(dú)立于限定的領(lǐng)域,因此可以在較大范圍內(nèi)進(jìn)行共享。
■領(lǐng)域本體:研究的是特定領(lǐng)域內(nèi)概念及概念之間的關(guān)系。
■任務(wù)本體:定義一些通用任務(wù)或者相關(guān)的推理活動(dòng),用來(lái)表達(dá)具體任務(wù)內(nèi)的概念及概念之
間關(guān)系。
■應(yīng)用本體:用來(lái)描述一些特定的應(yīng)用,既可以引用領(lǐng)域本體中特定的概念,又可以引用任
務(wù)本體中出現(xiàn)的概念。
府本體的構(gòu)建方法
20
本體的構(gòu)建方法多種多樣,常見的有如下幾種。
1、TOVE法:TOVE是指多倫多虛擬企業(yè)(TorontoVirtualEnterprise)專門用于構(gòu)建TOVE本
體(關(guān)于企業(yè)建模過(guò)程的本體)。
2、METHONTOLOGY法:專用于構(gòu)建化學(xué)本體(有關(guān)化學(xué)元素周期表的本體)。
3、骨架法:專門用于構(gòu)建企業(yè)本體,建立在企業(yè)本體基礎(chǔ)之上,是相關(guān)商業(yè)企業(yè)間術(shù)語(yǔ)和定
義的集合。
4、KACTUS工程法:是基于KACTUS項(xiàng)目而產(chǎn)生的,KACTUS是指關(guān)于多用途復(fù)雜技術(shù)系
統(tǒng)的知識(shí)建模工程。
5、七步法:斯坦福大學(xué)醫(yī)學(xué)院開發(fā)的七步法,用于領(lǐng)域本體構(gòu)建。七步驟為:確定領(lǐng)域本體
的范疇;復(fù)用現(xiàn)有的本體;列出領(lǐng)域內(nèi)的術(shù)語(yǔ);定義類和類的等級(jí)關(guān)系;定義類的屬性;定義
屬性的分面;填充實(shí)例。
6、基于敘詞表的領(lǐng)域本體構(gòu)建:敘詞表又稱為主題詞表,是一種語(yǔ)義詞典,由術(shù)語(yǔ)及術(shù)語(yǔ)之
間的關(guān)系組成,能夠反映某學(xué)科領(lǐng)域的語(yǔ)義相關(guān)概念。由于敘詞表包含豐富的領(lǐng)域概念和一定
的語(yǔ)義關(guān)系,在表達(dá)和知識(shí)結(jié)構(gòu)上與本體有著天然聯(lián)系,包含了本學(xué)科比較完整的術(shù)語(yǔ),因
此,國(guó)內(nèi)外很多學(xué)者都在嘗試將敘詞表轉(zhuǎn)換為本體。國(guó)內(nèi)目前基于敘詞表已經(jīng)轉(zhuǎn)化成型的本體
原型有《國(guó)防科學(xué)技術(shù)敘詞表》和《中國(guó)農(nóng)業(yè)科學(xué)敘詞表》。
4本體的描述語(yǔ)言
本體的描述語(yǔ)言眾多,而W3c推薦的本體描述語(yǔ)言主要有RDF、RDFS和OWL。
1、RDF(ResourceDescriptionFramework,資源描述框架)
客觀世界中任何一種關(guān)系都可以用一個(gè)三元組(主體/主語(yǔ)、謂語(yǔ)、客體/賓語(yǔ))來(lái)進(jìn)行
表達(dá)。RDF用于描述web上的資源,是使用XML語(yǔ)言編寫、計(jì)算機(jī)可讀的,不是為了向用戶
展示。RDF使用web標(biāo)識(shí)符(主體/主語(yǔ))來(lái)標(biāo)記資源,使用屬性(謂語(yǔ))和屬性值(客體/賓
語(yǔ))來(lái)描述資源。這里的資源、屬性和屬性值就構(gòu)成了一個(gè)陳述(或者被稱為陳述中的主體、
謂語(yǔ)和客體)。
比如—個(gè)陳述:Theauthorofbookisfengxianhe.
這里,陳述的主體是book,謂語(yǔ)是author,客體是fengxianheo
21
本體中的類(概念)就是RDF三元組中的主體/客體,類的屬性就是RDF三元組中的
謂語(yǔ)。RDF數(shù)據(jù)也可以被表示為一個(gè)帶有標(biāo)記的有向圖,圖上的節(jié)點(diǎn)對(duì)應(yīng)三元組中的主體和
客體,邊對(duì)應(yīng)謂語(yǔ)。
2、RDFS(RDFSchem,RDF詞匯描述語(yǔ)言)
RDFS是在RDF基礎(chǔ)上對(duì)其進(jìn)行擴(kuò)展而形成的本體語(yǔ)言,解決了RDF模型原有的缺
點(diǎn),定義了類、屬性、屬性值來(lái)描述客觀世界,并且通過(guò)定義域和值域來(lái)約束資源,更加形象
化表達(dá)了知識(shí)。
3、OWL(WebOntologyLanguage,Web本體語(yǔ)言)
OWL是由W3c開發(fā)的網(wǎng)絡(luò)本體語(yǔ)言,用來(lái)對(duì)本體進(jìn)行語(yǔ)義描述。OWL保持了原有
RDF、RDFS的兼容性,有保證率較好的語(yǔ)義表達(dá)能力,根據(jù)表達(dá)能力的增強(qiáng)順序OWL分為
三種子語(yǔ)言:OWL-Lite、OWL-DL和OWL-Full。OWL本體中有3中基本元素:類、屬性和
實(shí)例。
府本體的開發(fā)工具
大規(guī)模領(lǐng)域本體的構(gòu)建比較復(fù)雜,耗時(shí)耗力,而且需要具備領(lǐng)域背景知識(shí)的專家參
與。手工構(gòu)建一個(gè)規(guī)?;念I(lǐng)域本體是不可能的,為了方便領(lǐng)域本體的構(gòu)建,國(guó)外研
究機(jī)構(gòu)提出了半自動(dòng)化構(gòu)建領(lǐng)域本體的方法,借助流行的本體編輯工具protege。
protege是斯坦福大學(xué)醫(yī)學(xué)院基于Java語(yǔ)言編寫的,本體構(gòu)建工具,它提供了一個(gè)圖形
化和交互式的知識(shí)本體開發(fā)環(huán)境。支持RDF、RDFS、OWL等本體語(yǔ)言在系統(tǒng)外對(duì)本
體進(jìn)行編輯和修改。
22
第八節(jié)過(guò)程表示
?過(guò)程表示法的概念
概念
>所謂過(guò)程表示法,就是把問(wèn)題求解的總目標(biāo)劃分為一個(gè)個(gè)過(guò)程(Procedure)目標(biāo),再
結(jié)合知識(shí)利用環(huán)節(jié)確定為若干操作步驟,表示為一個(gè)個(gè)過(guò)程。每一個(gè)過(guò)程就是一
段程序,用于完成對(duì)一個(gè)具體事件或情況的處理。在問(wèn)題求解中,當(dāng)需要使用某
個(gè)過(guò)程時(shí),就調(diào)用相應(yīng)的程序并執(zhí)行之。這樣,問(wèn)題的求解與推理,就轉(zhuǎn)換成為
一個(gè)又一個(gè)過(guò)程的程序組織與調(diào)用了。
>簡(jiǎn)言之,依據(jù)問(wèn)題的求解目標(biāo),按照事物的發(fā)展過(guò)程規(guī)律,用相關(guān)知識(shí)加以設(shè)計(jì)
和描述其求解過(guò)程的方法,稱之為過(guò)程表示法。
>對(duì)比前述各種非過(guò)程表示法,往往只從個(gè)體動(dòng)作'自身行為的獨(dú)立作用和影響出
發(fā),注重于個(gè)體環(huán)境的靜態(tài)描述。而過(guò)程表示法把問(wèn)題相關(guān)領(lǐng)域的知識(shí)、信息及
控制策略等,均隱含表示為一個(gè)或多個(gè)求解問(wèn)題的過(guò)程,并著重于動(dòng)態(tài)過(guò)程的描
述;具體描述其控制行為所導(dǎo)致的一系列狀態(tài)變遷,關(guān)注的是某個(gè)對(duì)象發(fā)出的看
干個(gè)連續(xù)操作而導(dǎo)致的過(guò)程目標(biāo)。
>過(guò)程式不像陳述式那樣具有固定的形式,如何描述知識(shí)完全取決于具體的問(wèn)題
》舉例
這里以九宮問(wèn)題(又叫做八數(shù)碼難題)求解過(guò)程狀態(tài)的描述為例,來(lái)說(shuō)明過(guò)程表示法的
求解方法及其推理形式。如圖示,可用Xo~X8來(lái)標(biāo)記問(wèn)題中的九個(gè)小方格的對(duì)應(yīng)位
置,如圖⑵為問(wèn)題的目標(biāo)狀態(tài)Sg。其中,數(shù)字1?8是對(duì)應(yīng)棋子的名稱,中間的小方
格是可供移動(dòng)的空位。求解從任意初始狀態(tài)到達(dá)目標(biāo)狀態(tài)的解路徑。
23
X1X2X3123
X8XoX484
X7X6Xs765
(1)任意初始狀態(tài)⑵目標(biāo)狀態(tài)Sg
步1,首先檢查棋盤布局,若So/Sg,則檢查XI處棋子是否為數(shù)碼1。是,則轉(zhuǎn)步
3;否則任意移動(dòng)棋牌,使棋子1和空格均不在X3位置上。
步2,按照?qǐng)D(a)所示的環(huán)形箭頭逆時(shí)針(或順時(shí)針)方向移動(dòng)空格,并依次移動(dòng)棋
牌,直到數(shù)碼1位于XI位置,空格位于X8位置時(shí)為止。
步3,保持Xl=l不動(dòng),按照?qǐng)D(b)所示的箭頭方向(或相反方向)移動(dòng)棋子和空格,
直到數(shù)碼2位于X2位置,空格位于X0位置時(shí)為止。若這時(shí)剛好數(shù)碼3在X3位置
上,則轉(zhuǎn)第7步。
步4,按照?qǐng)D(c)所示環(huán)形的逆時(shí)針(或順時(shí)針)方向移動(dòng)空格,并依次移動(dòng)棋牌,直
到數(shù)碼3位于X0位置,空格位于X8位置時(shí)為止。
步5,按照?qǐng)D(d)所示的環(huán)形順時(shí)針方向移動(dòng)空格,并依次移動(dòng)棋牌,直到空格到
X0為止。
24
步6,按照?qǐng)D(e)所示的環(huán)形方向移動(dòng)空格,并依次移動(dòng)棋牌,直到空格又回到X8
為止。
步7,按照?qǐng)D(c)所示的環(huán)形方向,依次移動(dòng)空格,直到數(shù)碼4位于X4位置,空格
位于X0位置。若這時(shí)數(shù)碼5剛好位于X5位置上,則轉(zhuǎn)第11步。
步8,按照?qǐng)D(g)所示的環(huán)形方向移動(dòng)空格,并依次移動(dòng)棋牌,直到數(shù)碼5位于X0,
空格位于X8位置時(shí)為止。
步9,依次移動(dòng)棋牌,使得空格位置按照?qǐng)D(f)所示的環(huán)形方向移動(dòng)空格,并依次移動(dòng)
棋牌,直到空格位于X4位置時(shí)為止。這時(shí),使數(shù)碼5插入X4位置,再使X6位置數(shù)
碼插入X0位置,則空格位于X6位置。
25
步io,按照?qǐng)D(f)所示的環(huán)形方向移動(dòng)空格,并依次移動(dòng)棋牌,直到數(shù)碼5位于
X5o
步11,按照?qǐng)D(g)所示的環(huán)形方向移動(dòng)空格,并依次移動(dòng)棋牌,直到狀態(tài)如圖
(21)_Sgl的目標(biāo)狀態(tài),則問(wèn)題得解;否則可得到圖(22)_Sg2所示,說(shuō)明了所給初始狀
態(tài)達(dá)不到所要求的目標(biāo)狀態(tài)。
XX12X2X
XX(4)
XX0
XXXXX
U(4)
2__3X12X
(5)
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 膝關(guān)節(jié)韌帶重建術(shù)康復(fù)護(hù)理
- 防止病人跌倒的護(hù)理
- 防水肚兜企業(yè)數(shù)字化轉(zhuǎn)型與智慧升級(jí)戰(zhàn)略研究報(bào)告
- 針織或鉤編相關(guān)床上制品企業(yè)ESG實(shí)踐與創(chuàng)新戰(zhàn)略研究報(bào)告
- 仿真花束企業(yè)縣域市場(chǎng)拓展與下沉戰(zhàn)略研究報(bào)告
- 臺(tái)式文件柜批發(fā)企業(yè)數(shù)字化轉(zhuǎn)型與智慧升級(jí)戰(zhàn)略研究報(bào)告
- 中型客車出租客運(yùn)企業(yè)縣域市場(chǎng)拓展與下沉戰(zhàn)略研究報(bào)告
- 冰葡萄酒企業(yè)ESG實(shí)踐與創(chuàng)新戰(zhàn)略研究報(bào)告
- 口腔手術(shù)器械批發(fā)企業(yè)數(shù)字化轉(zhuǎn)型與智慧升級(jí)戰(zhàn)略研究報(bào)告
- 麻編制工藝品批發(fā)企業(yè)數(shù)字化轉(zhuǎn)型與智慧升級(jí)戰(zhàn)略研究報(bào)告
- 15建設(shè)美麗中國(guó)【中職專用】高一思想政治《中國(guó)特色社會(huì)主義》(高教版2023基礎(chǔ)模塊)
- 人教版(2024)六年級(jí)全一冊(cè) 第17課 設(shè)計(jì)我的種植園
- 尊師重教講義
- 辦公用品及耗材采購(gòu)服務(wù)投標(biāo)方案(技術(shù)方案)
- 《十萬(wàn)個(gè)為什么》整本閱讀指導(dǎo)(導(dǎo)讀)
- 2024年全國(guó)職業(yè)院校技能大賽高職組(智能節(jié)水系統(tǒng)設(shè)計(jì)與安裝賽項(xiàng))考試題庫(kù)-下(多選、判斷題)
- (212題)2024綜合基礎(chǔ)知識(shí)考試題庫(kù)及解析
- 信息技術(shù)興趣小組活動(dòng)記錄
- 第十二章目標(biāo)識(shí)別課件
- 農(nóng)民田間學(xué)校規(guī)章制度
- 施工電梯基礎(chǔ)驗(yàn)算
評(píng)論
0/150
提交評(píng)論