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