[發明專利]一種基于信息系統的知識驗證方法及系統

在審

• 申請號: 201611128494.7
• 申請日: 2016-12-09
• 公開（公告）號: CN106777041A
• 公開（公告）日: 2017-05-31
• 發明（設計）人: 董慶超;陳青華;喬勇軍;楊林
• 申請（專利權）人: 中國人民解放軍海軍航空工程學院
• 主分類號: G06F17/30
• 分類號: G06F17/30
• 代理公司: 北京高沃律師事務所11569
• 代理人: 王加貴

技術領域

本發明涉及信息系統技術領域，特別是涉及一種基于信息系統的知識驗證方法及系統。

背景技術

近年來，隨著信息技術在各行各業工作中的廣泛應用，業務工作的“技術密集”、“知識密集型”的特點日益凸顯，知識被不斷的“生產”出來，而且隨著各種大型復雜信息系統在業務中的普遍應用，這種“生產”的速度還在進一步加快，知識對業務的推動作用也進一步加強。對于每一個業務執行人員來說，把前人積累的知識加以組織和應用，能夠提高認識能力和實踐能力，提高工作效率；對于復雜信息系統的研發專家來說，對系統所屬領域業務知識的理解和應用，更加有助于加速信息系統的開發，提高用戶的滿意程度。然而，目前各行業管理業務經驗和知識積累的主要手段是報告撰寫、開會研究、專家授課、資料編制、師徒傳幫帶等，雖然這些手段一直以來發揮了巨大的作用，但由于知識的收集、整理、共享、復用的效率低，缺乏規范的流程和手段。因此，現在急需一種信息系統能夠將現有知識規范的、完整的、有邏輯的表示，提高知識復用率。

發明內容

本發明的目的是提供一種基于信息系統的知識驗證方法及系統，通過建立知識表示系統并驗證其系統的完整性和正確性，得到一種信息系統能夠將現有知識規范的、完整的、有邏輯的表示，提高知識復用率。

為實現上述目的，本發明提供了如下方案：

一種基于信息系統的知識驗證方法，所述知識驗證方法，包括：

構建知識視圖元模型；

根據所述知識視圖元模型，確定所述知識視圖元模型的語義框架，確定所述知識視圖元模型的概念以及確定所述概念之間的關系，得到擴展后的知識視圖模型；

根據所述擴展后的知識視圖模型，建立基于信息系統的知識表示系統；

判斷所述知識表示系統中的全部關系節點x是否具備合法關系，所述關系節點x表示所述知識視圖模型概念之間的關系；

若是，則確定所述知識表示系統具有完整性和正確性；

若否，則終止所述關系節點x所對應的知識視圖模型的判斷。

可選的，構建知識視圖元模型，具體包括：構建業務目標視圖元模型、構建節點視圖元模型、構建資源視圖元模型、構建信息視圖元模型、構建活動視圖元模型以及構建能力視圖元模型。

可選的，所述確定所述知識視圖元模型的語義框架，確定所述知識視圖元模型的概念以及確定所述概念之間的關系，包括：確定所述業務目標視圖元模型、節點視圖元模型、資源視圖元模型、信息視圖元模型、活動視圖元模型以及能力視圖元模型的語義框架，確定所述業務目標視圖元模型、節點視圖元模型、資源視圖元模型、信息視圖元模型、活動視圖元模型以及能力視圖元模型的概念以及確定所述業務目標視圖元模型、節點視圖元模型、資源視圖元模型、信息視圖元模型、活動視圖元模型以及能力視圖元模型概念之間的關系，得到擴展后的知識視圖模型；其中，擴展后的知識視圖模型包括：業務目標視圖模型、節點視圖模型、資源視圖模型、信息視圖模型、活動視圖模型以及能力視圖模型；

所述業務目標視圖模型，用于分析實現能力業務知識表示系統的目標以及為達到所述能力業務知識表示系統的目標具備能力和執行活動；

所述節點視圖模型，用于提供所述能力業務知識表示系統的部署情況、位置情況，以及在所屬能力業務知識表示系統中節點完成的動作行為，其中，所述復能力業務知識表示系統中節點是完成使命任務的基本單元；

所述資源視圖模型，用于為所述能力業務知識表示系統提供的物理平臺、組織機構、其它信息支持的資源要素；

所述信息視圖模型，用于為所述能力業務知識表示系統提供信息的輸入端口、信息的輸出端口、信息的傳輸，細化交換信息以及明確所述能力業務知識表示系統中交換信息的屬性；

所述活動視圖模型，用于分析活動的輸入和輸出、活動之間的分解關系，所述節點行開展的活動，具體包括分析活動的輸入和輸出之間的信息流關系，以及執行節點行為；

所述能力視圖模型，用于根據所述能力業務知識表示系統中的能力的測度、特性、演化，評估能力以及組合能力，用戶評估所述能力業務知識表示系統。

可選的，在判斷所述知識表示系統中的全部關系節點x是否具備合法關系之前，還包括：

采用模糊描述邏輯f-SHIN算法，將所述擴展后的知識視圖模型，轉換成以Tbox公理集中的元素形式表示。

可選的，判斷所述知識表示系統中的全部關系節點x是否具備合法關系，具體包括：采用≥和≤擴展規則，判斷所述知識表示系統中的全部關系節點x是否具備合法關系。