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

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

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

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

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



本文編號(hào)：3352976