描述邏輯εL的二階線性推理機(jī)制
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
基于描述邏輯的本體的保守?cái)U(kuò)充理論、模塊抽取理論、通用模塊構(gòu)建理論及其相關(guān)算法是本體工程中本體構(gòu)建、本體融合及重構(gòu)的核心理論與工具．國際上該領(lǐng)域已有Lutz等人使用形式構(gòu)模方法證明了ALC的保守?cái)U(kuò)充判定算法復(fù)雜度是二階時(shí)間指數(shù)的，而輕量級(jí)的系統(tǒng)εL的算法復(fù)雜度是一階時(shí)間指數(shù)的．但當(dāng)前文獻(xiàn)中的形式構(gòu)模方法思路復(fù)雜，難以把握，幾乎不能在實(shí)用的工程層面上實(shí)現(xiàn)．提出一種面向輕量級(jí)的描述邏輯系統(tǒng)家族（DL-Lite family）的統(tǒng)一的二階線性推理機(jī)制，并給出該推理機(jī)制的完備性證明．該方法直觀，思路清晰，從而在工程中容易實(shí)現(xiàn)．同時(shí)，該方法對(duì)εL，F(xiàn)Lo，***，vL等DL-Lite冢族的所有系統(tǒng)都有效，在該線序推理系統(tǒng)下，可以根據(jù)“空間換時(shí)間”的原則，設(shè)計(jì)和實(shí)現(xiàn)關(guān)于保守?cái)U(kuò)充判定的圖推理機(jī)制，其復(fù)雜性（相對(duì)于空間的大?。┦嵌囗?xiàng)式的．
?
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
描述邏輯εL的二階線性推理機(jī)制下載
相關(guān)電子資料下載
- 不同的人工神經(jīng)網(wǎng)絡(luò)模型各有什么作用? 126
- rnn神經(jīng)網(wǎng)絡(luò)基本原理 233
- bp神經(jīng)網(wǎng)絡(luò)算法過程包括 106
- 反向傳播神經(jīng)網(wǎng)絡(luò)建?；驹?/a> 166
- 反向傳播神經(jīng)網(wǎng)絡(luò)概念是什么 169
- 反向傳播神經(jīng)網(wǎng)絡(luò)分為多少層 162
- bp神經(jīng)網(wǎng)絡(luò)模型拓?fù)浣Y(jié)構(gòu)包括哪些 115
- 卷積神經(jīng)網(wǎng)絡(luò)激活函數(shù)的作用 80
- 數(shù)學(xué)建模神經(jīng)網(wǎng)絡(luò)模型的優(yōu)缺點(diǎn)有哪些 299
- 什么神經(jīng)網(wǎng)絡(luò)模型適合做分類 114