描述邏輯εL的二階線性推理機制
大小：2.21 MB 人氣： 2018-01-02 需要積分：2
標簽：線性(25020)
基于描述邏輯的本體的保守擴充理論、模塊抽取理論、通用模塊構建理論及其相關算法是本體工程中本體構建、本體融合及重構的核心理論與工具．國際上該領域已有Lutz等人使用形式構模方法證明了ALC的保守擴充判定算法復雜度是二階時間指數的，而輕量級的系統εL的算法復雜度是一階時間指數的．但當前文獻中的形式構模方法思路復雜，難以把握，幾乎不能在實用的工程層面上實現．提出一種面向輕量級的描述邏輯系統家族（DL-Lite family）的統一的二階線性推理機制，并給出該推理機制的完備性證明．該方法直觀，思路清晰，從而在工程中容易實現．同時，該方法對εL，FLo，***，vL等DL-Lite冢族的所有系統都有效，在該線序推理系統下，可以根據“空間換時間”的原則，設計和實現關于保守擴充判定的圖推理機制，其復雜性（相對于空間的大小）是多項式的．
?
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
描述邏輯εL的二階線性推理機制下載
相關電子資料下載
- 不同的人工神經網絡模型各有什么作用? 126
- rnn神經網絡基本原理 233
- bp神經網絡算法過程包括 106
- 反向傳播神經網絡建模基本原理 166
- 反向傳播神經網絡概念是什么 169
- 反向傳播神經網絡分為多少層 162
- bp神經網絡模型拓撲結構包括哪些 115
- 卷積神經網絡激活函數的作用 80
- 數學建模神經網絡模型的優缺點有哪些 299
- 什么神經網絡模型適合做分類 114