DOI：10.19850/j.cnki.2096-4706.2021.08.033

摘? 要：基于時(shí)間區(qū)間的模糊描述邏輯TFDL是對(duì)模糊描述邏輯在時(shí)間上進(jìn)行限定討論的一種新的描述邏輯。TFDL對(duì)個(gè)體，概念和關(guān)系的模糊隸屬度用vague集來(lái)進(jìn)行描述，其語(yǔ)法是在模糊描述邏輯ALCN的語(yǔ)法基礎(chǔ)上的擴(kuò)充。研究在其語(yǔ)法、語(yǔ)義的基礎(chǔ)上給出相應(yīng)的知識(shí)庫(kù)，給出TFDL的Tableau判定算法，該算法繼承了描述邏輯Tableau算法的基本特征，通過(guò)構(gòu)造知識(shí)庫(kù)中表達(dá)式的解釋模型來(lái)證明其可滿(mǎn)足性。

關(guān)鍵詞：時(shí)間區(qū)間;模糊描述邏輯;隸屬度

中圖分類(lèi)號(hào)：TP301? 文獻(xiàn)標(biāo)識(shí)碼：A? ? 文章編號(hào)：2096-4706（2021）08-0119-04

Tableau Algorithm of Fuzzy Description Logic Based on Time Interval

CHANG Xia

（Academy of Business Information，Yunnan Land and Resources Vocational College，Kunming? 652501，China）

Abstract：Fuzzy description logic TFDL based on time interval is a new description logic that limits the time of fuzzy description logic discuss. TFDL uses vague sets to describe the fuzzy membership grade of individuals，concepts and relationships. Its syntax is an extension of the syntax of fuzzy description logic ALCN. On the basis of its syntax and semantics，the corresponding knowledge base is given，and the Tableau decision algorithm of TFDL is given. The algorithm inherits the basic characteristics of the description logic Tableau algorithm，and proves its satisfiability by constructing the interpretation model of the expression in the knowledge base.

Keywords：time interval;fuzzy description logic;membership grade

0? 引? 言

在人工智能與知識(shí)表示領(lǐng)域中，隨著研究的不斷深入，描述邏輯以其語(yǔ)義知識(shí)表示的優(yōu)勢(shì)應(yīng)用在現(xiàn)實(shí)生活中的許多領(lǐng)域，通過(guò)概念來(lái)完成知識(shí)表示，建立模型進(jìn)行推理。

模糊描述邏輯從研究模糊性出發(fā)，它把元素屬于集合的觀念模糊化，承認(rèn)論域上存在著既非完全屬于某集合，又非完全不屬于某集合的元素?？紤]到模糊邏輯在表達(dá)知識(shí)的過(guò)程中并沒(méi)有與時(shí)間相關(guān)聯(lián)，本文通過(guò)分析模糊描述邏輯，將時(shí)間屬性以隸屬區(qū)間的形式加入模糊描述邏輯中，構(gòu)建出新的基于時(shí)間區(qū)間的模糊描述邏輯——TFDL。

1? 基于時(shí)間區(qū)間的模糊描述邏輯——TFDL

1.1? TFDL的語(yǔ)法和語(yǔ)義

TFDL的語(yǔ)法是模糊描述邏輯ALCN的語(yǔ)法的擴(kuò)充。TFDL對(duì)個(gè)體，概念和關(guān)系的模糊隸屬度是用vague集來(lái)描述，即對(duì)于論域上的某個(gè)元素u將其隸屬度函數(shù)限定到[0，1]的子區(qū)間[t_v（u），1-f_v（u）]上。相關(guān)定義在冉婕等《一種模糊時(shí)態(tài)描述邏輯》^[1]中已完整給出。

1.2? TFDL的知識(shí)庫(kù)及其解釋

TFDL的知識(shí)庫(kù)KB=，由于TFDL的ABox是由斷言公式組成的^[1]，因此，根據(jù)斷言公式的語(yǔ)義解釋可以得到^[1]：

定義1：對(duì)于TFDL的ABox AB中的任意事實(shí)斷言φ，任意模糊解釋I，都能使φ成立，則稱(chēng)ABox AB是可滿(mǎn)足的^[1]，記為I|=FAB。

由于一般公式要通過(guò)實(shí)例代換轉(zhuǎn)化為斷言公式之后才能進(jìn)行推理，因而我們只需給出斷言公式的語(yǔ)義解釋^[1]。下文為T(mén)FDL公式的語(yǔ)義解釋?zhuān)?/p>

定義5：在本文中|=表示語(yǔ)義解釋?zhuān)瑋≈表示形式推導(dǎo)，如果ψ|≈φ并且φ|≈ψ，稱(chēng)為ψ和φ可以雙向推導(dǎo)，記為ψ|≈|φ。

接下來(lái)，用實(shí)例說(shuō)明知識(shí)庫(kù)的構(gòu)造：

SportKind?F┬

SportTool?F┬

IndividualSport?FSportKind

TeamSport?FSportKind

Basketball?FSportTool

TennisRacket?FSportTool

Basket=FSportKind∩（?KindOfSport.TeamSport）∩（?HasSportTool.┬）∩（?KindOfSport.┬）

Tennis=FSportKind∩（?KindOfSport.IndivdualSport）∩（?HasSportTool.TennisRacket）∩（?HasSportTool.┬）∩（?KindOfSport.┬）

在此給出兩個(gè)電臺(tái)頻道c1，c2，這兩個(gè)電臺(tái)頻道都是地方體育電臺(tái)，經(jīng)?；蚴桥紶枙?huì)分別播放籃球和網(wǎng)球節(jié)目，通過(guò)上述概念的語(yǔ)義描述，可以得到：

2? TFDL的概念可滿(mǎn)足性問(wèn)題

知識(shí)表示系統(tǒng)的目的是為了能夠刻畫(huà)客體性質(zhì)、概念、事件、狀況和動(dòng)作等，但狀況和動(dòng)作是從概念定義或描述的角度而言會(huì)不夠精準(zhǔn)。語(yǔ)義Web中對(duì)知識(shí)庫(kù)中TBox和Abox的解釋使得知識(shí)庫(kù)和一階謂詞邏輯中的公式集合等價(jià)^[4]。描述邏輯之所以能夠在知識(shí)表示的形式化方法中得到更多研究

Δ^I=S;

C^I={s|∈L（s）};

R^I={|<，[ti，tj]，[α，β]>∈ε（R）};

a^I=v（a）。

要證明FAB是可滿(mǎn)足的，D∈sub（FAB），如果

[t3，t4]，[m₂，n₂]>∈L（s），則s∈D^I。通過(guò)對(duì)概念D的結(jié)構(gòu)進(jìn)行可以證明。

S=Δ^I;

L（s）={|C∈sub（FAB），s∈C^I};

ε（R）={<，[ti，tj]，[α，β]>|∈R^I};

v（a）=a^I。

由上述定義可以證明FT=（S，L，ε，v）是FAB的一個(gè)模糊Tableau。由定義可知，S是個(gè)體的非空集合;L是S→2^sub（FAB）×{[ti，tj]|tiS×S

4）∪規(guī)則：如果有∈L（x），對(duì)于1，n1]>∈L（x）和2，n₂]>∈L（x）根據(jù)∪的解釋I，有α=max（m₁，m₂），β=max（n1，n2），[ti，tj]=[t1，t2]∩[t3，t4]，x沒(méi)有被間接阻塞，并且如果1，n₁]>?L（x）或者?L（x），那么L（x）=L（x）∪{1，n₁]>}或者L（x）=L（x）∪{2，n₂]>}。

5）?規(guī)則：設(shè)∈L（x），如果x沒(méi)有被阻塞，并且不存在x′，并且x′是x的R-鄰居，滿(mǎn)足1，n₁]>∈L（x，x′）以及2，n₂]>∈L（x′），并使得α=min{m1，m2}，β=min{n1，n2}，[ti，tj]=[t1，t2]∩[t3，t4]，則需要建立新的節(jié)點(diǎn)x′使得L（x′）={}。如果x沒(méi)有被間接阻塞，并且存在一個(gè)x的R-鄰居x′，滿(mǎn)足1，n₁]>∈L（）和?L（x′），則L（x′）=L（x′）∪{2，n₂]>}。

6）?規(guī)則：設(shè)∈L（x），如果個(gè)體x沒(méi)有被阻塞，并且不存在x′，還有x′是x的R-鄰居，滿(mǎn)足∈L（x，x′）及2，n₂]>∈L（x′），使得α=min{m₁，m₂}，β=min{n₁，n₂}，[ti，tj]=[t1，t2]∩[t3，t4]，則需要建立新的節(jié)點(diǎn)x′使得L（x′）={2，n₂]>}。如果x沒(méi)有被間接阻塞，對(duì)于x的任意一個(gè)R-鄰居x′有1，1-m₁]>∈L（）但2，n₂]>?L（x′），則L（x′）=L（x′）∪{2，n2]>}。

（3）如果Forest中每個(gè)節(jié)點(diǎn)都不包含沖突，則算法的返回值為真，否則為假;

（4）算法結(jié)束。

另外，可通過(guò)相應(yīng)的數(shù)理邏輯推導(dǎo)證明該算法是可靠性、可終止的和完備的。證明過(guò)程略。

3? 結(jié)? 論

本文在TFDL語(yǔ)法、語(yǔ)義基礎(chǔ)上給出了其Tableau判定算法，該Tableau判定算法繼承了描述邏輯Tableau算法的基本特征，通過(guò)相應(yīng)的數(shù)理邏輯推導(dǎo)證明該算法是可靠性、可終止的和完備的。之后我們將在Tableau判定算法的基礎(chǔ)上證明其他重要推理問(wèn)題（如包含問(wèn)題、概念等價(jià)問(wèn)題、概念不相交問(wèn)題）可以轉(zhuǎn)換為T(mén)FDL概念可滿(mǎn)足性問(wèn)題來(lái)進(jìn)行證明。

參考文獻(xiàn)：

[1] 冉婕，黃吉亞，高琴.一種模糊時(shí)態(tài)描述邏輯 [J].電子設(shè)計(jì)工程，2013，21（17）：1-3.

[2] 王國(guó)俊.非經(jīng)典數(shù)理邏輯與近似推理 [M].北京：科學(xué)出版社，2000.

[3] 王駒，蔣運(yùn)承，唐素勤.一種模糊動(dòng)態(tài)描述邏輯 [J].計(jì)算機(jī)科學(xué)與探索，2007（2）：216-227.

[4] 張健.邏輯公式的可滿(mǎn)足性判定 [M].北京：科學(xué)出版社，2000.

[5] 360百科.描述邏輯 [M].[2021-02-19].https：//baike.so.com/doc/8636258-8957452.html.

[6] 王永慶.人工智能原理與方法 [M].西安：西安交通大學(xué)出版社，1998.

[7] 文斌.基于描述邏輯的語(yǔ)義Web知識(shí)推理研究 [D].昆明：云南師范大學(xué)，2005.

[8] 史忠植，常亮.基于動(dòng)態(tài)描述邏輯的語(yǔ)義Web服務(wù)推理 [J].計(jì)算機(jī)學(xué)報(bào)，2008（9）：1599-1611.

作者簡(jiǎn)介：昌霞（1987—），女，漢族，湖北仙桃人，講師，理學(xué)碩士，研究方向：數(shù)理邏輯，計(jì)算機(jī)網(wǎng)絡(luò)。

收稿日期：2021-03-09