描述邏輯FLε最近獲得了比較大的關(guān)注。一方面，重要的推理問題（如包含問題）是多項式的；另一方面FLε被用做定義大的本體。變量概念的合一（概念模式）是一個已在概念描述邏輯的背景介紹的相對較新的操作。描述邏輯的合一算法能夠作為一個新奇的推理，它被用做發(fā)現(xiàn)本體的冗余。UFLE是一個系統(tǒng)，計算概念描述闡述合一問題的合一公式。 FLε是限制表達(dá)力的描述邏輯，但它仍然是表現(xiàn)足夠生物醫(yī)學(xué)本體的形式體系，如大型醫(yī)學(xué)本體論。本文建議通過計算兩個涉嫌表達(dá)同一概念的應(yīng)用程序域中的正式概念的合一公式，使用UFLE作為一種工具來檢測這種本體的冗余。UFLE可以作為一個流行本體的插件程序，或作為一個獨立的合一。本文主要的結(jié)果FL ε合一算法是可判定的。更精確地， FL ε的一個部分εL是多項式完全，因此它和εL匹配有相同的計算復(fù)雜性。本文給出了描述FLε語義和語法的概念，并且給出了描述邏輯系統(tǒng)FLε的合一算法類型及證明。特別地，蘊含合一問題沒有有限的完備合一公式集。本文基于合一的規(guī)則探討了擁有存在算子算子和值限算子的FLε可判定性問題。 

【文章來源】：遼寧師范大學(xué)遼寧省

【文章頁數(shù)】：33 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
引言
    1 研究背景與意義
    2 文章結(jié)構(gòu)與內(nèi)容
1 FLε語言
    1.1 基本描述邏輯形式體系
    1.2 FLε的語法和語義
2 FLε合一定義
    2.1 概念項代替
    2.2 在半格中應(yīng)用單調(diào)操作符的概念項的轉(zhuǎn)化
    2.3 FL ε合一的定義
3 FLε的相等和包含
4 FLε-合一算法問題
    4.1 合一算法類型
    4.2 一個零型的FLε-合一算法問題
5 可判定性問題
    5.1 FL ε-合一問題的可判定解的非決定性算法
    5.2 εL-合一算法的復(fù)雜度
結(jié)論
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表學(xué)術(shù)論文情況
致謝



本文編號：3352976