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)定義，使用已定義的概念來(lái)定義新的概念。構(gòu)造術(shù)語(yǔ)表的基本任務(wù)是分類(lèi)，將一個(gè)新概念放在概念層次結(jié)構(gòu)中一個(gè)合適的位置。這可以通過(guò)檢查層次機(jī)構(gòu)中每個(gè)概念與新概念之間的包含關(guān)系來(lái)確定。ABox包含論域的外延知識(shí)，是關(guān)于個(gè)體的斷言，斷言分為概念斷言和關(guān)系斷言兩類(lèi)。海天精工 備注：為保證文章的完整度，本文核心內(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í)的重用。海天精工是一家集銷(xiāo)售、應(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é)任！