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包含外延知識，描述論域中的特定個體。一般認為內(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加工中心加工工藝知識庫能夠幫助操作人員做出加工決策，提高加工效率，為了消除了語義的模糊性和二義性，為操作人員提供準確的檢索結(jié)果，本文使用描述邏輯描述檢索需求和工藝知識庫中的知識，并給出一個檢索知識的算法，通過實例分析說明了基于描述邏輯的檢索方法可以輔助操作人員準確和有效的檢索知識庫中的知識，有利于工藝知識的重用。海天精工是一家集銷售、應(yīng)用及服務(wù)于一體的公司。產(chǎn)品包括：CNC加工中心、鉆攻中心、龍門加工中心、雕銑機、石墨機、五軸加工中心、立式加工中心、臥式加工中心等。我們機床的生產(chǎn)工廠設(shè)在廣東省寧波市，目前其生產(chǎn)的加工中心70%出口，其中出口到歐洲占到50%。我們盡心、盡力、盡意的服務(wù)！聲明：本站文章均來自網(wǎng)絡(luò)，所有內(nèi)容不代表本站觀點，本站不承擔(dān)任何法律責(zé)任！