亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        謂詞公式中子句集提取的實(shí)現(xiàn)pdf

        2009-02-03 07:51:44強(qiáng)
        現(xiàn)代經(jīng)濟(jì)信息 2009年8期
        關(guān)鍵詞:子句二叉樹謂詞

        李 強(qiáng)

        摘要:在人工智能里的知識表達(dá)與推理中,經(jīng)常需要對謂詞公式進(jìn)行演算,以達(dá)到子句集的表達(dá),便于以后的推理或證明。本文就是通過二叉樹來實(shí)現(xiàn)對任意謂詞公式中的子句的提取,實(shí)現(xiàn)對謂詞公式的完善表達(dá)。

        關(guān)鍵詞:謂詞公式子句集合人工智能推理二叉樹

        “注:本文中所涉及到的圖表、注解、公式等內(nèi)容請以PDF格式閱讀原文”。

        猜你喜歡
        子句二叉樹謂詞
        命題邏輯中一類擴(kuò)展子句消去方法
        CSP真題——二叉樹
        二叉樹創(chuàng)建方法
        被遮蔽的邏輯謂詞
        ——論胡好對邏輯謂詞的誤讀
        命題邏輯可滿足性問題求解器的新型預(yù)處理子句消去方法
        黨項(xiàng)語謂詞前綴的分裂式
        西夏研究(2020年2期)2020-06-01 05:19:12
        康德哲學(xué)中實(shí)在謂詞難題的解決
        西夏語的副詞子句
        西夏學(xué)(2018年2期)2018-05-15 11:24:42
        一種由層次遍歷和其它遍歷構(gòu)造二叉樹的新算法
        也談“語言是存在的家”——從語言的主詞與謂詞看存在的殊相與共相
        日韩女优精品一区二区三区| 中文字幕中文有码在线| 挺进朋友人妻雪白的身体韩国电影 | 免费国产自拍视频在线观看| 亚洲永久国产中文字幕| 无码免费无线观看在线视| 欧美在线 | 亚洲| 亚洲春色AV无码专区在线播放| 国产白浆流出一区二区| 蜜臀一区二区三区精品| 特级做a爰片毛片免费看无码| 久久无码一一区| 五十路在线中文字幕在线中文字幕| 老熟妇乱子伦牲交视频| 网禁拗女稀缺资源在线观看| 四虎影视一区二区精品| 亚洲黄片高清在线观看| 国产免费观看久久黄av麻豆| 日韩乱码人妻无码中文字幕久久 | 7878成人国产在线观看| 亚洲av激情久久精品人| 蜜桃一区二区三区视频| 久久久国产精品黄毛片| 久久精品—区二区三区无码伊人色| 美腿丝袜网址亚洲av| 精品无码国产自产在线观看水浒传| av片在线观看免费| 丰满人妻一区二区乱码中文电影网 | 白嫩少妇高潮喷水av| 精品久久久无码人妻中文字幕豆芽 | 每日更新在线观看av| 亚洲av无码一区二区三区系列| 毛片一级精油按摩无码| 国产饥渴的富婆一凶二区| 午夜三级a三级三点在线观看| 亚洲av无码av吞精久久| 日本一区二区三区啪啪| 国产不卡在线视频观看| 成人免费看吃奶视频网站| 国产成人综合久久精品推荐免费| 美女脱掉内裤扒开下面让人插|