本文關(guān)鍵詞：一階謂詞邏輯下子句型信念的非修正推理方法

  更多相關(guān)文章： 信念 謂詞邏輯 子句 非修正推理 認(rèn)識(shí)進(jìn)程

【摘要】：實(shí)現(xiàn)計(jì)算機(jī)的自動(dòng)推理是人工智能領(lǐng)域中的一個(gè)重要課題。對(duì)于傳統(tǒng)的常識(shí)推理,新知識(shí)可由舊知識(shí)以經(jīng)典邏輯的原理推理得到。然而在實(shí)際應(yīng)用中,知識(shí)往往是不確定、不一致和不完全的,通常被稱為信念。根據(jù)經(jīng)典邏輯的原理,以不一致的知識(shí)作為前提推理得出的結(jié)論是沒有意義的。因此,為了使得這類推理能夠得到盡可能合理的結(jié)論,人們提出了多種解決不一致推理的方法,信念修正就是其中較為常用的方法。信念修正的主要思想是：當(dāng)新加入的知識(shí)與知識(shí)庫中的信念不一致時(shí),就將知識(shí)庫中的信念按照某種優(yōu)先度進(jìn)行排序,并刪除其中引起不一致的且優(yōu)先度較低的部分,從而維護(hù)知識(shí)庫的一致性。相對(duì)于信念修正,非修正推理方法不刪除知識(shí)庫中的信念,而是容忍知識(shí)庫中的不一致,并通過提出新的推理方法來產(chǎn)生唯一的、一致的、演繹封閉的結(jié)論集。這種方法保留了知識(shí)庫中的信念,減少了信息的損失。本文提出了一種一階謂詞邏輯下子句型信念的非修正推理方法,證明了該方法所產(chǎn)生的結(jié)論集滿足唯一性、一致性和演繹封閉性,并給出了主要算法。相對(duì)于現(xiàn)有的非修正推理方法,本文提出的方法無論在結(jié)論集的完備性,還是在算法的效率上均具有較大的優(yōu)勢。本文還討論了非修正推理方法的認(rèn)識(shí)進(jìn)程,證明了該方法的認(rèn)識(shí)進(jìn)程具有收斂性。最后,本文結(jié)合了粗糙集規(guī)則提取方法和一階謂詞邏輯下子句型信念的非修正推理方法,提出了一個(gè)基于先驗(yàn)知識(shí)與粗糙集規(guī)則提取的分類系統(tǒng)。相對(duì)于傳統(tǒng)的基于粗糙集規(guī)則提取的分類系統(tǒng),本文構(gòu)建的系統(tǒng)可以獲得更為合理的分類結(jié)果,并且可以從不同形式的決策系統(tǒng)提取知識(shí),將其匯集到知識(shí)庫中進(jìn)行推理和決策。這種以知識(shí)為形式的信息交換,不包含任何細(xì)節(jié)信息,提高了信息傳遞的效率,也保障了信息的隱私安全。
【學(xué)位授予單位】：大連海事大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP18

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 趙子都;推理機(jī)制與推理方法[J];自動(dòng)化博覽;1997年06期

2 羅菲菲,劉貴全,安景琦,張婷慧;一種基于代價(jià)敏感學(xué)習(xí)的范例推理方法及其應(yīng)用研究[J];計(jì)算機(jī)應(yīng)用;2005年10期

3 史曉宏,張錦;一種數(shù)值推理方法的研究與實(shí)現(xiàn)[J];山西礦業(yè)學(xué)院學(xué)報(bào);1997年02期

4 丁占鰲,齊振東,于鎖利,楊豐;基于規(guī)則的一種新的推理方法及實(shí)現(xiàn)[J];黑龍江大學(xué)自然科學(xué)學(xué)報(bào);1997年01期

5 葉育鑫;歐陽丹彤;領(lǐng)吉;張永剛;;本體與規(guī)則整合的推理方法研究及設(shè)計(jì)[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2009年05期

6 尹莉莉;張汝波;林忠會(huì);;可變自主系統(tǒng)中態(tài)勢推理方法研究[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年S2期

7 馬紹漢;張宏;;誘導(dǎo)推理及其應(yīng)用[J];計(jì)算機(jī)科學(xué);1993年05期

8 張華;王寶文;劉文遠(yuǎn);石巖;;基于重心模糊插值推理方法的改進(jìn)[J];燕山大學(xué)學(xué)報(bào);2007年02期

9 安莉;王建林;白燕梅;苗艷榮;;基于匹配度的廣度優(yōu)先推理方法的應(yīng)用研究[J];計(jì)算機(jī)應(yīng)用研究;2009年03期

10 張楚才;劉昀岢;瞿紹軍;;一種基于本體和自定義規(guī)則的情景推理方法[J];計(jì)算機(jī)技術(shù)與發(fā)展;2014年04期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前1條

1 鈕曉鳴;;模糊控制中的置信推理方法[A];1995年中國控制會(huì)議論文集（下）[C];1995年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 劉心報(bào);GDSS環(huán)境下的群體推理方法及群體層次分析法研究[D];合肥工業(yè)大學(xué);2002年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前7條

1 妥斯根;蒙醫(yī)推理方法探究[D];內(nèi)蒙古師范大學(xué);2015年

2 張嵩;一階謂詞邏輯下子句型信念的非修正推理方法[D];大連海事大學(xué);2016年

3 王省思;基于不一致本體非修正的知識(shí)推理方法[D];大連海事大學(xué);2014年

4 張華;稀疏模糊規(guī)則庫條件下的模糊插值推理方法研究[D];燕山大學(xué);2007年

5 王秀娥;基于粒推理方法的SDG故障診斷研究及應(yīng)用[D];太原理工大學(xué);2010年

6 哈艷;CRI方法與基于相似性推理方法在分類問題中的比較研究[D];河北大學(xué);2006年

7 王世醒;基于MapReduce的大規(guī)模RDF圖并行推理方法的研究[D];南昌大學(xué);2014年

，

本文編號(hào)：1136865