国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

基于產(chǎn)生式的民事法律專家系統(tǒng)的研究

2013-12-31 00:00:00張揚(yáng)武
電腦知識(shí)與技術(shù) 2013年15期

摘要:人工智能是將人類(lèi)解決問(wèn)題的思路用在計(jì)算機(jī)技術(shù)領(lǐng)域中,目前專家系統(tǒng)廣泛應(yīng)用在各個(gè)領(lǐng)域。專家系統(tǒng)是在產(chǎn)生式系統(tǒng)的基礎(chǔ)上發(fā)展起來(lái)的,將產(chǎn)生式系統(tǒng)用于民事法律領(lǐng)域具有非常重要意義。將民法中的民事法律關(guān)系和行為映射為產(chǎn)生式系統(tǒng)中的知識(shí)和規(guī)則,進(jìn)一步對(duì)知識(shí)的面向?qū)ο蟮谋硎具M(jìn)行了研究。

關(guān)鍵詞:產(chǎn)生式;民事法律;專家系統(tǒng)

中圖分類(lèi)號(hào):TP183 文獻(xiàn)標(biāo)識(shí)碼:A 文章編號(hào):1009-3044(2013)15-3603-03

專家系統(tǒng)是模擬人類(lèi)專家解決專業(yè)領(lǐng)域某些實(shí)際問(wèn)題的方法的計(jì)算機(jī)程序。專家具有某領(lǐng)域中的豐富經(jīng)驗(yàn),經(jīng)年之后內(nèi)化成穩(wěn)定的事實(shí),即為知識(shí)。而人類(lèi)是理性的動(dòng)物,學(xué)會(huì)用理性去思考,去決斷,專家也不例外,每一次認(rèn)知都是在已有的知識(shí)基礎(chǔ)之上進(jìn)行推理后形成新的知識(shí)或經(jīng)驗(yàn)。專家系統(tǒng)模仿人類(lèi)專家如何運(yùn)用它們的知識(shí)和理性來(lái)解決遇到的新問(wèn)題,對(duì)觀察到的事實(shí)或者出現(xiàn)的新問(wèn)題,運(yùn)用邏輯和規(guī)則進(jìn)行推理,得出結(jié)論,形成新的認(rèn)知(即新的知識(shí)),并將新的知識(shí)成為自身知識(shí)的一部份,完成認(rèn)知的一次經(jīng)歷和體驗(yàn)。

1 一般產(chǎn)生式系統(tǒng)結(jié)構(gòu)

專家系統(tǒng)是在產(chǎn)生式系統(tǒng)的基礎(chǔ)上發(fā)展起來(lái)的,用來(lái)描述從一個(gè)基本概念演繹出的系統(tǒng),這個(gè)基本概念就是產(chǎn)生式規(guī)則,或者產(chǎn)生式條件和操作。產(chǎn)生式系統(tǒng)包括兩個(gè)部分:事實(shí)和用以改變事實(shí)的行為。存儲(chǔ)事實(shí)的數(shù)據(jù)庫(kù)稱之為知識(shí)庫(kù),事實(shí)是可以觀察到的一種存在,例如,知識(shí)庫(kù)中包括兩條事實(shí):該動(dòng)物是哺乳動(dòng)物和該動(dòng)物是鳥(niǎo)類(lèi)動(dòng)物。存儲(chǔ)規(guī)則的數(shù)據(jù)庫(kù)稱之為規(guī)則庫(kù),規(guī)則可表示為IF-Then結(jié)構(gòu),滿足IF部分,可得出Then 部分結(jié)論,也就是從前提推導(dǎo)出結(jié)論。例如,一條規(guī)則可表示為,如果該動(dòng)物是哺乳動(dòng)物且能吃肉,那么該動(dòng)物則是肉食動(dòng)物。在上述規(guī)則的前提是該動(dòng)物是哺乳動(dòng)物并且該動(dòng)物吃肉,前提可以是多個(gè)條件的邏輯關(guān)系(與、或、非),而其中一個(gè)條件:該動(dòng)物是哺乳動(dòng)物是知識(shí)庫(kù)中的一條事實(shí)。由應(yīng)用規(guī)則推導(dǎo)出的結(jié)論:該動(dòng)物是食肉動(dòng)物,可以作為新的知識(shí)添加到知識(shí)庫(kù)中。簡(jiǎn)單的產(chǎn)生式系統(tǒng)如圖1所示。

一般情況下,能夠解決實(shí)際問(wèn)題的專家系統(tǒng),首先需要將用戶輸入的問(wèn)題轉(zhuǎn)變成計(jì)算機(jī)系統(tǒng)可以理解的形式,這一過(guò)程稱為規(guī)約化,將用戶問(wèn)題變?yōu)樾问交氖聦?shí)和規(guī)則的前提條件。如果滿足條件的規(guī)則不止一條,如何選擇規(guī)則取決于沖突解決策略。對(duì)于可以觸發(fā)多個(gè)規(guī)則的條件,可以按照規(guī)則順序來(lái)使用順序靠前的規(guī)則,也可以為規(guī)則設(shè)置優(yōu)先級(jí),按照優(yōu)先級(jí)使用規(guī)則,還可以按照條件的更多限制使用規(guī)則。

對(duì)于復(fù)雜系統(tǒng),規(guī)則庫(kù)可能較為龐大,可以將規(guī)則庫(kù)按照事實(shí)進(jìn)行分類(lèi),這樣能夠快速搜索規(guī)則庫(kù)。大多數(shù)情況下,用戶的問(wèn)題一般可以分解成基于事實(shí)和行為的推理,事實(shí)是能夠匹配知識(shí)庫(kù)中的事實(shí),行為是能夠符合規(guī)則庫(kù)中的前提的行為。例如,該動(dòng)物是哺乳動(dòng)物,該動(dòng)物吃肉,對(duì)于這樣的用戶問(wèn)題,可以將該動(dòng)物是哺乳動(dòng)物作為事實(shí),用搜索關(guān)鍵詞“哺乳動(dòng)物”在知識(shí)庫(kù)中查找,匹配成功以后可以將搜索范圍限定在與哺乳動(dòng)物相關(guān)的規(guī)則庫(kù),然后將吃肉作為行為,用“吃肉”作為關(guān)鍵詞進(jìn)行查找。復(fù)雜的產(chǎn)生式系統(tǒng)如圖2所示。

在圖2中,推理控制模塊用來(lái)格式化用戶輸入,將用戶問(wèn)題變?yōu)槭聦?shí)和行為,事實(shí)部分匹配知識(shí)庫(kù),鏈接到規(guī)則庫(kù),行為部分用來(lái)搜索規(guī)則庫(kù),根據(jù)沖突解決策略使用規(guī)則推理,將結(jié)論返回給用戶并存儲(chǔ)到知識(shí)庫(kù)中。

2 民事法律專家產(chǎn)生式系統(tǒng)

民事法律關(guān)系,指根據(jù)民事法律規(guī)范確立的以民事權(quán)利義務(wù)為內(nèi)容的社會(huì)關(guān)系,是由民事法律規(guī)范調(diào)整而形成的社會(huì)關(guān)系。其要素包括民事主體、民事客體和內(nèi)容。民事主體是指參與民事法律關(guān)系享受民事權(quán)利和負(fù)擔(dān)民事義務(wù)的人,主體可以是自然人,也可以是法人。民事客體是指民事法律關(guān)系中的權(quán)利和義務(wù)共同指向的對(duì)象,客體可以是物體,也可以是一種權(quán)利。民事法律關(guān)系的內(nèi)容是指民事主體在民事法律關(guān)系中享有的權(quán)利和負(fù)擔(dān)的義務(wù),亦即當(dāng)事人之間的民事權(quán)利和義務(wù)。

民事法律關(guān)系是法律規(guī)范對(duì)社會(huì)關(guān)系調(diào)整的結(jié)果,而一項(xiàng)法律規(guī)范在邏輯上是由一個(gè)主項(xiàng)和一個(gè)謂項(xiàng)結(jié)合構(gòu)成的。在民法領(lǐng)域,主項(xiàng)表述了某種法律要件,即民事法律行為,指能夠引起民事法律關(guān)系發(fā)生、變更、消滅的行為。而謂項(xiàng)則表述了法律上將要產(chǎn)生的后果,即民事法律關(guān)系。

如果將專家系統(tǒng)應(yīng)用在民事法律領(lǐng)域,那么產(chǎn)生式系統(tǒng)可以分成兩部分:以民事法律關(guān)系描述的事實(shí)和以民事法律行為描述的行為。以民事法律關(guān)系描述的事實(shí)組成知識(shí)庫(kù),而以民事法律行為描述的行為組成規(guī)則庫(kù)。民事法律專家產(chǎn)生式系統(tǒng)如圖3所示。

3 知識(shí)的表示

面向?qū)ο笫且环N對(duì)現(xiàn)實(shí)世界理解和抽象的方法。對(duì)象是人們要進(jìn)行研究的任何事物,從最簡(jiǎn)單的整數(shù)到復(fù)雜的民事法律關(guān)系等均可看作對(duì)象。民事法律關(guān)系對(duì)象具有三個(gè)屬性,民事主體、民事客體和內(nèi)容。對(duì)象還有操作,用于改變對(duì)象的屬性,民事法律關(guān)系對(duì)象及其操作就是民事法律行為。具有相同屬性和行為的對(duì)象可以抽象成類(lèi),因此,對(duì)象的抽象是類(lèi),類(lèi)的具體化就是對(duì)象,也可以說(shuō)類(lèi)的實(shí)例是對(duì)象。

民事法律關(guān)系類(lèi)是對(duì)民事法律關(guān)系的抽象,其類(lèi)對(duì)象屬性有主體、客體、權(quán)利義務(wù)選項(xiàng)、權(quán)利義務(wù)內(nèi)容,操作有設(shè)置權(quán)利義務(wù)內(nèi)容、變更權(quán)利義務(wù)內(nèi)容、消除權(quán)利義務(wù)內(nèi)容。民事法律行為作為民事法律關(guān)系的聚合類(lèi),類(lèi)對(duì)象屬性有民事法律關(guān)系對(duì)象,操作有變更主體、變更客體、變更權(quán)利義務(wù)內(nèi)容。民事法律關(guān)系類(lèi)圖見(jiàn)圖4,民事法律行為類(lèi)圖見(jiàn)圖5。

類(lèi)之間的關(guān)系有聚集關(guān)系、一般化關(guān)系和關(guān)聯(lián)關(guān)系。聚集關(guān)系是一種“整體-部分”關(guān)系,在這種關(guān)系中,有整體類(lèi)和部分類(lèi)之分。而一般化關(guān)系是“一般-具體”的關(guān)系,一般化類(lèi)稱為父類(lèi),具體類(lèi)又能稱為子類(lèi),各子類(lèi)繼承了父類(lèi)的性質(zhì)。關(guān)聯(lián)關(guān)系是包括兩個(gè)類(lèi)對(duì)象和他們之間關(guān)系屬性。

根據(jù)民事法律關(guān)系要素中的權(quán)利客體所體現(xiàn)的利益類(lèi)型,可以將民事法律關(guān)系分為財(cái)產(chǎn)權(quán)和人身權(quán)。財(cái)產(chǎn)權(quán)是以具有經(jīng)濟(jì)價(jià)值的利益為客體的權(quán)利,而人身權(quán)是以人身之要素為客體的權(quán)利。財(cái)產(chǎn)權(quán)可以進(jìn)一步劃分為物權(quán)、債權(quán)、知識(shí)產(chǎn)權(quán)和繼承權(quán),物權(quán)是支配物并具有排他性效力的財(cái)產(chǎn)權(quán),債權(quán)是得請(qǐng)求債務(wù)人為特定行為的財(cái)產(chǎn)權(quán),知識(shí)產(chǎn)權(quán)是以受保護(hù)的智慧成果為客體的權(quán)利,繼承權(quán)是按遺囑或法律的直接規(guī)定承受被繼承人遺產(chǎn)的權(quán)利。人身權(quán)可以進(jìn)一步劃分為人格權(quán)和身份權(quán),人格權(quán)是指民事主體基于其法律人格而享有的、以人格利益為客體、為維護(hù)其獨(dú)立人格所必需的權(quán)利,身份權(quán)是指公民或法人依一定行為或相互之間的關(guān)系所發(fā)生的一種民事權(quán)利。

從類(lèi)的繼承關(guān)系角度看,民事法律關(guān)系為父類(lèi),從父類(lèi)繼承的子類(lèi)有財(cái)產(chǎn)權(quán)和人身權(quán)。從財(cái)產(chǎn)權(quán)繼承的子類(lèi)有物權(quán)、債權(quán)、知識(shí)產(chǎn)權(quán)和繼承權(quán),從人身權(quán)繼承的子類(lèi)有人格權(quán)和身份權(quán)。類(lèi)圖的繼承關(guān)系如圖6所示。

4 結(jié)論

基于產(chǎn)生式的專家系統(tǒng)包括知識(shí)庫(kù)、規(guī)則庫(kù)和推理策略。運(yùn)用對(duì)象設(shè)計(jì)方法,將民事法律中的概念、范疇和規(guī)范表示為類(lèi)對(duì)象,上位階概念和下位階概念表示成類(lèi)的繼承。知識(shí)庫(kù)中是民事法律關(guān)系,而規(guī)則庫(kù)中是民事法律行為,將用戶問(wèn)題和知識(shí)庫(kù)中的事實(shí)進(jìn)行匹配,然后縮小搜索范圍,在規(guī)則庫(kù)中選擇滿足條件的規(guī)則,得出結(jié)論。

參考文獻(xiàn):

[1] 蔡自興,徐光祐.人工智能及其應(yīng)用[M].北京:清華大學(xué)出版社,1996.

[2] 江平.民法學(xué)[M].北京:中國(guó)政法大學(xué)出版社,2011.

[3] 張海藩.軟件工程導(dǎo)論[M].北京:清華大學(xué)出版社,2003.

巧家县| 崇阳县| 金华市| 张家界市| 湟源县| 永年县| 龙岩市| 安图县| 房产| 潼关县| 上杭县| 随州市| 尼木县| 永清县| 湘潭市| 莫力| 松桃| 奇台县| 独山县| 富平县| 乐都县| 黔西县| 咸阳市| 阿坝县| 通城县| 游戏| 诏安县| 泾阳县| 汉寿县| 旌德县| 攀枝花市| 凤翔县| 青冈县| 米脂县| 平谷区| 陆河县| 宜宾市| 梁平县| 江北区| 临城县| 克拉玛依市|