CNC加工中心加工工藝知識(shí)庫(kù)檢索
海天精工 加工中心 鉆攻中心前言：描述邏輯是基于對(duì)象的知識(shí)表示語(yǔ)言,，是一階謂詞邏輯可判定的子集,，具有明確的語(yǔ)義,，提供了可判定性的推理服務(wù),，具有語(yǔ)義特征，能夠保證推理算法的有窮性,。@描述邏輯包含概念和關(guān)系兩個(gè)基本組成部分,。描述邏輯的基本語(yǔ)言ALC的基本元素包括概念、關(guān)系,、個(gè)體以及在它們之上的交,、并、非,、存在量詞和全程量詞等算子,。一個(gè)描述邏輯系統(tǒng)包括四個(gè)基本組成部分:概念集、關(guān)系集,，TBox斷言集和ABox斷言集及TBox和ABox上的推理機(jī)制,。TBox是一個(gè)描述領(lǐng)域結(jié)構(gòu)的公理集，有包含公理和定理公理兩種形式,，ABox是一個(gè)描述關(guān)于具體個(gè)體事實(shí)的公理集,，其中包含概念斷言和關(guān)系斷言兩種形式。描述邏輯的基本運(yùn)算符包括合取,、析取,、否定、存在性限定和值限定等,，ALC的語(yǔ)法和語(yǔ)義以及TBox包含斷言如表1和表2所示。在基于描述邏輯的加工工藝知識(shí)庫(kù)中有兩種基本知識(shí),，第一種是關(guān)于問(wèn)題領(lǐng)域一般性的內(nèi)涵知識(shí),，第二種是只與特定問(wèn)題相關(guān)的外延知識(shí)，它們分別存放在TBox和ABox中,。TBox包含外延知識(shí),，描述概念的一般性質(zhì)，概念之間的包含關(guān)系,，ABox包含外延知識(shí),，描述論域中的特定個(gè)體。一般認(rèn)為內(nèi)涵知識(shí)是不變的,，而外延知識(shí)依賴于特定環(huán)境,，是可變的。TBox中聲明的基本形式是類定義,，使用已定義的概念來(lái)定義新的概念,。構(gòu)造術(shù)語(yǔ)表的基本任務(wù)是分類，將一個(gè)新概念放在概念層次結(jié)構(gòu)中一個(gè)合適的位置,。這可以通過(guò)檢查層次機(jī)構(gòu)中每個(gè)概念與新概念之間的包含關(guān)系來(lái)確定,。ABox包含論域的外延知識(shí),，是關(guān)于個(gè)體的斷言，斷言分為概念斷言和關(guān)系斷言兩類,。海天精工 備注：為保證文章的完整度,，本文核心內(nèi)容都PDF格式顯示，如未有顯示請(qǐng)刷新或轉(zhuǎn)換瀏覽器嘗試,，手機(jī)瀏覽可能無(wú)法正常使用,！結(jié)束語(yǔ)：CNC加工中心加工工藝知識(shí)庫(kù)能夠幫助操作人員做出加工決策，提高加工效率,，為了消除了語(yǔ)義的模糊性和二義性,，為操作人員提供準(zhǔn)確的檢索結(jié)果，本文使用描述邏輯描述檢索需求和工藝知識(shí)庫(kù)中的知識(shí),，并給出一個(gè)檢索知識(shí)的算法,，通過(guò)實(shí)例分析說(shuō)明了基于描述邏輯的檢索方法可以輔助操作人員準(zhǔn)確和有效的檢索知識(shí)庫(kù)中的知識(shí)，有利于工藝知識(shí)的重用,。海天精工是一家集銷售,、應(yīng)用及服務(wù)于一體的公司。產(chǎn)品包括：CNC加工中心,、鉆攻中心,、龍門(mén)加工中心、雕銑機(jī),、石墨機(jī),、五軸加工中心、立式加工中心,、臥式加工中心等,。我們機(jī)床的生產(chǎn)工廠設(shè)在廣東省寧波市，目前其生產(chǎn)的加工中心70%出口,，其中出口到歐洲占到50%,。我們盡心、盡力,、盡意的服務(wù),！聲明：本站文章均來(lái)自網(wǎng)絡(luò)，所有內(nèi)容不代表本站觀點(diǎn),，本站不承擔(dān)任何法律責(zé)任,！