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