前言:
描述邏輯是基于對象的知識表示語言,是一階謂詞邏輯可判定的子集,具有明確的語義,提供了可判定性的推理服務,具有語義特征,能夠保證推理算法的有窮性。@描述邏輯包含概念和關系兩個基本組成部分。描述邏輯的基本語言ALC的基本元素包括概念、關系、個體以及在它們之上的交、并、非、存在量詞和全程量詞等算子。一個描述邏輯系統包括四個基本組成部分:概念集、關系集,TBox斷言集和ABox斷言集及TBox和ABox上的推理機制。TBox是一個描述領域結構的公理集,有包含公理和定理公理兩種形式,ABox是一個描述關于具體個體事實的公理集,其中包含概念斷言和關系斷言兩種形式。描述邏輯的基本運算符包括合取、析取、否定、存在性限定和值限定等,ALC的語法和語義以及TBox包含斷言如表1和表2所示。
在基于描述邏輯的加工工藝知識庫中有兩種基本知識,第一種是關于問題領域一般性的內涵知識,第二種是只與特定問題相關的外延知識,它們分別存放在TBox和ABox中。TBox包含外延知識,描述概念的一般性質,概念之間的包含關系,ABox包含外延知識,描述論域中的特定個體。一般認為內涵知識是不變的,而外延知識依賴于特定環境,是可變的。TBox中聲明的基本形式是類定義,使用已定義的概念來定義新的概念。構造術語表的基本任務是分類,將一個新概念放在概念層次結構中一個合適的位置。這可以通過檢查層次機構中每個概念與新概念之間的包含關系來確定。ABox包含論域的外延知識,是關于個體的斷言,斷言分為概念斷言和關系斷言兩類。
伯特利數控 備注:為保證文章的完整度,本文核心內容都PDF格式顯示,如未有顯示請刷新或轉換瀏覽器嘗試,手機瀏覽可能無法正常使用!
結束語:
CNC加工中心加工工藝知識庫能夠幫助操作人員做出加工決策,提高加工效率,為了消除了語義的模糊性和二義性,為操作人員提供準確的檢索結果,本文使用描述邏輯描述檢索需求和工藝知識庫中的知識,并給出一個檢索知識的算法,通過實例分析說明了基于描述邏輯的檢索方法可以輔助操作人員準確和有效的檢索知識庫中的知識,有利于工藝知識的重用。
伯特利數控是一家集銷售、應用及服務于一體的公司。產品包括:CNC加工中心、鉆攻中心、龍門加工中心、雕銑機、石墨機、五軸加工中心、立式加工中心、臥式加工中心等。我們機床的生產工廠設在廣東省東莞市,目前其生產的加工中心70%出口,其中出口到歐洲占到50%。我們盡心、盡力、盡意的服務!
聲明:本站文章均來自網絡,所有內容不代表本站觀點,本站不承擔任何法律責任!
2021-09
星瀚系列是宇匠數控打造的顛覆性產品,在高精度加工的情況下保證高速、高剛的特性,是真正意義的高速加工中心,其性能及質量可媲美進口高速加工中心。同時可配置超聲波系統與石墨集塵系統,亦可運用在陶瓷等硬脆料、石墨等高粉塵料的加工;… [了解更多]
2021-09
星瀚S系列是宇匠數控打造的顛覆性產品,采用全閉環設計,在高精度加工的情況下保證高速、高剛的特性,是真正意義的高速加工中心,其性能及質量可媲美進口高速加工中心。同時可配置超聲波系統與石墨集塵系統,亦可運用在陶瓷等硬脆料、石墨等高粉塵料的加工;… [了解更多]
2021-09
TC系列超聲波陶瓷雕銑機,是利用了超聲波高頻振動原理作用于刀具,使刀具產生了16KHz-40KHz(每秒16000-40000次)的連續高強度脈沖沖擊,帶動磨頭沖擊工作。當工件的局部應力遠遠超過材料脆裂極限,材料局部破碎去除。 適用范圍 特別適用于陶瓷(氧化鋯、氧化鋁、氮化鋁… [了解更多]
2020-10
1 問題的提出數控加工夾具是數控CNC機械制造加工過程中用來 固定加工對象,使之占有正確的位置,以滿足加工工藝條件、迅速、方便、安全地安裝工件的裝置。夾具通常由定位元件、夾緊裝置 、對刀引導元件、分度裝置、連接元件及夾具體等組成[1]。圖1所示零件是應用于系列礦用防爆電器產品上的… [了解更多]