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

    語義Tableau定理證明器的Prolog實現(xiàn)

    2015-04-07 09:36:40高華江建國蘇賀靚
    科技視界 2015年9期

    高華 江建國 蘇賀靚

    【摘 要】語義Tableau是一種具有較強通用性和適用性的推理方法?;赑rolog語言,并利用語義Tableau方法,在M.C.Fitting提出的一階邏輯自動定理證明器的基礎上提出了一些改進,給出了改進后相應的算法,并且對算法的可終止性和正確性進行了證明。實驗結果表明,優(yōu)化后的語義Tableau定理證明器,大大提高推理效率。

    【關鍵詞】語義Tableau;定理證明器;Prolog

    【Abstract】Semantic Tableau is a strong versatility and applicability of the method of reasoning. Basing on the Prolog language, and the use of Semantic Tableau method, it made some improvements which based on the first-order logic automated theorem proposed by M.C.Fitting, and gave the corresponding algorithm. In addition, it gives the proofs of its terminability and correctness. Experimental results shows that the optimized Semantic Tableau theorem prover makes the Tableau close early and improves greatly in time efficiency of deduction.

    【Key words】Semantic tableau; Theorem prover; Prolog

    0 引言

    自動定理證明(Automated Theorem Proving, 簡稱ATP)一直是人工智能領域內(nèi)的一個重大研究課題。在軟件生成,軟硬件驗證,推理數(shù)據(jù)庫等領域,自動定理證明都有著廣泛的應用。研究自動定理證明的方法有很多,常見的自動定理證明的方法有兩類:歸結法和語義Tableau方法。有關這兩種方法的應用有很多,例如許偉濤和張家鋒等人都將歸結法應用在格值邏輯上,并取得了重大的突破[1-2];劉全,孫吉貴根據(jù)語義Tableau方法提出了一種新的定理證明器TableauTAP[3]。

    語義Tableau是在20世紀50年代由Beth和Hintikka發(fā)明的,之后由Sumullan和Fitting進一步完善。自語義Tableau問世以來,對語義Tableau自動定理證明器的探索一直吸引著廣大人工智能研究者。很多文獻在該方面進行了探索。

    B.Becke和J.Posegga提出了一種高效、簡潔、安全的一階邏輯定理證明器leanTAP[4-5]。leanTAP系統(tǒng)是由五條Prolog語句構成的。由于該系統(tǒng)本質上利用了Prolog的搜索機制,因此用不同的語言書寫該程序時,我們至少要模仿Prolog的一部分。由于程序的短小,B.Becke和J.Posegga能夠對該系統(tǒng)的完備性和可靠性的證明做一個簡述。但是其完備性證明的具體過程卻相對復雜。

    為了簡化系統(tǒng)完備性的證明以及使leanTAP更容易被理解,M.C.Fitting從leanTAP中提取出了一種新的序列演算[6]。該序列演算即使在沒有所有結構規(guī)則的情況下,仍具有可靠性和完備性。而且還很容易被擴展到其他的邏輯中去。

    M.C.Fitting提出了另一種Tableau的一階邏輯自動定理證明器系統(tǒng)[7]。該系統(tǒng)是在Windows環(huán)境下,應用Prolog語言實現(xiàn)的。其相應的可靠性和完備性的證明是采用模型存在定理來完成的。該系統(tǒng)的方法易于擴展,且具有很強的通用性,這使得它能夠很快的被大多數(shù)人接受。只是在實現(xiàn)效率問題上還存在著一些不足。應用M.C.Fitting的Tableau系統(tǒng)相應的擴展規(guī)則,我們可以構造出一個含有n個分枝的Tableau分枝樹,且該分枝樹上的n-1個分枝是封閉的。然而在使用謂詞closed對其進行驗證時,系統(tǒng)又一次對整個Tableau分枝樹進行了檢測,這是沒有必要的。

    在M.C.Fitting工作的基礎上,針對以上問題,本文對其算法做了相應的改進,并對改進后的算法進行了可終止性和正確性的證明。將改進后的系統(tǒng)與改進前的系統(tǒng)進行對比,結果表明,改進后的系統(tǒng)在推理的時間效率和空間效率上都有很大的提高。

    2 Tableau算法

    本文給出的Tableau算法是在M.C.Fitting的基礎上作了進一步的改進而得出的。一方面,為防止對某分枝中已經(jīng)互補的子式[8]繼續(xù)擴展。系統(tǒng)在每次擴展之后,應立即對其封閉性做出檢驗,而不是等把整個Tableau分枝樹都擴展完,再驗證它是否為封閉的。另一方面,已經(jīng)封閉的分枝,應把它去掉。否則,系統(tǒng)會又一次地對其進行擴展。這增加了算法的復雜度,從而導致了系統(tǒng)實現(xiàn)效率降低。

    定理1 設X為公式,若X不是有效的,則算法終止,且最后終止于No;否則,算法終止于Yes。

    證明:首先,該算法是可以終止的。設T為[〈X〉]中非原子公式或者是未實例化的量詞公式的集合,每次循環(huán)之后,T的個數(shù)就會減少1,由于X是有限的,所以循環(huán)必將終止,即該算法終止;其次,該算法也是正確的。假設X不是有效的,但最后終止于Yes,則由循環(huán)的條件可知,該分枝樹中沒有其他任何分枝,即該分枝樹中的所有分枝都被刪去了,進而該分枝樹的所有分枝都是閉的。由定義2可知,此時的Tableau是閉的,所以X有一個Tableau證明。由文獻[7]中自由語義變量Tableau的可靠性可知,X是有效的。這與假設矛盾,因此系統(tǒng)終止于No。若X是有效的,但不以Yes終止,由算法可知,在對所有的公式都進行擴展之后,Tableau樹仍是不封閉的,因此X不是有效的,這與假設矛盾。因此算法終止于Yes。

    3 Prolog實現(xiàn)

    把一個Tableau分枝樹看作是由它上分枝構成的一個列表T=[B1,B2,…,Bn],列表中的每個元素Bi代表一個分枝,且每個分枝Bi也都可以寫成由該分枝上所有公式構成的一個列表B=[φ1,φ2,…,φn]列表中的每個元素φi表示一個公式。若Tableau分枝樹的其中的一個分枝Bi是閉的,則把此分枝從列表T中刪去。最后,如果構成的Tableau分枝樹的列表T為空,則有該Tableau是閉的。

    由于本文構造的Tableau是嚴格的,因此,用Tableau擴展規(guī)則作用后的公式應從列表中刪去,從而使得由每個分枝構成的列表中的元素為原子或未擴展的公式。

    相對于文獻[7],本文在驗證分枝閉的過程中增加了對分枝閉的檢驗,來防止對已封閉了的分枝繼續(xù)使用Tableau擴展規(guī)則進行擴展。

    為證明公式X的有效性,本文將證明器的開始目標設置為:test(X,Qdepth)。X是待擴展的原公式;Qdepth是γ規(guī)則使用的次數(shù)。當Qdepth達到最大值時,程序將不再被執(zhí)行。因為擴展規(guī)則中的γ規(guī)則要求從γ到γ(t),所以限制γ規(guī)則的使用次數(shù)是很有必要的。這里t是任意的閉項。由于閉項t的個數(shù)是無窮的,因此γ規(guī)則會無休止地執(zhí)行下去。

    程序中對公式的擴展是用謂詞expand(Tree,Qdepth,Newtree)來實現(xiàn)的。這里,Tree是待擴展的語義分枝樹;Qdepth用來限制γ規(guī)則的使用次數(shù);Newtree是擴展之后得到的新的Tableau分枝樹。對Tableau分枝的擴展是采取遞歸的方式進行的。擴展的實際操作過程如下:

    Singlestep(OldTableau,OldQdepth,NewTableau,NewQdepth)

    這里OldTableau,NewTableau分別是待擴展的分枝樹和擴展完之后的分枝樹;OldQdepth與NewQdepth分別是擴展前后Qdepth的值。

    4 對比實驗

    改進后的系統(tǒng)是在Windows環(huán)境下,應用SWI-Prolog語言實現(xiàn)的。使用改進后的系統(tǒng)對文獻[9]中的10個問題進行證明,并與改進前的系統(tǒng)作比較,結果見表2。

    由表1可以得出,改進后的系統(tǒng)TabProver與原系統(tǒng)相比較在運行時間效率方面有了很大的提高,從而本文對原系統(tǒng)的改進是可行有效的。

    5 結語

    對于自動推理而言,考察其推理效率的一個重要指標是推理所用的時間和空間。近年來隨著人工智能技術的進一步發(fā)展,自動推理在效率方面的要求也越來越高,基于語義Tableau的推理系統(tǒng)也存在效率方面的問題。本文在M.C.Fitting的基礎上針對分枝閉檢驗的效率問題提出了相應的改進。改進后的系統(tǒng),一方面增加了封閉性的檢驗;另一方面對已經(jīng)封閉的分枝采取立即刪除。此外,本文還給出了改進后的算法,證明了算法的正確性與可終止性,并在Windows環(huán)境下對系統(tǒng)進行了實現(xiàn)。實驗結果表明,改進后系統(tǒng)的推理復雜度大大降低了。

    原有的一階邏輯自動定理器由于涉及對量詞的處理,因此導致了該證明器的運行效率相對較低,這給人們帶來了不便。今后將要進行的工作是:通過引入斯科拉姆化方法消去公式中的存在量詞,并驗證是否可以提高相應的效率。此外,由于語義Tableau方法具有較強的通用性,因此可以嘗試將其擴展到非經(jīng)典邏輯中,從而達到該方法在不同領域的應用。

    【參考文獻】

    [1]XU Wei-tao ZHANG Wen-qiang ZHANG De-xian et al. α-generalized resolution principle based on the lattice-valued first-order logic system[J]. Journal of XiDian University,2014, 41(1):135-139.許偉濤,張聞強,張德賢,等.格值一階邏輯系統(tǒng)的α廣義歸結原理[J].西安電子科技大學學報,2014,41(1):135-139.

    [2]ZAHNG Jia-feng, XU Yang. α-semantic resolution method based on lattice-valued first-order logic LF(X)[J]. Computer Science, 2014, 41(9):274-279.張家鋒, 徐揚. 格值一階邏輯LF(X)中的α-語義歸結方法[J]. 計算機科學,2014,41(9):274-278.

    [3]LIU Guan, SUN Ji-gui. Theorem proving system based on tableau-tableauTAP[J]. Computer Engineering, 2006, 32(7):38-46.劉全,孫吉貴. 基于Tableau的定理機器證明系統(tǒng)TableauTAP[J].計算機工程, 2006,32(7):38-46.

    [4]B BECKERT, J POSEGGA, LEANTAP. Lean tableau-based deduction[J]. Journal of Automated Reasoning, 1995,15(3):339-358.

    [5]B BECKERT, J POSEGGA. Logic programming as a basis for automated deduction[J]. The Journal of Logic Programming, 1996,28(3):231-236.

    [6]M FITTING. LeanTAP revisited[J]. Journal of Logic and Computation, 1998, 8(1):33-47.

    [7]M C FITTING. First-order logic and automated theorem proving[M]. 2rd ed. Springer-Verlag, 1996.

    [8]LIU Guan, SUN Ji-gui, YU Wan-jun. An improved method of δ-rule in free variable semantic tableau[J]. Journal of Computer Research And Development, 2004,41(7):1068-1073. 劉全,孫吉貴,于萬鈞.自由變量語義Tableau中δ規(guī)則的一種改進方法[J].計算機研究與發(fā)展,2004,41(7):1068-1073.

    [9]F J PELLETIER. Seventy-five Problems for testing automatic theorem provers[J]. Journal of Automated Reasoning, 1986,2:191-216.

    [責任編輯:湯靜]

    国产成人aa在线观看| 亚洲成人久久性| 三级男女做爰猛烈吃奶摸视频| 国产熟女欧美一区二区| 亚洲成人中文字幕在线播放| 69人妻影院| 久久精品夜色国产| 91在线观看av| av在线观看视频网站免费| 亚洲综合色惰| 免费电影在线观看免费观看| 丰满乱子伦码专区| 麻豆成人午夜福利视频| 欧美潮喷喷水| 男女啪啪激烈高潮av片| 亚洲无线在线观看| 可以在线观看的亚洲视频| 天堂网av新在线| 日本成人三级电影网站| 久久亚洲精品不卡| 性色avwww在线观看| 国产精品久久电影中文字幕| 一个人看的www免费观看视频| 婷婷色综合大香蕉| 久久6这里有精品| 干丝袜人妻中文字幕| 久久久a久久爽久久v久久| 一级毛片aaaaaa免费看小| 欧美+日韩+精品| 国产三级在线视频| 欧美性猛交╳xxx乱大交人| 国产麻豆成人av免费视频| 亚洲欧美日韩高清在线视频| 一进一出抽搐gif免费好疼| 亚州av有码| 俺也久久电影网| 尤物成人国产欧美一区二区三区| 在线天堂最新版资源| 男女做爰动态图高潮gif福利片| 日本a在线网址| 久久久国产成人精品二区| 亚洲无线观看免费| 黄片wwwwww| 美女xxoo啪啪120秒动态图| 岛国在线免费视频观看| 久久精品国产亚洲网站| 国产伦在线观看视频一区| 两个人的视频大全免费| 99在线人妻在线中文字幕| 日本欧美国产在线视频| 国产精品野战在线观看| 老熟妇仑乱视频hdxx| 亚洲av成人av| 国产中年淑女户外野战色| 日日摸夜夜添夜夜添小说| 一区二区三区高清视频在线| 国产一区二区亚洲精品在线观看| 久久精品国产亚洲网站| 色综合色国产| 菩萨蛮人人尽说江南好唐韦庄 | 国产精品久久久久久久电影| 国产亚洲91精品色在线| 美女 人体艺术 gogo| 国产激情偷乱视频一区二区| 欧美日本亚洲视频在线播放| 最近中文字幕高清免费大全6| 91精品国产九色| 成人高潮视频无遮挡免费网站| 国产 一区精品| 亚洲av一区综合| 欧美丝袜亚洲另类| 欧美激情国产日韩精品一区| 波多野结衣高清无吗| 五月伊人婷婷丁香| 99久久中文字幕三级久久日本| av卡一久久| 九九爱精品视频在线观看| 网址你懂的国产日韩在线| 国产伦精品一区二区三区视频9| 欧美一区二区亚洲| 中国国产av一级| 免费搜索国产男女视频| 给我免费播放毛片高清在线观看| 免费在线观看成人毛片| 久久精品国产鲁丝片午夜精品| 在线观看66精品国产| 亚洲精品日韩av片在线观看| 日本 av在线| 久久久久久久久大av| 久久久久久国产a免费观看| а√天堂www在线а√下载| 1024手机看黄色片| 成年av动漫网址| 人妻丰满熟妇av一区二区三区| 国产成人freesex在线 | 蜜桃久久精品国产亚洲av| .国产精品久久| 久久中文看片网| 1024手机看黄色片| 亚洲中文日韩欧美视频| 精品久久久久久久久亚洲| 成人午夜高清在线视频| 亚洲天堂国产精品一区在线| 亚洲精品日韩在线中文字幕 | 国产成人影院久久av| 最近在线观看免费完整版| 联通29元200g的流量卡| 久久久午夜欧美精品| 国产av不卡久久| 成人无遮挡网站| 老女人水多毛片| 91久久精品电影网| 美女黄网站色视频| 亚洲精品国产成人久久av| av卡一久久| 国产麻豆成人av免费视频| 九九爱精品视频在线观看| 免费av不卡在线播放| 亚洲一级一片aⅴ在线观看| 99久国产av精品国产电影| 国产欧美日韩精品一区二区| 久久国产乱子免费精品| 欧美xxxx黑人xx丫x性爽| 精品99又大又爽又粗少妇毛片| 亚洲,欧美,日韩| 成人三级黄色视频| 久久久久久久午夜电影| 男女视频在线观看网站免费| 成人美女网站在线观看视频| 亚洲成人精品中文字幕电影| 高清毛片免费观看视频网站| 免费观看精品视频网站| 自拍偷自拍亚洲精品老妇| 日本a在线网址| 直男gayav资源| 日本-黄色视频高清免费观看| 国产成人福利小说| 亚洲美女搞黄在线观看 | 国产麻豆成人av免费视频| 国产精品99久久久久久久久| 国产三级中文精品| 国产精品免费一区二区三区在线| 99国产精品一区二区蜜桃av| 99热精品在线国产| 18禁黄网站禁片免费观看直播| 成人午夜高清在线视频| 欧美潮喷喷水| 久久欧美精品欧美久久欧美| 日韩制服骚丝袜av| 日本一二三区视频观看| 精品少妇黑人巨大在线播放 | 男人舔奶头视频| 黄色视频,在线免费观看| 女的被弄到高潮叫床怎么办| 两个人的视频大全免费| 欧美zozozo另类| av在线老鸭窝| 九九在线视频观看精品| 少妇被粗大猛烈的视频| 夜夜爽天天搞| 亚洲不卡免费看| 可以在线观看毛片的网站| 久久鲁丝午夜福利片| 日韩av不卡免费在线播放| 日韩三级伦理在线观看| 成人午夜高清在线视频| 欧美中文日本在线观看视频| 免费一级毛片在线播放高清视频| 看免费成人av毛片| 国产爱豆传媒在线观看| 91av网一区二区| a级毛片a级免费在线| 国产人妻一区二区三区在| 精品久久久久久久久久免费视频| 久久精品久久久久久噜噜老黄 | 国产亚洲精品综合一区在线观看| 悠悠久久av| 少妇裸体淫交视频免费看高清| 精品人妻一区二区三区麻豆 | 国产精品av视频在线免费观看| 一个人免费在线观看电影| 能在线免费观看的黄片| 久久久a久久爽久久v久久| av天堂中文字幕网| 色综合站精品国产| 国产色爽女视频免费观看| 日日啪夜夜撸| 午夜精品在线福利| 伦理电影大哥的女人| 亚洲18禁久久av| 久久久国产成人精品二区| 高清午夜精品一区二区三区 | 久久久久性生活片| 亚洲国产高清在线一区二区三| 久久久精品欧美日韩精品| 国产精品永久免费网站| 欧美日韩在线观看h| 亚洲精品影视一区二区三区av| 亚洲av电影不卡..在线观看| 免费av观看视频| 少妇丰满av| 麻豆成人午夜福利视频| 亚洲av二区三区四区| 国产成人福利小说| 国产综合懂色| av国产免费在线观看| 久久国内精品自在自线图片| 免费无遮挡裸体视频| АⅤ资源中文在线天堂| 在线播放国产精品三级| 国产三级在线视频| 毛片女人毛片| 国产白丝娇喘喷水9色精品| 亚洲熟妇熟女久久| 久久精品国产鲁丝片午夜精品| 嫩草影视91久久| 亚洲婷婷狠狠爱综合网| 不卡视频在线观看欧美| 综合色av麻豆| 联通29元200g的流量卡| 天天躁夜夜躁狠狠久久av| 少妇的逼好多水| 麻豆乱淫一区二区| 成年女人看的毛片在线观看| 一夜夜www| 内地一区二区视频在线| 亚洲成av人片在线播放无| 欧美+亚洲+日韩+国产| 亚洲无线在线观看| 免费黄网站久久成人精品| 日韩人妻高清精品专区| 国产精品三级大全| 最后的刺客免费高清国语| 级片在线观看| 悠悠久久av| 夜夜爽天天搞| 熟妇人妻久久中文字幕3abv| 97在线视频观看| 久久精品国产鲁丝片午夜精品| 日产精品乱码卡一卡2卡三| 一本久久中文字幕| 成年版毛片免费区| 校园人妻丝袜中文字幕| 国产精品野战在线观看| 国产一区亚洲一区在线观看| 高清毛片免费看| 久久精品人妻少妇| 1024手机看黄色片| 亚洲电影在线观看av| 校园人妻丝袜中文字幕| 亚洲成av人片在线播放无| 丰满人妻一区二区三区视频av| 亚洲精品456在线播放app| 老熟妇仑乱视频hdxx| 欧美xxxx黑人xx丫x性爽| av在线亚洲专区| 久久精品影院6| 精品午夜福利视频在线观看一区| 99久久九九国产精品国产免费| www日本黄色视频网| 欧美色视频一区免费| 久久久久国产网址| 俄罗斯特黄特色一大片| 精品国内亚洲2022精品成人| 日韩欧美一区二区三区在线观看| 非洲黑人性xxxx精品又粗又长| 国产精品亚洲美女久久久| 国内少妇人妻偷人精品xxx网站| 亚洲精品影视一区二区三区av| 久久久久免费精品人妻一区二区| 国产一区二区三区av在线 | 俄罗斯特黄特色一大片| 精品久久久久久成人av| 18禁黄网站禁片免费观看直播| 国产美女午夜福利| 99久久久亚洲精品蜜臀av| 毛片一级片免费看久久久久| 欧美激情久久久久久爽电影| 国产一区二区三区在线臀色熟女| 啦啦啦韩国在线观看视频| 丰满的人妻完整版| 精品久久久久久成人av| eeuss影院久久| 最近的中文字幕免费完整| 99视频精品全部免费 在线| 校园人妻丝袜中文字幕| 欧美+日韩+精品| 欧美一区二区国产精品久久精品| 国产av麻豆久久久久久久| 美女黄网站色视频| 亚洲天堂国产精品一区在线| 久久久成人免费电影| 如何舔出高潮| 亚洲自拍偷在线| 国产成人aa在线观看| 精品熟女少妇av免费看| 一边摸一边抽搐一进一小说| 变态另类成人亚洲欧美熟女| 99久久无色码亚洲精品果冻| 亚洲国产精品合色在线| 91在线精品国自产拍蜜月| 97超碰精品成人国产| 国产欧美日韩精品亚洲av| 午夜久久久久精精品| 黄片wwwwww| 美女高潮的动态| 日韩精品青青久久久久久| 给我免费播放毛片高清在线观看| 欧美三级亚洲精品| 午夜免费激情av| 色综合色国产| 免费搜索国产男女视频| 看十八女毛片水多多多| 毛片一级片免费看久久久久| 一个人看的www免费观看视频| 搡老妇女老女人老熟妇| 天天一区二区日本电影三级| 日韩欧美免费精品| 国产午夜精品论理片| 久久久精品94久久精品| 久久久欧美国产精品| 九色成人免费人妻av| 国产成人a区在线观看| 国产成人91sexporn| 内地一区二区视频在线| 男女做爰动态图高潮gif福利片| 国产精品久久久久久久久免| 村上凉子中文字幕在线| 成人无遮挡网站| 观看免费一级毛片| 九九在线视频观看精品| a级毛片免费高清观看在线播放| 精品一区二区三区av网在线观看| 亚洲av美国av| 日韩精品中文字幕看吧| 美女黄网站色视频| 乱系列少妇在线播放| 波野结衣二区三区在线| 毛片一级片免费看久久久久| .国产精品久久| 一个人观看的视频www高清免费观看| 特级一级黄色大片| 日本免费a在线| 少妇的逼水好多| 女生性感内裤真人,穿戴方法视频| 亚洲在线自拍视频| 哪里可以看免费的av片| 99精品在免费线老司机午夜| 亚洲精品粉嫩美女一区| 午夜精品国产一区二区电影 | 亚洲天堂国产精品一区在线| 国产精品免费一区二区三区在线| 99热这里只有是精品50| 日本 av在线| 99热这里只有精品一区| 久久99热这里只有精品18| 欧美高清性xxxxhd video| 黄片wwwwww| 精品午夜福利视频在线观看一区| 精品久久久久久久久亚洲| 国产v大片淫在线免费观看| 亚洲成人精品中文字幕电影| 如何舔出高潮| 热99在线观看视频| 九九爱精品视频在线观看| 日韩精品有码人妻一区| 亚洲图色成人| 国产精品一及| 久久久精品大字幕| 国国产精品蜜臀av免费| 欧美日本视频| 亚洲av第一区精品v没综合| 欧美绝顶高潮抽搐喷水| 色播亚洲综合网| 免费无遮挡裸体视频| 天天躁日日操中文字幕| 成人亚洲欧美一区二区av| 成人无遮挡网站| 国产视频一区二区在线看| 插阴视频在线观看视频| 麻豆久久精品国产亚洲av| 精品一区二区三区视频在线| 欧美+亚洲+日韩+国产| 中文字幕精品亚洲无线码一区| 欧美又色又爽又黄视频| a级毛色黄片| 亚洲美女黄片视频| 国产v大片淫在线免费观看| eeuss影院久久| 99热这里只有精品一区| 国产私拍福利视频在线观看| 大又大粗又爽又黄少妇毛片口| 欧美精品国产亚洲| 久久久欧美国产精品| 激情 狠狠 欧美| 国产亚洲精品av在线| 免费观看人在逋| 亚洲欧美日韩东京热| 日韩av在线大香蕉| 99视频精品全部免费 在线| 午夜福利视频1000在线观看| 久久久久久九九精品二区国产| 少妇人妻精品综合一区二区 | 搡女人真爽免费视频火全软件 | 国产午夜精品久久久久久一区二区三区 | 99热精品在线国产| 国产一区二区三区在线臀色熟女| 伊人久久精品亚洲午夜| 亚洲高清免费不卡视频| av.在线天堂| 1024手机看黄色片| av天堂在线播放| 欧美3d第一页| 国产精品av视频在线免费观看| 中文字幕人妻熟人妻熟丝袜美| 亚洲av免费在线观看| 免费观看精品视频网站| 亚洲无线在线观看| 国产伦一二天堂av在线观看| 毛片一级片免费看久久久久| 成年女人看的毛片在线观看| 日韩 亚洲 欧美在线| 99国产极品粉嫩在线观看| 欧美丝袜亚洲另类| 男女下面进入的视频免费午夜| 国产av一区在线观看免费| 国产一区亚洲一区在线观看| 看黄色毛片网站| 99九九线精品视频在线观看视频| 国产精品国产高清国产av| 国模一区二区三区四区视频| 身体一侧抽搐| 三级毛片av免费| 欧美日韩在线观看h| 一卡2卡三卡四卡精品乱码亚洲| 国产高清激情床上av| 国产高清三级在线| 国产精品爽爽va在线观看网站| 搞女人的毛片| 美女内射精品一级片tv| 国产成人精品久久久久久| 亚洲人与动物交配视频| 精华霜和精华液先用哪个| 国产av一区在线观看免费| 波多野结衣高清作品| 在线国产一区二区在线| 女人十人毛片免费观看3o分钟| 亚洲成人av在线免费| 好男人在线观看高清免费视频| 亚洲精品日韩在线中文字幕 | 国产毛片a区久久久久| 日韩高清综合在线| 久久精品人妻少妇| 成熟少妇高潮喷水视频| 深夜精品福利| 日韩成人伦理影院| 六月丁香七月| 国产精品综合久久久久久久免费| 亚洲美女搞黄在线观看 | 欧洲精品卡2卡3卡4卡5卡区| 此物有八面人人有两片| 久久精品人妻少妇| 69av精品久久久久久| 免费一级毛片在线播放高清视频| 精品午夜福利视频在线观看一区| 国产精品一及| 老司机影院成人| 少妇高潮的动态图| a级毛片免费高清观看在线播放| 老师上课跳d突然被开到最大视频| 午夜a级毛片| 99热这里只有是精品在线观看| 男女啪啪激烈高潮av片| 国产人妻一区二区三区在| 国产三级在线视频| av黄色大香蕉| 色哟哟·www| 国产探花极品一区二区| 嫩草影院入口| 亚洲经典国产精华液单| 免费搜索国产男女视频| 国产伦在线观看视频一区| 亚洲熟妇中文字幕五十中出| 成人鲁丝片一二三区免费| 插逼视频在线观看| 听说在线观看完整版免费高清| 精品久久久久久久久久久久久| 美女免费视频网站| 少妇熟女欧美另类| 精品一区二区三区视频在线观看免费| 69av精品久久久久久| 熟妇人妻久久中文字幕3abv| 狂野欧美激情性xxxx在线观看| 啦啦啦韩国在线观看视频| 亚洲熟妇熟女久久| 国产激情偷乱视频一区二区| 国产亚洲91精品色在线| 久久久久久久亚洲中文字幕| 精品久久久久久久久亚洲| 久久精品夜色国产| 婷婷亚洲欧美| 国产精品三级大全| 国产精品久久电影中文字幕| 日韩精品青青久久久久久| 毛片女人毛片| 日本-黄色视频高清免费观看| 在线观看午夜福利视频| 成年版毛片免费区| 欧美zozozo另类| 又黄又爽又免费观看的视频| 日韩成人av中文字幕在线观看 | 此物有八面人人有两片| 久久国内精品自在自线图片| 精品福利观看| 精品免费久久久久久久清纯| 精品久久久久久久人妻蜜臀av| 婷婷色综合大香蕉| 日本欧美国产在线视频| 18+在线观看网站| 日本 av在线| 一级毛片我不卡| 成年版毛片免费区| 成人漫画全彩无遮挡| 91精品国产九色| 免费在线观看影片大全网站| 亚洲精品久久国产高清桃花| 在线国产一区二区在线| 免费电影在线观看免费观看| 亚洲精品乱码久久久v下载方式| 精华霜和精华液先用哪个| 久久精品国产鲁丝片午夜精品| 久久精品综合一区二区三区| 欧美一级a爱片免费观看看| 国产精品人妻久久久影院| 一本精品99久久精品77| 精品人妻视频免费看| 久久人人爽人人片av| 不卡一级毛片| 99久久无色码亚洲精品果冻| 国产精品野战在线观看| 亚洲熟妇中文字幕五十中出| 老司机午夜福利在线观看视频| 嫩草影视91久久| 成人av在线播放网站| av.在线天堂| 性色avwww在线观看| 国产三级中文精品| 亚洲久久久久久中文字幕| 亚洲精品色激情综合| 99精品在免费线老司机午夜| 欧美精品国产亚洲| 天堂网av新在线| 亚洲av美国av| 成人亚洲精品av一区二区| 欧美一区二区精品小视频在线| 久久天躁狠狠躁夜夜2o2o| 精品少妇黑人巨大在线播放 | 最近的中文字幕免费完整| 人妻制服诱惑在线中文字幕| 97热精品久久久久久| 亚洲精品在线观看二区| 亚洲天堂国产精品一区在线| 免费观看人在逋| 亚洲成人av在线免费| 99久国产av精品国产电影| av.在线天堂| 久久久色成人| 人人妻人人澡人人爽人人夜夜 | av福利片在线观看| 天美传媒精品一区二区| 在线国产一区二区在线| 成年女人永久免费观看视频| 国产成人一区二区在线| 成人无遮挡网站| av在线观看视频网站免费| 亚洲人成网站高清观看| 免费观看人在逋| 久久精品国产亚洲av涩爱 | 免费高清视频大片| 乱码一卡2卡4卡精品| 18禁黄网站禁片免费观看直播| 99riav亚洲国产免费| 国产精品1区2区在线观看.| 久久韩国三级中文字幕| 婷婷亚洲欧美| 少妇猛男粗大的猛烈进出视频 | 免费观看的影片在线观看| 国产黄片美女视频| 最近中文字幕高清免费大全6| 在线国产一区二区在线| 久久久久久久午夜电影| 天堂网av新在线| 亚洲18禁久久av| 免费观看精品视频网站| 精品久久久久久久久av| 青春草视频在线免费观看| 听说在线观看完整版免费高清| 国产老妇女一区| 97超级碰碰碰精品色视频在线观看| 香蕉av资源在线| 国产亚洲精品综合一区在线观看| 国产成人福利小说| 小蜜桃在线观看免费完整版高清| 激情 狠狠 欧美| 国产亚洲精品综合一区在线观看| 亚洲内射少妇av| 联通29元200g的流量卡| 久久人人爽人人爽人人片va| 久久久久久久亚洲中文字幕| 国产高清视频在线观看网站| 久久人妻av系列| 97超视频在线观看视频| 啦啦啦观看免费观看视频高清| 久久人人爽人人爽人人片va| 日日摸夜夜添夜夜添小说|