天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 社科論文 > 邏輯論文 >

描述邏輯概念可滿足性推理研究

發(fā)布時間:2021-09-06 05:13
  在WEB上提供機器可理解的知識并實現(xiàn)WEB信息的自動處理逐漸成為人們重要的生活、工作需求之一。這其中,如何恰當?shù)乇硎局R并在其上實現(xiàn)快速有效的推理以找出其它的相關知識是這個浩大工程中的關鍵點。隨著研究的深入,關于知識表示與推理的研究已經(jīng)轉移到集中了其它諸多表示方法的優(yōu)點而克服了它們?nèi)秉c的描述邏輯當中。本文所關注的是在描述邏輯當中如何實現(xiàn)高效的概念可滿足性的推理。因為概念可滿足性是描述邏輯推理的基本問題之一,對該類問題進行高效處理具有相當重要的意義。經(jīng)過一段時期的研究,本文取得了如下研究成果:1)提出了基于概念描述本身進行推理的新思路。概念可滿足性算法Tableau是基于斷言庫ABox可滿足性的,由此也帶來了許多不必要的操作以及空間浪費。本文所提出的CDNF(Complete Disjunctive Normal Form)算法則是直接在初始概念描述上構建可滿足性已知的完全析取范式,實現(xiàn)了“計算”概念可滿足性,并可取得更好的空間性能。2)提出了面向ALCN的基礎型CDNF算法。在描述邏輯基礎語言ALCN中,Tableau算法就已存在描述重復情況。而CDNF算法在不改變描述的語義的前提下,... 

【文章來源】:浙江大學浙江省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】:125 頁

【學位級別】:博士

【文章目錄】:
摘要
Abstract
第1章 緒論
    1.1 課題背景
        1.1.1 問題的提出
        1.1.2 研究內(nèi)容
        1.1.3 意義
    1.2 描述邏輯簡介
        1.2.1 發(fā)展過程
        1.2.2 與其它形式化方法的關系
        1.2.3 研究領域
    1.3 描述邏輯形式化方法
        1.3.1 ALC語言
        1.3.2 知識庫
    1.4 描述邏輯系統(tǒng)
    1.5 描述邏輯的擴展
        1.5.1 模糊描述邏輯
        1.5.2 時態(tài)描述邏輯
        1.5.3 動態(tài)描述邏輯
    1.6 描述邏輯的應用
        1.6.1 在語義WEB中的應用
        1.6.2 在配置中的應用
        1.6.3 在自然語言處理中的應用
        1.6.4 在數(shù)字圖書館和基于WEB的信息系統(tǒng)中的應用
        1.6.5 在數(shù)據(jù)庫中的應用
    1.7 本章小結
第2章 描述邏輯的推理
    2.1 描述邏輯的主要推理問題
        2.1.1 概念的推理任務
        2.1.2 消除TBox
        2.1.3 含有包含公理的TBox
        2.1.4 Abox的推理任務
    2.2 結構包含算法
    2.3 Tableau算法
        2.3.1 算法簡介
        2.3.2 面向ALCN的Tableau算法
        2.3.3 復雜性問題
        2.3.4 擴展到:Abox一致性問題
        2.3.5 擴展到一般包含公理
    2.4 本章小結
第3章 去(?)化的CDNF判定ALCN-可滿足性
    3.1 引言
    3.2 ALCN的語法與語義
    3.3 ALCN-CDNF概念可滿足性算法
        3.3.1 相關基本定義
        3.3.2 ALCN-CDNF算法過程
        3.3.3 ALCN-CDNF的樹結構及語義解釋
    3.4 ALCN-CDNF算法的可靠性、完備性和終止性
    3.5 復雜性問題討論
    3.6 與Tableau的性能比較
    3.7 本章小結
第4章 子句重用的CDNF判定ALCNI_(R+)-可滿足性
    4.1 引言
    4.2 ALCNI_(R+)的語法與語義
    4.3 面向ALCNI_(R+)的CDNF算法
        4.3.1 相關基本定義
        4.3.2 ALCNI_(R+)-CDNF算法過程
        4.3.3 ALCNI_(R+)-CDNF的樹結構及語義解釋
    4.4 ALCNI_(R+)-CDNF算法的可靠性、完備性和終止性
    4.5 復雜性問題討論
    4.6 與Tableau的性能比較
    4.7 本章小結
第5章 CDNF群判定SHOIN(D)-可滿足性
    5.1 引言
    5.2 語義WEB與本體論
    5.3 SHOIN(D)的語法與語義
        5.3.1 具體數(shù)據(jù)類型(D)
        5.3.2 命名個體(O)
        5.3.3 語法與語義
    5.4 面向SHOIN(D)的CDNF算法
        5.4.1 相關基本定義
        5.4.2 SHOIN(D)-CDNF算法過程
        5.4.3 SHOIN(D)-CDNF群的森林結構及語義解釋
    5.5 SHOIN(D)-CDNF算法的可靠性、完備性和終止性
    5.6 擴展到一般包含公理
    5.7 復雜性問題討論
    5.8 與Tableau的性能比較
    5.9 本章小結
第6章 應用分析
    6.1 實例分析
    6.2 應用前景
第7章 結論與展望
    7.1 結論
    7.2 展望
參考文獻
攻讀博士學位期間主要的研究成果
致謝


【參考文獻】:
期刊論文
[1]基于子句的ALCN語言tableau算法增強方式(英文)[J]. 古華茂,石錦芹,高濟.  Journal of Southeast University(English Edition). 2008(03)
[2]動態(tài)描述邏輯的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  計算機學報. 2008(06)
[3]面向語義Web語義表示的模糊描述邏輯[J]. 蔣運承,史忠植,湯庸,王駒.  軟件學報. 2007(06)
[4]描述邏輯綜述[J]. 石蓮,孫吉貴.  計算機科學. 2006(01)
[5]本體論研究綜述[J]. 李善平,尹奇韡,胡玉杰,郭鳴,付相君.  計算機研究與發(fā)展. 2004(07)
[6]Semantic Web與Agent的共生及融合[J]. 李浩,沈琦.  微機發(fā)展. 2003(11)
[7]Ontology研究綜述[J]. 鄧志鴻,唐世渭,張銘,楊冬青,陳捷.  北京大學學報(自然科學版). 2002(05)



本文編號:3386816

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/3386816.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶3fcc2***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
亚洲淫片一区二区三区| 国产欧美日韩精品自拍| 中文字幕高清不卡一区| 欧美中文日韩一区久久| 欧美整片精品日韩综合| 成人午夜爽爽爽免费视频| 国产精品自拍杆香蕉视频| 国产一区二区三区四区免费| 亚洲最大福利在线观看| 日本大学生精油按摩在线观看| 国产成人一区二区三区久久| 亚洲av熟女一区二区三区蜜桃| 国产成人免费高潮激情电| 熟女一区二区三区国产| 自拍偷拍福利视频在线观看| 日韩精品中文字幕在线视频| 亚洲午夜av一区二区| 亚洲欧美日韩在线中文字幕| 在线免费不卡亚洲国产| 免费特黄一级一区二区三区| 91播色在线免费播放| 99亚洲综合精品成人网色播| 欧美亚洲国产日韩一区二区| 国产精品不卡一区二区三区四区 | 成在线人免费视频一区二区| 久久精品久久精品中文字幕| 日本中文在线不卡视频| 不卡一区二区在线视频| 亚洲国产成人一区二区在线观看| 好吊日成人免费视频公开| 最新国产欧美精品91| 在线中文字幕亚洲欧美一区| 91欧美日韩中在线视频| 日韩精品人妻少妇一区二区| 久久永久免费一区二区| 免费精品一区二区三区| 成人午夜视频精品一区| 国产一区二区三区色噜噜| 国产精欧美一区二区三区久久| 人人妻人人澡人人夜夜| 国产一区二区三区成人精品|