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