知識(shí)本體模型下的不一致推理機(jī)制研究.pdf

1、人的認(rèn)知狀態(tài)會(huì)隨著知識(shí)的變化而變化，有時(shí)候會(huì)引起知識(shí)庫(kù)不一致現(xiàn)象的出現(xiàn)。本體作為知識(shí)的一種表示方法，很多操作都會(huì)引起不同程度的本體不一致問(wèn)題，例如一詞多義、本體融合等都會(huì)影響本體的協(xié)調(diào)性。
　　 本體推理機(jī)是本體知識(shí)系統(tǒng)進(jìn)行推理的工具。推理機(jī)進(jìn)行推理主要有以下兩種思想，一種是基于規(guī)則的推理，另一種是基于描述邏輯的推理。無(wú)論是哪種方法，推理機(jī)在進(jìn)行推理之前都要檢查知識(shí)庫(kù)的協(xié)調(diào)性。當(dāng)檢測(cè)到不一致時(shí)，系統(tǒng)就會(huì)自動(dòng)停止推理。但是本體推理

2、機(jī)只能檢測(cè)到系統(tǒng)的不一致，并沒(méi)有提供解決辦法，而是把這個(gè)問(wèn)題留給了系統(tǒng)工程師和用戶(hù)。因此，改善推理機(jī)，使得推理機(jī)能夠在不一致本體的基礎(chǔ)上進(jìn)行推理，變得越來(lái)越重要。
　　 現(xiàn)在國(guó)外已經(jīng)有學(xué)者提出了解決本體不一致問(wèn)題的方法，這些方法大體可以分為兩種思想。一種是對(duì)本體中的不一致信息進(jìn)行修正，得到協(xié)調(diào)的一致本體，然后再進(jìn)行推理，例如邏輯領(lǐng)域中的信念修正方法在不一致本體上的應(yīng)用。另一種思想是采用非標(biāo)準(zhǔn)的推理方法，使得推理能夠在容忍矛盾的前

3、提下進(jìn)行，例如超協(xié)調(diào)邏輯在本體推理中的應(yīng)用等。但是，修正不一致本體經(jīng)常會(huì)產(chǎn)生有用信息的丟失，所以本文在第二種思想的基礎(chǔ)上提出了一種解決本體不一致問(wèn)題的方法。
　　 本文將邏輯推理領(lǐng)域中的信念非修正方法應(yīng)用在不一致本體的推理中。當(dāng)新信念加入到原有的信念集時(shí)，有時(shí)候會(huì)產(chǎn)生不一致現(xiàn)象，信念非修正方法允許不一致信念的存在，把根據(jù)新信念集推出的沒(méi)有相反信息的結(jié)論作為系統(tǒng)的最終結(jié)論。本文在信念非修正理論的思想上提出了兩種解決不一致本體推理問(wèn)