• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    決策蘊(yùn)涵上的推理規(guī)則和推理過(guò)程研究*

    2020-02-20 03:42:30張少霞翟巖慧李德玉
    計(jì)算機(jī)與生活 2020年2期
    關(guān)鍵詞:蘊(yùn)涵背景定理

    賈 楠,張少霞,翟巖慧,2+,李德玉,2

    1.山西大學(xué) 計(jì)算機(jī)與信息技術(shù)學(xué)院,太原 030006

    2.山西大學(xué) 計(jì)算智能與中文信息處理教育部重點(diǎn)實(shí)驗(yàn)室,太原 030006

    1 引言

    形式概念分析是由德國(guó)Wille教授于1982年提出的一種從形式背景進(jìn)行數(shù)據(jù)分析、知識(shí)表示和規(guī)則提取的強(qiáng)有力工具[1]。形式背景和形式概念是形式概念分析的兩個(gè)基本概念,概念格是從形式背景上提取的形式概念的集合,本質(zhì)上是描述對(duì)象和屬性之間的關(guān)系,并通過(guò)Hasse圖來(lái)可視化概念之間的泛化和例化關(guān)系。目前,形式概念分析已經(jīng)被廣泛應(yīng)用于信息檢索[2]、軟件工程[3]、機(jī)器學(xué)習(xí)[4]、社會(huì)網(wǎng)絡(luò)[5]、基于認(rèn)知的概念學(xué)習(xí)[6-10]和知識(shí)約簡(jiǎn)[11-17]。

    形式概念分析中對(duì)知識(shí)獲取的研究就是對(duì)蘊(yùn)涵的研究[18-21]。蘊(yùn)涵表示為形如A→B的公式,其含義是任意具有屬性集A的對(duì)象集同時(shí)也具有屬性集B。但是,從形式背景中得到的蘊(yùn)涵的數(shù)量往往很龐大[19]。

    引入決策蘊(yùn)涵是減少蘊(yùn)涵數(shù)量的一種方法,決策蘊(yùn)涵是在決策情形下的蘊(yùn)涵,也是決策背景下的知識(shí)表示形式,反映了條件屬性和決策屬性之間的決策關(guān)系[21-22]。從邏輯角度對(duì)決策蘊(yùn)涵的研究分為語(yǔ)義和語(yǔ)構(gòu)兩方面[22],其中語(yǔ)義部分的研究包括以下幾方面[22-25]:

    決策蘊(yùn)涵的合理性:怎樣判斷決策蘊(yùn)涵是否合理?或者說(shuō),決策蘊(yùn)涵在什么情況下是成立的?

    決策蘊(yùn)涵集的封閉性:決策蘊(yùn)涵集是否包含所有合理的決策蘊(yùn)涵?

    決策蘊(yùn)涵集的完備性:如何在不損失信息的前提下生成一個(gè)決策蘊(yùn)涵集?

    決策蘊(yùn)涵集的冗余性:一個(gè)決策蘊(yùn)涵集是否是緊致的?即,是否存在某些決策蘊(yùn)涵可以從決策蘊(yùn)涵集中的其他決策蘊(yùn)涵推導(dǎo)出來(lái)?

    在語(yǔ)構(gòu)方面,首先給定一個(gè)決策蘊(yùn)涵集和一些推理規(guī)則,然后研究如何應(yīng)用這些推理規(guī)則從給定的決策蘊(yùn)涵集中推導(dǎo)出新的決策蘊(yùn)涵。這個(gè)方面的研究需要回答下列問(wèn)題[21-22]:

    推理規(guī)則的合理性:是否推理規(guī)則推導(dǎo)出的任何決策蘊(yùn)涵都是合理的?

    推理規(guī)則集的完備性:是否可以由給定的推理規(guī)則集推導(dǎo)出所有合理的決策蘊(yùn)涵?

    推理規(guī)則集的無(wú)冗余性:推理規(guī)則之間是否是緊致的?即,是否某些推理規(guī)則可以由其他推理規(guī)則導(dǎo)出?

    近年來(lái),針對(duì)語(yǔ)構(gòu)上的推理規(guī)則已經(jīng)開(kāi)展了一些研究工作。Qu等[21]考慮了一種特殊的推理規(guī)則——α-推理規(guī)則。該規(guī)則通過(guò)擴(kuò)大決策蘊(yùn)涵的前件和減少?zèng)Q策蘊(yùn)涵的后件來(lái)得到新的決策蘊(yùn)涵,但是該推理規(guī)則并不是完備的。Li等[26-30]研究了決策背景、不完備決策背景和實(shí)決策背景中的推理規(guī)則。Zhai等[22]提出了兩種推理規(guī)則——擴(kuò)增推理規(guī)則和合并推理規(guī)則,并證明了它們的完備性,即給定一個(gè)完備集,可以通過(guò)擴(kuò)增推理規(guī)則和合并推理規(guī)則從完備集中推導(dǎo)出對(duì)應(yīng)的封閉集。雖然文獻(xiàn)[22]從理論上證明了擴(kuò)增推理規(guī)則和合并推理規(guī)則的合理性和完備性,但并沒(méi)有具體研究如何使用推理規(guī)則推導(dǎo)出封閉集。本文提出了一種更簡(jiǎn)單的推理規(guī)則——后件合并推理規(guī)則。后件合并推理規(guī)則是特殊的合并推理規(guī)則,它只對(duì)前件相同的決策蘊(yùn)涵進(jìn)行合并,證明了后件合并推理規(guī)則是合理的,并且該推理規(guī)則與擴(kuò)增推理規(guī)則組成的推理規(guī)則集是完備的、無(wú)冗余的;進(jìn)一步,研究了擴(kuò)增推理規(guī)則和后件合并推理規(guī)則的性質(zhì),最后給出了使用這兩條推理規(guī)則從完備集推導(dǎo)其對(duì)應(yīng)封閉集的有效方法。

    2 基本概念和性質(zhì)

    本章給出形式概念分析中的基本概念和性質(zhì)。

    定義1[19]形式背景是一個(gè)三元組K=(G,M,I),其中G是對(duì)象集,M是屬性集,I?G×M是對(duì)象和屬性之間的二元關(guān)系。對(duì)于g∈G m∈M(g,m)∈I表示“對(duì)象g具有屬性m”。

    定義2[19]設(shè)K=(G,M,I)為形式背景,對(duì)于集合A?G,記:

    相應(yīng)地,對(duì)于集合B?M,記:

    定義3[19]設(shè)K=(G,M,I)為形式背景,對(duì)于集合A?G和B?M,若AI=B且BI=A則稱二元組(A,B)為形式概念,簡(jiǎn)稱概念。其中A為該概念的外延,B為該概念的內(nèi)涵。

    性質(zhì)1[19]設(shè)K=(G,M,I)為形式背景,對(duì)于集合A,A1,A2?G和B,B1,B2?M有:

    定義4[19]設(shè)K=(G,M,I)為形式背景,C1=(A1,B1)和C2=(A2,B2)是概念,定義偏序:

    所有概念在該偏序下構(gòu)成格,稱為概念格。

    3 決策蘊(yùn)涵

    決策蘊(yùn)涵有兩種研究方式:一種是決策蘊(yùn)涵的邏輯研究;另一種是決策蘊(yùn)涵的數(shù)據(jù)研究。決策蘊(yùn)涵的邏輯研究包括語(yǔ)義和語(yǔ)構(gòu)研究;決策蘊(yùn)涵的數(shù)據(jù)研究主要指決策背景上的決策蘊(yùn)涵研究。首先介紹決策蘊(yùn)涵的邏輯研究。

    3.1 決策蘊(yùn)涵邏輯

    3.1.1 決策蘊(yùn)涵邏輯的語(yǔ)義

    首先給出決策蘊(yùn)涵邏輯中決策蘊(yùn)涵的定義。

    定義5[22]設(shè)C是條件屬性集,D是決策屬性集,其中C?D=?。若A?C且B?D,則稱A→B是一個(gè)決策蘊(yùn)涵。此時(shí),A為該決策蘊(yùn)涵的前提,B為該決策蘊(yùn)涵的結(jié)論。

    定義6[22]設(shè)C是條件屬性集,D是決策屬性集,L和L1是決策蘊(yùn)涵集。定義:

    (1)對(duì)于屬性集T?C?D和決策蘊(yùn)涵A→B,若A?T?C或B?T?D,則稱T滿足A→B(或稱T是A→B的一個(gè)模型),記為T(mén)╞A→B。若T滿足L中的任意一個(gè)決策蘊(yùn)涵,則T是L的一個(gè)模型,記為T(mén)╞L。

    (2)若對(duì)于任意的T?C?D T╞L蘊(yùn)含T╞A→B,則稱A→B可以從L語(yǔ)義導(dǎo)出,記為L(zhǎng)├A→B。若任意的A1→B1∈L1都可以從L語(yǔ)義導(dǎo)出,則稱L1可以從L中語(yǔ)義導(dǎo)出,記為L(zhǎng)├L1。

    (3)若任意的A→B∈L都不能從L中其他的決策蘊(yùn)涵語(yǔ)義導(dǎo)出,即L{A→B}?/{A→B},則稱L是無(wú)冗余的。

    (4)若任意可以從L中語(yǔ)義導(dǎo)出的決策蘊(yùn)涵都包含在L中,則稱L是封閉的。

    (5)對(duì)于封閉的決策蘊(yùn)涵集L,若L1?L且L├1L,則稱L1相對(duì)于L是完備的。

    定義7[22]設(shè)C是條件屬性集,L是決策蘊(yùn)涵集,A?C在L上的閉包為:

    可以證明[22],AL是A相對(duì)于L得到的最大結(jié)論。

    定理1[22]設(shè)L為決策蘊(yùn)涵集,A→B是一個(gè)決策蘊(yùn)涵,則L├A→B當(dāng)且僅當(dāng)B?AL。

    3.1.2 決策蘊(yùn)涵邏輯的語(yǔ)構(gòu)

    決策蘊(yùn)涵邏輯的語(yǔ)構(gòu)研究包括推理規(guī)則的合理性、完備性和無(wú)冗余性。文獻(xiàn)[22]提出兩條推理規(guī)則:

    擴(kuò)增推理規(guī)則:

    合并推理規(guī)則:

    定理2[22](合理性)擴(kuò)增推理規(guī)則和合并推理規(guī)則是合理的,即:

    (1)A→B是一個(gè)決策蘊(yùn)涵,且有A1?A和B1?B,則A→B?A1→B1;

    (2)A→B和A1→B1是決策蘊(yùn)涵,則{A→B,A1→B1}?A?A1→B?B1。

    定理3[22](完備性)擴(kuò)增推理規(guī)則和合并推理規(guī)則是完備的,即對(duì)任意封閉的決策蘊(yùn)涵集L及其完備集L1?L,A→B∈L當(dāng)且僅當(dāng)A→B可以使用擴(kuò)增推理規(guī)則和合并推理規(guī)則從L1推出。

    定義8令L為決策蘊(yùn)涵集:

    (1)使用推理規(guī)則φ在L上得到的所有決策蘊(yùn)涵的集合記為L(zhǎng)φ;

    (2)使用推理規(guī)則集Φ在L上得到的所有決策蘊(yùn)涵的集合記為L(zhǎng)Φ。

    推理規(guī)則集的無(wú)冗余性意味著推理規(guī)則之間不能互相導(dǎo)出,這說(shuō)明每個(gè)推理規(guī)則在進(jìn)行推理時(shí)都是不可替代的。

    定義9[22]令Φ為推理規(guī)則集,φ為某一推理規(guī)則且φ?Φ。稱推理規(guī)則φ相對(duì)于Φ是無(wú)冗余的,若存在決策蘊(yùn)涵集L,使得Lφ?LΦ。稱推理規(guī)則集Φ是無(wú)冗余的,若對(duì)任意的φ∈Φ,φ相對(duì)于Φφ是無(wú)冗余的。

    定理4[22](無(wú)冗余性)擴(kuò)增推理規(guī)則和合并推理規(guī)則是無(wú)冗余的。

    下面的例子說(shuō)明了定理4的正確性。

    例1令L={{a1}→{d1},{a1a2}→{d2}}。使用擴(kuò)增推理規(guī)則從L可得{a1a2}→{d1},顯然該決策蘊(yùn)涵不能由合并推理規(guī)則得到。同樣地,對(duì){a1}→{d1}和{a1a2}→{d2}使用合并推理規(guī)則得到{a1a2}→{d1d2},顯然該決策蘊(yùn)涵也不能只通過(guò)擴(kuò)增推理規(guī)則得到。

    這里,用{a1a2}表示{a1,a2},后文類似。

    3.2 決策背景中的決策蘊(yùn)涵

    下面給出決策蘊(yùn)涵的數(shù)據(jù)研究,即決策背景上的決策蘊(yùn)涵,并將決策蘊(yùn)涵邏輯的研究運(yùn)用到?jīng)Q策背景中的決策蘊(yùn)涵上。

    首先引入決策背景的概念。

    定義10[21]決策背景為三元組K=(G,C?D,IC?ID),其中G為對(duì)象集,C為條件屬性集,D為決策屬性集,且C?D≠?,IC?G×C為條件關(guān)聯(lián)關(guān)系,ID?G×D為決策關(guān)聯(lián)關(guān)系。對(duì)于g∈G m∈C?D(g,m)∈IC或(g,m)∈ID表示“對(duì)象g具有屬性m”。

    決策背景K=(G,C?D,IC?ID)通常用一個(gè)二維表表示,在表中行列的交點(diǎn)處為1表示這個(gè)對(duì)象含有這個(gè)屬性。

    例2表1給出決策背景K=(G,C?D,IC?ID),其中,G={g1,g2,g3,g4,g5,g6,g7,g8}C={a1,a2,a3,a4,a5,a6}D={d1,d2}。

    Table 1 Decision context表1 決策背景

    定義11[21]設(shè)K=(G,C?D,IC?ID)為決策背景,對(duì)于集合A1?C A2?D和B?G記:

    對(duì)于g∈G和A?C,將{g}C、{g}D和(AC)D簡(jiǎn)記為gC、gD和ACD。

    顯然,性質(zhì)1也適用于定義11的算子。例如,對(duì)于A1?A2?C,若。

    定義12[21]設(shè)K=(G,C?D,IC?ID)為決策背景,A?C且B?D。若AC?BD,則稱A→B是一個(gè)決策蘊(yùn)涵。其中A是該決策蘊(yùn)涵的前提,B是該決策蘊(yùn)涵的結(jié)論。

    例3以表1所示的決策背景為例,令A(yù)={a2a3},則AC={g5g7} 令B={d2} 則BD={g2g5g7} 顯然,AC?BD,則A→B是一個(gè)決策蘊(yùn)涵。

    4 決策蘊(yùn)涵上的推理規(guī)則和推理過(guò)程

    4.1 決策蘊(yùn)涵上的推理規(guī)則

    3.1.2 小節(jié)引入了擴(kuò)增推理規(guī)則和合并推理規(guī)則。在此基礎(chǔ)上,提出一條新的推理規(guī)則——后件合并推理規(guī)則:

    顯然,后件合并推理規(guī)則是一種特殊的合并推理規(guī)則,它只對(duì)前件相同的決策蘊(yùn)涵的后件進(jìn)行合并。因此,后件合并推理規(guī)則在形式上更簡(jiǎn)潔。

    因?yàn)楹喜⑼评硪?guī)則是合理的,因此后件合并推理規(guī)則也是合理的。

    定理5(合理性定理)后件合并推理規(guī)則是合理的,即:若A→B1和A→B2是決策蘊(yùn)涵,則{A→B1,A→B2}├A→B1?B2。

    證明顯然。 □

    下面證明擴(kuò)增推理規(guī)則和后件合并推理規(guī)則是無(wú)冗余的。

    首先,根據(jù)定義8,定義:

    定義13令L為決策蘊(yùn)涵集:

    (1)使用擴(kuò)增推理規(guī)則在L上得到的所有決策蘊(yùn)涵的集合記為L(zhǎng)A;

    (2)使用后件合并推理規(guī)則在L上得到的所有決策蘊(yùn)涵的集合記為;

    (3)使用合并推理規(guī)則在L上得到的所有決策蘊(yùn)涵的集合記為L(zhǎng)C;

    (4)先使用擴(kuò)增推理規(guī)則得到LA,再使用后件合并推理規(guī)則得到,簡(jiǎn)記為。

    定理6(無(wú)冗余性定理)后件合并推理規(guī)則和擴(kuò)增推理規(guī)則是無(wú)冗余的。

    證明根據(jù)定義9,只需證明:

    (1)存在決策蘊(yùn)涵集L有;

    (2)存在決策蘊(yùn)涵集L有LCα?LA。

    下面證明(1)。令L1={A1→B1},其中B1≠?,令A(yù)2?A1,B2?B1,則由擴(kuò)增推理規(guī)則可以得到?jīng)Q策蘊(yùn)涵A2→B2。顯然,決策蘊(yùn)涵A2→B2不能由后件合并推理規(guī)則推出。

    下面證明(2)。令L2={A→B1,A→B2},其中B1?B2且B2?B1,由后件合并推理規(guī)則可從L得到?jīng)Q策蘊(yùn)涵A→B1?B2。顯然,決策蘊(yùn)涵A→B1?B2不能由擴(kuò)增推理規(guī)則推出。

    綜上所述,后件合并推理規(guī)則和擴(kuò)增推理規(guī)則是無(wú)冗余的。 □

    例4令L={{a1}→{d1}{a1}→{d2}}。使用擴(kuò)增推理規(guī)則從{a1}→{d1}可得{a1a2}→{d1},顯然該決策蘊(yùn)涵不能由后件合并推理規(guī)則推出。同樣地,對(duì){a1}→{d1}和{a1}→{d2}使用后件合并推理規(guī)則得到{a1}→{d1d2},顯然該決策蘊(yùn)涵也不能只通過(guò)擴(kuò)增推理規(guī)則得出。

    進(jìn)一步,可以得到:

    性質(zhì)2合并推理規(guī)則相對(duì)于擴(kuò)增推理規(guī)則和后件合并推理規(guī)則是冗余的。

    證明根據(jù)定義9,只需證明對(duì)任意的決策蘊(yùn)涵集L若A→B∈LC那么A→B也可以通過(guò)擴(kuò)增推理規(guī)則和后件合并推理規(guī)則得到。

    因?yàn)锳→B∈LC所以A→B必然可以通過(guò)L中的若干條決策蘊(yùn)涵使用合并推理規(guī)則得到,即必存在P?L使得:

    接下來(lái)證明通過(guò)擴(kuò)增推理規(guī)則和后件合并推理規(guī)則可以從P得到A→B。

    因?yàn)?{A1|A1→B1∈P}=A,所以對(duì)任意的A1→B1∈P有A1?A,進(jìn)而可以對(duì)P中所有的決策蘊(yùn)涵使用擴(kuò)增推理規(guī)則得到集合:

    又因?yàn)?{B1|A1→B1∈P}=B,使用后件合并推理規(guī)則,將P1中決策蘊(yùn)涵的前件和后件分別進(jìn)行合并即可得到A→B。 □

    例5令L={{a1}→{d1},{a2a3}→{d2}}。使用合并推理規(guī)則可以從{a1}→{d1}和{a2a3}→{d2}得到{a1a2a3}→{d1d2}。事實(shí)上,也可以分別對(duì){a1}→{d1}和{a2a3}→{d2}使用擴(kuò)增推理規(guī)則得到{a1a2a3}→{d1}和{a1a2a3}→{d2},然后再對(duì){a1a2a3}→{d1}和{a1a2a3}→{d2}使用后件合并推理規(guī)則得到{a1a2a3}→{d1d2}。

    事實(shí)上,性質(zhì)2和例5也說(shuō)明,在推導(dǎo)過(guò)程中,后件合并推理規(guī)則可以替代合并推理規(guī)則,因此擴(kuò)增推理規(guī)則和后件合并推理規(guī)則也是完備的。

    定理7(完備性定理)擴(kuò)增推理規(guī)則和后件合并推理規(guī)則是完備的,即對(duì)任意封閉的決策蘊(yùn)涵集L及其完備集L1?L A→B∈L當(dāng)且僅當(dāng)A→B可以使用擴(kuò)增推理規(guī)則和后件合并推理規(guī)則從L1推出。

    證明(充分性)根據(jù)定理2和定理5,擴(kuò)增推理規(guī)則和后件合并推理規(guī)則是合理的,因此L1├A→B;而又因?yàn)長(zhǎng)是封閉的,因此A→B∈L。

    (必要性)因?yàn)锳→B∈L根據(jù)定理3知道A→B可以使用擴(kuò)增推理規(guī)則和合并推理規(guī)則從L1推出,因此A→B也可以使用擴(kuò)增推理規(guī)則、合并推理規(guī)則和后件合并推理規(guī)則從L1推出;又根據(jù)性質(zhì)2,合并推理規(guī)則相對(duì)于擴(kuò)增推理規(guī)則和后件合并推理規(guī)則是冗余的,因此A→B可以只使用擴(kuò)增推理規(guī)則和后件合并推理規(guī)則從L1推出。 □

    4.2 決策蘊(yùn)涵的推理過(guò)程研究

    通過(guò)決策蘊(yùn)涵的語(yǔ)構(gòu)研究,可以使用推理規(guī)則集從決策蘊(yùn)涵集導(dǎo)出新的決策蘊(yùn)涵。4.1節(jié)中已證明了擴(kuò)增推理規(guī)則和后件合并推理規(guī)則相對(duì)于決策蘊(yùn)涵的語(yǔ)義是完備的,即從任意的決策蘊(yùn)涵集開(kāi)始,重復(fù)應(yīng)用這兩條推理規(guī)則,可以得到給定決策蘊(yùn)涵集的封閉集。在本節(jié),將討論推理規(guī)則的性質(zhì),并將其應(yīng)用在推理過(guò)程中,以便更有效地從決策蘊(yùn)涵集得到封閉集。

    下面,首先定義推理過(guò)程中的一些算子。

    定義14令L為一決策蘊(yùn)涵集,記:

    (1)LA為對(duì)L中所有的決策蘊(yùn)涵均使用一次擴(kuò)增推理規(guī)則得到的所有決策蘊(yùn)涵的集合,即:

    方便起見(jiàn),規(guī)定:

    (1)對(duì)L中的決策蘊(yùn)涵先進(jìn)行一次A運(yùn)算,再進(jìn)行一次Cα運(yùn)算記為,其余類似;

    (2)從L開(kāi)始,連續(xù)進(jìn)行n次A運(yùn)算記為,其余類似。

    例6以表1中的決策背景為例,L={{a2a4a5a6}→{d1}{a1a3a4a5}→{d1}{a1a3a4a5}→{d2}}是它的一個(gè)決策蘊(yùn)涵集。決策蘊(yùn)涵集LA和分別如下所示:

    根據(jù)定理7,對(duì)于完備集L,可以交替進(jìn)行A運(yùn)算和Cα運(yùn)算,直至不再產(chǎn)生新的決策蘊(yùn)涵即可得到,但是這樣的推導(dǎo)方式效率并不高。

    下面,首先研究擴(kuò)增推理規(guī)則和后件合并推理規(guī)則的性質(zhì)以及如何通過(guò)A運(yùn)算和Cα運(yùn)算得到LA和(LA和分別是使用擴(kuò)增推理規(guī)則和后件合并推理規(guī)則在L上得到的所有的決策蘊(yùn)涵的集合,見(jiàn)定義13)。

    性質(zhì)3令L為一決策蘊(yùn)涵集,則:

    (1)L?LA

    (2)LA=LAA

    (3)LA=LA

    證明

    (1)對(duì)于任意的A→B∈L,因?yàn)锳?A且B?B,因而A→B∈LA,因此有L?LA。

    (2)根據(jù)(1),顯然有LA?LAA只需證明LAA?LA。令A(yù)→B∈LAALA,此時(shí)必存在A1→B1∈LA,并由此得到A→B,即有A?A1且B?B1。因?yàn)锳1→B1∈LA,所以必存在A2→B2∈L,并由此得到A1→B1,即有A1?A2且B1?B2。因此得到A?A2且B?B2,結(jié)合A2→B2∈L可知A→B∈LA。

    (3)因?yàn)長(zhǎng)A是使用擴(kuò)增推理規(guī)則在L上得到的所有的決策蘊(yùn)涵的集合,所以必存在n使得LA=(一般都假設(shè)條件屬性集和決策屬性集為有限集,因此L也必為有限集,后文情況類似)。又因?yàn)長(zhǎng)A=LAA,所以LA=LA。 □

    例7以例6中的決策蘊(yùn)涵集L為例,根據(jù)性質(zhì)3可知,LA即為例6中的LA。

    性質(zhì)3和例7說(shuō)明,在推導(dǎo)過(guò)程中,只需要對(duì)L中的所有決策蘊(yùn)涵都進(jìn)行一次A運(yùn)算,即可得到通過(guò)擴(kuò)增推理規(guī)則生成的所有決策蘊(yùn)涵。

    性質(zhì)4令L為一決策蘊(yùn)涵集,則:

    證明

    (1)對(duì)于任意的A→B∈L由因此。

    共有兩種情況:

    ①m≤n。此時(shí),由(1)和題設(shè)可得:

    ②m>n因?yàn)樗裕?/p>

    例8以例6中的決策蘊(yùn)涵集L={{a2a4a5a6}→{d1}{a1a3a4a5}→{d1}{a1a3a4a5}→{d2}}為例,對(duì)L多次進(jìn)行Cα運(yùn)算可得到集合LCα:

    性質(zhì)5令為封閉的決策蘊(yùn)涵集且,則

    證明顯然,因此只需證明。對(duì)任意的A→B∈,令P={A1→B1∈L|A1?A},因?yàn)閷?duì)于任意的A1→B1∈P,都有A1?A和B1?B?B1,所以可使用擴(kuò)增推理規(guī)則得到A→B1?B,進(jìn)而可推理得到集合P1={A→B1?B|A1→B1∈P} 此時(shí),根據(jù)LA的定義有P1?LA。

    接下來(lái)證明B=?{B1?B|A1→B1∈P}。

    根據(jù)定義7可知AL=?{B1|A1→B1∈P} 因?yàn)榍褹→B∈根據(jù)定理1可知B?AL即B??{B1|A1→B1∈P} 則B?{B1|A1→B1∈P}=B而根據(jù)集合的分配律有B?(?{B1|A1→B1∈P})=?{B?B1|A1→B1∈P} 因此有?{B?B1|A1→B1∈P}=B此時(shí),使用后件合并推理規(guī)則可以將P1中所有的決策蘊(yùn)涵合并為A→B因而有A→B∈又因?yàn)镻1?LA所以A→B∈。

    綜上所述,對(duì)任意的A→B∈有A→B∈,因此。 □

    性質(zhì)5表明了生成封閉集不僅可以通過(guò)交替使用這兩條推理規(guī)則,也可以先使用擴(kuò)增推理規(guī)則得到LA再對(duì)LA使用后件合并推理規(guī)則得到封閉集。

    定理8令為封閉的決策蘊(yùn)涵集且,則。

    證明根據(jù)性質(zhì)3可知LA=LA,因此

    定理8在性質(zhì)5的基礎(chǔ)上又進(jìn)一步簡(jiǎn)化了生成封閉集的過(guò)程,在推導(dǎo)過(guò)程中,僅對(duì)決策蘊(yùn)涵集中所有的決策蘊(yùn)涵應(yīng)用一次擴(kuò)增推理規(guī)則即可。

    5 結(jié)論與展望

    本文基于已有的擴(kuò)增推理規(guī)則和合并推理規(guī)則,提出了后件合并推理規(guī)則。該推理規(guī)則不僅簡(jiǎn)化了合并推理規(guī)則,而且具有合理性,與擴(kuò)增推理規(guī)則組成的推理規(guī)則集也具有完備性和無(wú)冗余性;在此基礎(chǔ)上,研究了擴(kuò)增推理規(guī)則和后件合并推理規(guī)則的性質(zhì),并應(yīng)用于推導(dǎo)過(guò)程,提出具體的推導(dǎo)方法。在實(shí)際問(wèn)題中會(huì)遇到各種不同的需求,而不同的推導(dǎo)方法有可能滿足不同的需求,因此也豐富了從決策蘊(yùn)涵集得到封閉集的方法理論。

    另外,這一研究也引出了一些新的問(wèn)題,例如:不論使用擴(kuò)增推理規(guī)則和合并推理規(guī)則,還是使用擴(kuò)增推理規(guī)則和后件合并推理規(guī)則,都需要交替使用才能推導(dǎo)出所有的決策蘊(yùn)涵,這樣勢(shì)必會(huì)增加推理的復(fù)雜度,因此是否存在更簡(jiǎn)單有效的推理規(guī)則,即只需一條推理規(guī)則便足以完成該推理過(guò)程?是否可以將本文的工作推廣到可變決策蘊(yùn)涵[31]和模糊決策蘊(yùn)涵[20,32]上?這也是接下來(lái)需要進(jìn)一步研究的問(wèn)題。

    猜你喜歡
    蘊(yùn)涵背景定理
    J. Liouville定理
    “新四化”背景下汽車NVH的發(fā)展趨勢(shì)
    偉大建黨精神蘊(yùn)涵的哲學(xué)思想
    《論持久戰(zhàn)》的寫(xiě)作背景
    A Study on English listening status of students in vocational school
    我的超級(jí)老爸
    “三共定理”及其應(yīng)用(上)
    晚清外語(yǔ)翻譯人才培養(yǎng)的背景
    多重模糊蘊(yùn)涵與生成模糊蘊(yùn)涵的新方法
    關(guān)于Fuzzy蘊(yùn)涵代數(shù)的模糊MP濾子
    一级毛片久久久久久久久女| 日韩中文字幕视频在线看片 | 五月伊人婷婷丁香| 欧美97在线视频| 下体分泌物呈黄色| 欧美少妇被猛烈插入视频| 日韩人妻高清精品专区| 中文资源天堂在线| 免费看日本二区| 国产免费视频播放在线视频| 美女国产视频在线观看| 亚洲成人av在线免费| 国产精品麻豆人妻色哟哟久久| 一本一本综合久久| 一边亲一边摸免费视频| 亚洲精品日韩在线中文字幕| 欧美激情国产日韩精品一区| 国产精品伦人一区二区| 啦啦啦视频在线资源免费观看| 亚洲国产精品专区欧美| 亚洲欧美一区二区三区黑人 | 亚洲精品自拍成人| 国产高清三级在线| 国产免费一区二区三区四区乱码| 国产午夜精品久久久久久一区二区三区| 日韩一区二区视频免费看| 久久久久网色| 十分钟在线观看高清视频www | 国产一区二区三区综合在线观看 | 最近最新中文字幕大全电影3| 狂野欧美白嫩少妇大欣赏| 国产欧美另类精品又又久久亚洲欧美| 色网站视频免费| 亚洲,欧美,日韩| 性色av一级| 国产国拍精品亚洲av在线观看| 三级国产精品欧美在线观看| 男女无遮挡免费网站观看| a 毛片基地| 国产精品精品国产色婷婷| 最黄视频免费看| 女性生殖器流出的白浆| 国产v大片淫在线免费观看| 亚洲精品色激情综合| 日本-黄色视频高清免费观看| 亚洲国产毛片av蜜桃av| 一级毛片我不卡| av又黄又爽大尺度在线免费看| 一个人看的www免费观看视频| 午夜精品国产一区二区电影| 久久久久久久久大av| 成人高潮视频无遮挡免费网站| 热re99久久精品国产66热6| 一级毛片久久久久久久久女| 一区在线观看完整版| 黄色一级大片看看| 极品教师在线视频| 日本一二三区视频观看| 亚洲欧洲日产国产| 哪个播放器可以免费观看大片| 岛国毛片在线播放| 尤物成人国产欧美一区二区三区| av不卡在线播放| 多毛熟女@视频| 亚洲精品亚洲一区二区| 欧美+日韩+精品| 亚洲不卡免费看| 男人和女人高潮做爰伦理| 国产男女内射视频| 国产爱豆传媒在线观看| 久热这里只有精品99| 国产v大片淫在线免费观看| 亚洲va在线va天堂va国产| 国产精品三级大全| 2022亚洲国产成人精品| 国产精品.久久久| 免费人成在线观看视频色| 人妻少妇偷人精品九色| 一级a做视频免费观看| 亚洲激情五月婷婷啪啪| kizo精华| 嘟嘟电影网在线观看| 久久国产亚洲av麻豆专区| 精品久久久久久电影网| 日韩一本色道免费dvd| 日日摸夜夜添夜夜添av毛片| 久久国内精品自在自线图片| 日本午夜av视频| 在线看a的网站| 国产精品麻豆人妻色哟哟久久| 好男人视频免费观看在线| 国产精品欧美亚洲77777| 久久99蜜桃精品久久| av天堂中文字幕网| 中文在线观看免费www的网站| 欧美zozozo另类| 一本—道久久a久久精品蜜桃钙片| 国产高清三级在线| 男人爽女人下面视频在线观看| 久久ye,这里只有精品| 观看av在线不卡| 精品国产露脸久久av麻豆| 男人添女人高潮全过程视频| 一级黄片播放器| 免费观看性生交大片5| 少妇人妻久久综合中文| 日本黄大片高清| kizo精华| 97在线人人人人妻| 亚洲欧美中文字幕日韩二区| 久久6这里有精品| 国产欧美另类精品又又久久亚洲欧美| 18禁裸乳无遮挡动漫免费视频| 黄色日韩在线| 91精品国产九色| 久久精品夜色国产| 日韩中文字幕视频在线看片 | 久久久亚洲精品成人影院| 国产精品国产av在线观看| 久久精品国产a三级三级三级| 午夜激情福利司机影院| 卡戴珊不雅视频在线播放| 国产国拍精品亚洲av在线观看| 亚洲激情五月婷婷啪啪| 伦理电影大哥的女人| 少妇精品久久久久久久| 妹子高潮喷水视频| 麻豆成人午夜福利视频| 欧美成人一区二区免费高清观看| 欧美一区二区亚洲| 精品久久国产蜜桃| 日产精品乱码卡一卡2卡三| av福利片在线观看| 青春草视频在线免费观看| 婷婷色av中文字幕| 在线 av 中文字幕| 国产精品久久久久成人av| av国产久精品久网站免费入址| 亚洲欧美日韩卡通动漫| 亚洲色图综合在线观看| 国产高清有码在线观看视频| 黑人高潮一二区| 啦啦啦在线观看免费高清www| 免费久久久久久久精品成人欧美视频 | av女优亚洲男人天堂| 日韩三级伦理在线观看| 精品酒店卫生间| 欧美精品亚洲一区二区| 蜜臀久久99精品久久宅男| 乱系列少妇在线播放| 欧美区成人在线视频| 丝袜脚勾引网站| 国产一区二区在线观看日韩| 涩涩av久久男人的天堂| 欧美另类一区| 少妇高潮的动态图| 国产淫片久久久久久久久| 亚洲天堂av无毛| 午夜精品国产一区二区电影| 国产 精品1| 久久国产亚洲av麻豆专区| 亚洲自偷自拍三级| 亚洲熟女精品中文字幕| 久久人妻熟女aⅴ| 十八禁网站网址无遮挡 | 国产精品人妻久久久影院| 免费播放大片免费观看视频在线观看| 亚洲天堂av无毛| 亚洲美女黄色视频免费看| 天天躁夜夜躁狠狠久久av| 永久网站在线| 人人妻人人澡人人爽人人夜夜| 精品视频人人做人人爽| 精品99又大又爽又粗少妇毛片| 下体分泌物呈黄色| 男女边吃奶边做爰视频| 亚洲国产av新网站| 一区二区三区精品91| av在线蜜桃| 人妻制服诱惑在线中文字幕| 亚洲av中文字字幕乱码综合| 老熟女久久久| 青春草国产在线视频| 91精品国产国语对白视频| 日本猛色少妇xxxxx猛交久久| 亚洲成人中文字幕在线播放| 91久久精品电影网| 色网站视频免费| 色5月婷婷丁香| 极品教师在线视频| 国产美女午夜福利| 国产在视频线精品| 王馨瑶露胸无遮挡在线观看| 男男h啪啪无遮挡| 欧美一区二区亚洲| av在线播放精品| a级毛片免费高清观看在线播放| 自拍欧美九色日韩亚洲蝌蚪91 | 视频中文字幕在线观看| 2018国产大陆天天弄谢| 亚洲av成人精品一二三区| 亚洲欧美日韩无卡精品| 国产精品一区二区在线观看99| 中文字幕久久专区| 日本欧美视频一区| 国产大屁股一区二区在线视频| 国产视频首页在线观看| 两个人的视频大全免费| 亚洲成人av在线免费| 伦精品一区二区三区| 联通29元200g的流量卡| videos熟女内射| 男人狂女人下面高潮的视频| 97精品久久久久久久久久精品| 国产淫语在线视频| 国产黄色视频一区二区在线观看| a 毛片基地| 五月天丁香电影| 中文字幕精品免费在线观看视频 | 国产69精品久久久久777片| 日韩强制内射视频| 精品久久久久久久久av| 成人影院久久| 激情 狠狠 欧美| 天天躁日日操中文字幕| 深夜a级毛片| av一本久久久久| 一级片'在线观看视频| 亚洲精品国产色婷婷电影| 少妇裸体淫交视频免费看高清| 18禁在线播放成人免费| 男男h啪啪无遮挡| 大香蕉97超碰在线| 亚洲精品第二区| 久久99热6这里只有精品| 免费黄网站久久成人精品| 黄色配什么色好看| av在线观看视频网站免费| a级毛片免费高清观看在线播放| 丝袜脚勾引网站| 极品少妇高潮喷水抽搐| 人妻制服诱惑在线中文字幕| 永久免费av网站大全| 成人毛片60女人毛片免费| 涩涩av久久男人的天堂| 色视频www国产| 成人美女网站在线观看视频| 成人美女网站在线观看视频| 亚洲国产欧美在线一区| 五月玫瑰六月丁香| 中国国产av一级| 欧美成人a在线观看| 国语对白做爰xxxⅹ性视频网站| 黄色视频在线播放观看不卡| 欧美3d第一页| 中文在线观看免费www的网站| 人妻 亚洲 视频| 九草在线视频观看| 日本-黄色视频高清免费观看| 国产乱人视频| 日本av免费视频播放| 亚洲综合色惰| 亚洲国产欧美人成| 天堂8中文在线网| 国模一区二区三区四区视频| 亚洲精品日本国产第一区| 晚上一个人看的免费电影| 中国美白少妇内射xxxbb| 日本黄大片高清| 黑丝袜美女国产一区| 高清黄色对白视频在线免费看 | 成人美女网站在线观看视频| 精品少妇黑人巨大在线播放| 久久99蜜桃精品久久| 美女国产视频在线观看| 舔av片在线| 麻豆成人午夜福利视频| 精品99又大又爽又粗少妇毛片| 另类亚洲欧美激情| 高清黄色对白视频在线免费看 | 你懂的网址亚洲精品在线观看| 亚洲激情五月婷婷啪啪| 久久精品国产自在天天线| 国产亚洲欧美精品永久| 高清不卡的av网站| 日韩 亚洲 欧美在线| 新久久久久国产一级毛片| 欧美+日韩+精品| 中文天堂在线官网| 草草在线视频免费看| 伦理电影免费视频| 国产片特级美女逼逼视频| 超碰97精品在线观看| 久久这里有精品视频免费| 亚洲久久久国产精品| 国产精品一区二区性色av| 观看av在线不卡| 少妇的逼好多水| 午夜福利视频精品| 欧美xxxx性猛交bbbb| 亚洲精品一区蜜桃| 国产毛片在线视频| 大话2 男鬼变身卡| 男女下面进入的视频免费午夜| 国产精品欧美亚洲77777| 99久久精品国产国产毛片| 亚洲精品456在线播放app| 日韩在线高清观看一区二区三区| 成人亚洲欧美一区二区av| 观看av在线不卡| 毛片一级片免费看久久久久| 熟女人妻精品中文字幕| 欧美成人午夜免费资源| 国产在线男女| 女人久久www免费人成看片| 日本与韩国留学比较| 成人无遮挡网站| 建设人人有责人人尽责人人享有的 | 18禁在线播放成人免费| 亚洲欧美中文字幕日韩二区| 在线观看人妻少妇| 欧美日本视频| 91久久精品电影网| 欧美日韩在线观看h| 国产一区亚洲一区在线观看| 黄色怎么调成土黄色| 国产精品一二三区在线看| 日本欧美视频一区| 最近中文字幕2019免费版| 看非洲黑人一级黄片| 国产精品一区二区在线不卡| 中文字幕精品免费在线观看视频 | 国产亚洲精品久久久com| 国产视频内射| 国产在线男女| 天天躁夜夜躁狠狠久久av| 七月丁香在线播放| 少妇裸体淫交视频免费看高清| 亚洲精品一区蜜桃| 国产乱人视频| 美女福利国产在线 | 亚洲人成网站在线播| 欧美+日韩+精品| 天堂中文最新版在线下载| 成人国产麻豆网| 2021少妇久久久久久久久久久| 人妻少妇偷人精品九色| 精品人妻一区二区三区麻豆| 黄色一级大片看看| 午夜福利在线在线| 精品久久国产蜜桃| 老司机影院成人| 青春草视频在线免费观看| 在线天堂最新版资源| 亚洲精品乱久久久久久| 一本久久精品| 观看免费一级毛片| 亚洲欧美精品自产自拍| 国产一区二区在线观看日韩| 久久影院123| 下体分泌物呈黄色| 丝瓜视频免费看黄片| 不卡视频在线观看欧美| 免费高清在线观看视频在线观看| 国产男女内射视频| 久久久色成人| 少妇精品久久久久久久| 你懂的网址亚洲精品在线观看| av免费在线看不卡| 午夜福利影视在线免费观看| 涩涩av久久男人的天堂| 欧美区成人在线视频| 国国产精品蜜臀av免费| 一级黄片播放器| 国产精品.久久久| 亚洲天堂av无毛| 高清av免费在线| 熟女人妻精品中文字幕| 97超碰精品成人国产| 国产真实伦视频高清在线观看| 深爱激情五月婷婷| 欧美成人精品欧美一级黄| 黄色欧美视频在线观看| 最近中文字幕2019免费版| 久久99热这里只有精品18| 亚洲aⅴ乱码一区二区在线播放| 美女高潮的动态| 人妻一区二区av| av在线观看视频网站免费| 国产成人精品婷婷| 一本久久精品| 一个人免费看片子| 久久国产精品大桥未久av | 久久久久久久久久人人人人人人| 日本wwww免费看| 国产免费一区二区三区四区乱码| 丝瓜视频免费看黄片| 久久久久久久久久人人人人人人| 精品一区二区免费观看| 99久久综合免费| 欧美高清性xxxxhd video| av福利片在线观看| 国产精品一及| 嘟嘟电影网在线观看| 国产爱豆传媒在线观看| 国产视频首页在线观看| 夜夜爽夜夜爽视频| 这个男人来自地球电影免费观看 | 草草在线视频免费看| 亚洲国产最新在线播放| 亚洲精华国产精华液的使用体验| 亚洲一级一片aⅴ在线观看| 精品人妻熟女av久视频| 日韩一区二区视频免费看| 男女边摸边吃奶| av在线播放精品| av线在线观看网站| 国产男女超爽视频在线观看| 高清av免费在线| 青春草国产在线视频| 伦理电影大哥的女人| 99久久中文字幕三级久久日本| 夜夜骑夜夜射夜夜干| 黄色欧美视频在线观看| 中文字幕av成人在线电影| 色视频在线一区二区三区| 极品教师在线视频| 大陆偷拍与自拍| 国产精品一区二区性色av| 成人特级av手机在线观看| 欧美3d第一页| 免费av不卡在线播放| 中文精品一卡2卡3卡4更新| 韩国av在线不卡| 精品酒店卫生间| 爱豆传媒免费全集在线观看| 亚洲人成网站在线播| 亚洲美女黄色视频免费看| 少妇 在线观看| 22中文网久久字幕| 亚洲综合精品二区| 九草在线视频观看| 亚洲av电影在线观看一区二区三区| 中文字幕久久专区| 十分钟在线观看高清视频www | 十分钟在线观看高清视频www | 亚洲精品国产av成人精品| 午夜视频国产福利| 日韩中文字幕视频在线看片 | 免费不卡的大黄色大毛片视频在线观看| 99热这里只有精品一区| 亚洲精品日韩在线中文字幕| 观看美女的网站| 香蕉精品网在线| 国产精品久久久久久久电影| 一级毛片电影观看| 国产91av在线免费观看| av.在线天堂| 综合色丁香网| 日日啪夜夜爽| 日韩欧美 国产精品| 亚洲精品国产成人久久av| 99热全是精品| 国产伦在线观看视频一区| 亚洲,欧美,日韩| 国产在线视频一区二区| 精品一区二区免费观看| 久久久色成人| 99re6热这里在线精品视频| 国产精品人妻久久久影院| 建设人人有责人人尽责人人享有的 | 熟女人妻精品中文字幕| 女性生殖器流出的白浆| 精品久久国产蜜桃| 欧美成人午夜免费资源| 国产精品国产三级专区第一集| 一区二区三区免费毛片| 成人综合一区亚洲| 亚洲精品日韩在线中文字幕| 日日摸夜夜添夜夜爱| 青春草视频在线免费观看| 亚洲熟女精品中文字幕| 好男人视频免费观看在线| 久久鲁丝午夜福利片| 一级a做视频免费观看| 老女人水多毛片| 亚洲av国产av综合av卡| 国产黄片视频在线免费观看| 最近最新中文字幕大全电影3| 亚洲精品日韩在线中文字幕| av卡一久久| 国产大屁股一区二区在线视频| 婷婷色麻豆天堂久久| 久久午夜福利片| 免费看不卡的av| 亚洲av.av天堂| 久久99热6这里只有精品| 99精国产麻豆久久婷婷| 国产精品一区二区在线不卡| 尤物成人国产欧美一区二区三区| 22中文网久久字幕| 91精品伊人久久大香线蕉| 亚洲av中文字字幕乱码综合| 精品国产三级普通话版| 最近2019中文字幕mv第一页| 网址你懂的国产日韩在线| 亚洲国产欧美人成| 狠狠精品人妻久久久久久综合| 中文天堂在线官网| 嫩草影院入口| 欧美日本视频| 亚洲精品色激情综合| 亚洲精品456在线播放app| 人妻夜夜爽99麻豆av| 久久 成人 亚洲| 久久久欧美国产精品| 成人国产av品久久久| 一个人免费看片子| 欧美日韩在线观看h| a 毛片基地| 肉色欧美久久久久久久蜜桃| 在线观看美女被高潮喷水网站| 国产日韩欧美亚洲二区| 国产真实伦视频高清在线观看| 色婷婷久久久亚洲欧美| 性高湖久久久久久久久免费观看| 噜噜噜噜噜久久久久久91| 丝袜喷水一区| 日韩精品有码人妻一区| 少妇熟女欧美另类| 永久网站在线| 久久韩国三级中文字幕| 国产又色又爽无遮挡免| 97超视频在线观看视频| 国产91av在线免费观看| 国产永久视频网站| 七月丁香在线播放| 亚洲av免费高清在线观看| 99国产精品免费福利视频| 国内少妇人妻偷人精品xxx网站| 日韩欧美精品免费久久| 国产探花极品一区二区| 街头女战士在线观看网站| 久久国内精品自在自线图片| www.av在线官网国产| 少妇裸体淫交视频免费看高清| 日韩欧美一区视频在线观看 | 亚洲精品亚洲一区二区| 性色avwww在线观看| 五月开心婷婷网| 在线观看美女被高潮喷水网站| 午夜视频国产福利| 一级片'在线观看视频| av在线老鸭窝| 日日撸夜夜添| 亚洲精品乱码久久久v下载方式| 亚洲美女黄色视频免费看| 国产精品99久久99久久久不卡 | 国产成人午夜福利电影在线观看| 十分钟在线观看高清视频www | 色吧在线观看| 精品99又大又爽又粗少妇毛片| 黄片无遮挡物在线观看| 欧美精品亚洲一区二区| 你懂的网址亚洲精品在线观看| 美女福利国产在线 | 国产高潮美女av| 日本一二三区视频观看| 久久国产精品大桥未久av | 狂野欧美激情性xxxx在线观看| 亚洲第一av免费看| 九九久久精品国产亚洲av麻豆| 免费看av在线观看网站| 午夜福利网站1000一区二区三区| 天天躁日日操中文字幕| 日韩国内少妇激情av| 亚洲av电影在线观看一区二区三区| 在线观看免费视频网站a站| 国产精品国产三级国产av玫瑰| 99久久人妻综合| 精华霜和精华液先用哪个| 亚洲人与动物交配视频| 制服丝袜香蕉在线| 中文字幕精品免费在线观看视频 | 欧美日本视频| a级毛片免费高清观看在线播放| 男女无遮挡免费网站观看| 国产精品免费大片| 男女无遮挡免费网站观看| 国产成人精品婷婷| 夜夜爽夜夜爽视频| 亚洲精品色激情综合| 精品亚洲成国产av| 日韩大片免费观看网站| 尤物成人国产欧美一区二区三区| 少妇人妻 视频| 精品99又大又爽又粗少妇毛片| 五月伊人婷婷丁香| 九九爱精品视频在线观看| 成人国产麻豆网| 欧美极品一区二区三区四区| 日韩中字成人| 久久久久久久国产电影| 黄片wwwwww| 熟妇人妻不卡中文字幕| 欧美bdsm另类| 久久久久久人妻| 久久精品久久久久久噜噜老黄| 亚洲精品国产av蜜桃| 在线观看一区二区三区| 国产爽快片一区二区三区| 少妇丰满av| 精品亚洲乱码少妇综合久久| 国产伦精品一区二区三区视频9| 亚洲美女搞黄在线观看|