- 相關推薦
知識的一致性檢測研究與實現VC
畢業論文
目 錄
前 言 1
1 C++語言基礎 3
1.1 程序結構 3
1.2 類和數據封裝 4
1.3 構造函數和析構函數 4
1.4 繼承和派生 4
1.5 多態性和虛函數 5
1.6 友元，靜態函數 5
1.7 本章小結 6
2 知識的產生式表示法 7
2.1 產生式的基本形式 7
2.2 產生式系統 8
2.3 產生式系統的分類 13
2.4 產生式表示法的特點 17
2.5 本章小結 18
3 基于經典邏輯的檢測方法 19
3.1 邏輯表達式等價性檢測 19
3.2 冗余檢測 22
3.2.1 知識冗余 22
3.2.2 冗余檢測方法 23
3.3 矛盾檢測 24
3.3.1 矛盾規則及矛盾規則鏈 24
3.3.2 矛盾檢測方法 25
3.4 從屬規則檢測 25
3.4.1 從屬 25
3.4.2 從屬規則檢測方法 26
3.5 環路檢測 26
3.5.1 環路 26
3.5.2 環路檢測方法 26
3.6 本章小結 26
4 1致性檢測程序的總體設計與實現 28
4.1 開發平臺 28
4.2 1致性檢測的總體分析 28
4.3 數據結構的設計 28
4.4 1致性檢測程序 29
4.4.1 冗余檢測過程 29
4.4.2 矛盾檢測過程 30
4.4.3 從屬檢測過程 30
4.5 算法實現 31
4.6 本章小結 33
5 1致性檢測程序的測試 34
5.1 測試過程 34
5.1.1 獲取知識 34
5.1.2 測試實例1 35
5.1.3 測試實例2 36
5.1.4 測試實例3 38
5.1.5 測試實例4 38
5.2 測試結果 41
5.3 關鍵性技術 41
5.3.1 檢測方法的總體實現 41
5.3.2 詳細設計細節 42
5.3.3 進1步工作 45
5.4 本章小結 47
總 結 48
參考文獻 49
致 謝 50
知識的1致性檢測研究與實現
摘 要：在知識庫中知識可能會產生不1致，在應用這些知識進行推理時，會嚴重影響推理過程中知識的推理效率，甚至會產生錯誤。本文主要對知識庫中知識的1致性問題進行研究，并實現1個能檢測知識庫中知識的1致性的程序。
本文描述的是以產生式規則為例的知識的1致性檢測方法。首先介紹了知識的產生式表示法,接著討論了1致性檢測方法，包括知識的冗余、矛盾、從屬和環路檢測，最后使用VC++6.0開發工具實現了1個驗證1致性檢測方法可行性的程序。本文在檢測方法中詳細研究了目前常用的1種動態檢測方法：基于經典邏輯的檢測方法。通過研究，把知識的1致性檢測過程11展現出來，而正因為這些過程使知識的1致性檢測得以完成，知識庫中的冗余、矛盾和從屬規則檢測得以實現。以上功能的實現將更加有助于我們進行知識庫的管理，使得人工智能的發展在知識庫方面更有優勢。
關鍵詞：人工智能；知識庫；產生式規則；1致性檢測
Studing and Implementation
of the Consistency Examination of Knowledge
Abstract: In knowledge base the knowledge may produce the inconformity, in appliedly these knowledgeses proceed logically, would seriously affect the reason logically process the knowledge efficiency, even will produce the fata mistakes.This article is main to proceed the research to the consistency problem of knowledge base inside knowledge, and realizes a program which can examine the consistency of knowledge base with knowledge.
What this article describe is regarding creation rules as a consistency of knowledge examination method.First, introduced the creation type of the knowledge methods.Then, discussed the consistency examination method immediately, including the redundancy, antinomy of the knowledge, from belong to and the wreath road.Finally, realized a verification consistency examination with the VC++6.0 development tool.This article was detailed to discuss the current in common methods.Use a kind of development examination in examine methods:According to logical examination in classic methods, discussing the consistency examination method to relate the insight of the developer at the same time and examine the process of cognition of the method to the consistency to emerges out one by one,exactly because these just make according to produce the consistency of the rules that the knowledge base examine can complete and make its redundancy in the knowledge base, self-contradict with from belong to the rule examines can realize.With these functionses realize,the beneficial to the management that us proceed knowledge base,making the development of the artificial intelligence even have the advantage in the knowledge base.
Keywords: Artificial intelligence； Knowledge base；Creation type rule；Consistency examination
前 言
在科技日新月異的今天，在當今的競爭環境下，要想取得成功，有效地共享數據是10分重要的。使來自不同數據源的數據以1種有效和有用的方式組合在1起，以方便管理人員管理和普通用戶使用，這在當今社會無疑是1個熱門話題。
數據知識的1致性，完整性是影響專家系統性能的重要因素，知識庫的建立過程是知識經過1系列變換進入計算機系統的過程，在這個過程中存在著各種各樣導致知識不健全的因素。例如：
(1) 領域專家提供的知識中存在某些不1致、不完整、甚至錯誤的知識。由于專家系統是以專家認識為基礎的，因而專家知識中的任何不1致、不完整必然影響到知識庫的1致性與完整性。
(2) 知識工程師未能準確，全面地理解領域專家的意圖，使得所形成的知識條款隱含著種種錯誤，影響到知識的1致性及完整性。
(3) 采用的知識表示模式不適當，不能把領域知識準確地表示出來。
(4) 對知識進行增、刪、改時沒有充分考慮到可能產生的影響，以至在進行了這些操作之后，使得知識庫出現了不完備的情況。特別是在知識庫建成之后，由于知識間存在著千絲萬縷的復雜聯系，因而對它的任何改動都可能產生意想不到的后果。
【知識的一致性檢測研究與實現VC】相關文章：
網絡智能游戲的設計與實現VC++11-23
人臉的檢測定位MFC+VC++03-08
基于vc與word、outlook對象模型的email實現03-18
知識管理與知識挖掘在情報研究工作中的實現03-21
多層微帶線結構通用模型的vc實現11-23