- 相關(guān)推薦
知識的一致性檢測研究與實(shí)現VC
畢業(yè)論文
目 錄
前 言 1
1 C++語(yǔ)言基礎 3
1.1 程序結構 3
1.2 類(lèi)和數據封裝 4
1.3 構造函數和析構函數 4
1.4 繼承和派生 4
1.5 多態(tài)性和虛函數 5
1.6 友元，靜態(tài)函數 5
1.7 本章小結 6
2 知識的產(chǎn)生式表示法 7
2.1 產(chǎn)生式的基本形式 7
2.2 產(chǎn)生式系統 8
2.3 產(chǎn)生式系統的分類(lèi) 13
2.4 產(chǎn)生式表示法的特點(diǎn) 17
2.5 本章小結 18
3 基于經(jīng)典邏輯的檢測方法 19
3.1 邏輯表達式等價(jià)性檢測 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 環(huán)路檢測 26
3.5.1 環(huán)路 26
3.5.2 環(huán)路檢測方法 26
3.6 本章小結 26
4 1致性檢測程序的總體設計與實(shí)現 28
4.1 開(kāi)發(fā)平臺 28
4.2 1致性檢測的總體分析 28
4.3 數據結構的設計 28
4.4 1致性檢測程序 29
4.4.1 冗余檢測過(guò)程 29
4.4.2 矛盾檢測過(guò)程 30
4.4.3 從屬檢測過(guò)程 30
4.5 算法實(shí)現 31
4.6 本章小結 33
5 1致性檢測程序的測試 34
5.1 測試過(guò)程 34
5.1.1 獲取知識 34
5.1.2 測試實(shí)例1 35
5.1.3 測試實(shí)例2 36
5.1.4 測試實(shí)例3 38
5.1.5 測試實(shí)例4 38
5.2 測試結果 41
5.3 關(guān)鍵性技術(shù) 41
5.3.1 檢測方法的總體實(shí)現 41
5.3.2 詳細設計細節 42
5.3.3 進(jìn)1步工作 45
5.4 本章小結 47
總 結 48
參考文獻 49
致 謝 50
知識的1致性檢測研究與實(shí)現
摘 要：在知識庫中知識可能會(huì )產(chǎn)生不1致，在應用這些知識進(jìn)行推理時(shí)，會(huì )嚴重影響推理過(guò)程中知識的推理效率，甚至會(huì )產(chǎn)生錯誤。本文主要對知識庫中知識的1致性問(wèn)題進(jìn)行研究，并實(shí)現1個(gè)能檢測知識庫中知識的1致性的程序。
本文描述的是以產(chǎn)生式規則為例的知識的1致性檢測方法。首先介紹了知識的產(chǎn)生式表示法,接著(zhù)討論了1致性檢測方法，包括知識的冗余、矛盾、從屬和環(huán)路檢測，最后使用VC++6.0開(kāi)發(fā)工具實(shí)現了1個(gè)驗證1致性檢測方法可行性的程序。本文在檢測方法中詳細研究了目前常用的1種動(dòng)態(tài)檢測方法：基于經(jīng)典邏輯的檢測方法。通過(guò)研究，把知識的1致性檢測過(guò)程11展現出來(lái)，而正因為這些過(guò)程使知識的1致性檢測得以完成，知識庫中的冗余、矛盾和從屬規則檢測得以實(shí)現。以上功能的實(shí)現將更加有助于我們進(jìn)行知識庫的管理，使得人工智能的發(fā)展在知識庫方面更有優(yōu)勢。
關(guān)鍵詞：人工智能；知識庫；產(chǎn)生式規則；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
前 言
在科技日新月異的今天，在當今的競爭環(huán)境下，要想取得成功，有效地共享數據是10分重要的。使來(lái)自不同數據源的數據以1種有效和有用的方式組合在1起，以方便管理人員管理和普通用戶(hù)使用，這在當今社會(huì )無(wú)疑是1個(gè)熱門(mén)話(huà)題。
數據知識的1致性，完整性是影響專(zhuān)家系統性能的重要因素，知識庫的建立過(guò)程是知識經(jīng)過(guò)1系列變換進(jìn)入計算機系統的過(guò)程，在這個(gè)過(guò)程中存在著(zhù)各種各樣導致知識不健全的因素。例如：
(1) 領(lǐng)域專(zhuān)家提供的知識中存在某些不1致、不完整、甚至錯誤的知識。由于專(zhuān)家系統是以專(zhuān)家認識為基礎的，因而專(zhuān)家知識中的任何不1致、不完整必然影響到知識庫的1致性與完整性。
(2) 知識工程師未能準確，全面地理解領(lǐng)域專(zhuān)家的意圖，使得所形成的知識條款隱含著(zhù)種種錯誤，影響到知識的1致性及完整性。
(3) 采用的知識表示模式不適當，不能把領(lǐng)域知識準確地表示出來(lái)。
(4) 對知識進(jìn)行增、刪、改時(shí)沒(méi)有充分考慮到可能產(chǎn)生的影響，以至在進(jìn)行了這些操作之后，使得知識庫出現了不完備的情況。特別是在知識庫建成之后，由于知識間存在著(zhù)千絲萬(wàn)縷的復雜聯(lián)系，因而對它的任何改動(dòng)都可能產(chǎn)生意想不到的后果。
【知識的一致性檢測研究與實(shí)現VC】相關(guān)文章：
在Windows系統中用VC 實(shí)現鉤子機制03-18
網(wǎng)絡(luò )智能游戲的設計與實(shí)現VC++11-23
人臉的檢測定位MFC+VC++03-08
基于vc與word、outlook對象模型的email實(shí)現03-18
知識管理與知識挖掘在情報研究工作中的實(shí)現03-21
TMS320VC5416并行自舉的巧妙實(shí)現03-18
多層微帶線(xiàn)結構通用模型的vc實(shí)現11-23