基于可拓學的知識表示及推理方法研究

《基于可拓學的知識表示及推理方法研究》由會員上傳分享，免費在線閱讀，更多相關內容在學術論文-天天文庫。

1、哈爾濱工程大學碩士學位論文基于可拓學的知識表示及推理方法研究姓名：王靜申請學位級別：碩士專業(yè)：計算機應用技術指導教師：劉杰20060301哈爾濱：l程大學碩士學位論文摘要人工智能正處于蓬勃發(fā)展的時期，它與計算機的密切結合引發(fā)了人們對知識處理的研究，其中尤為重要的是知識的表示和推理問題。目前知識的表示和推理方法有很多，它們都在智能系統(tǒng)中發(fā)揮了重要的作用。然而這些智能系統(tǒng)僅僅是模擬了人類的抽象邏輯思維活動，而極少模擬人類的創(chuàng)造性思維，所以本文引入可拓學理論，研究基于可拓學的知識表示方法和推理方法，以彌補智能系統(tǒng)現(xiàn)有的不足。本文首先介紹了本課題研究的背景、目的和意義，并且簡單闡述了人工智能和可拓學

2、理論的基礎知識。然后詳細分析了可拓方法在人工智能技術中的應用，特別是它與知識表示和推理技術的密切聯(lián)系。由此，提出了可拓知識表示方法的形式化定義，并且將它與原有的幾種知識表示方法進行了詳細的比較。最后，本文圍繞知識的可拓性，提出了基于發(fā)散性的可拓推理，并在此基礎上引入了“繼承”的概念，提出可拓繼承推理。本文通過動物識別系統(tǒng)的例子，對這兩種新的推理方法進行了詳細介紹。關鍵詞：可拓學；發(fā)散性；可拓知識表示；可拓推理哈爾濱：1：程人學碩士學位論文Abstract111e枷ficialiIltelligenceisbeinginthep耐odofVigorousdeVelopfnent．Theclos

3、ecombin撕onbetweenitandco塒lputerllasiIlitiatedmcpeopleintotlleresearchofknowledgeprocessinginwhichknowledgerepreselltationandkno、訂edgereaSoningareespeciallymoreimponant．TherearemaIlymethodsofknowledgeexpressiona工ldrcasoningⅥ血ichplayaIlimporcarltroleinmeimell蟾entsyst鋤s．HoweVer，these訪telligentsyst啪sha

4、Veonlysimmated也ea_bs缸甚ctlo西calthinking∞tivitiesofh啪髓，sc8rcelysimulatedcreatiVet王linkingactivities．Inorderto0vefcometlleshortcomingSOfcurrentintelligentsyst鋤g，inthispapermeextensiontheoryisappliedtotlleresearchofknowledger印resentationaIldre船on血g．First，tllebackgrour】d，tllegoalandmesignific髓ceofthisth

5、csis眥iImoduced，andt王leelementaryknowledgeofanificialintell培enceandextension也eor)raresimplyilllls仃atedintllepapcLSecond，tlleappli硎onsofextensionmetllodsinartificialintenigence，especiallyt圭lecloSerelationbetween“明dknowledgere】msentationandreaSoning，areanalyzedindetail．111en也efb撇aldefinitionofextensio

6、nknowledgercpresentationisproposed鋤dcomparcdwitllseveraloriginalmethodsoflmo、vledgerepresentation．Intheend，thediVergentextensionreasoningisprOposedaccordingtoknowledgeextenSion．Basedon“theconc印tof“inh鰣t’’isintroducedandfmhertlleextensioninheritaIlcereasoningispmposcd．Theset、陽newrcasoniIlgmetllodsar

7、eillustfateddetailedlywithmeex鋤pleofaIlanimalrecognitionsysteminthepapeLKeywords：extenics，diVe唱ence，extensionktlowledgerepresentation，extensioninf毫rence哈爾濱工程大學學位論文原創(chuàng)性聲明本人鄭重聲明：本論文的所有工作，是在導師的指導下，由作者本人獨立完成的。有關