推理(數(shù)據(jù)庫)

時(shí)間：2022-11-25 22:30:01 | 來源：信息時(shí)代

時(shí)間：2022-11-25 22:30:01 來源：信息時(shí)代

    推理 : 從已知的知識推出蘊(yùn)涵的新知識。它是發(fā)現(xiàn)新知識的重要環(huán)節(jié)之一,也是知識自動(dòng)獲取、知識處理、知識利用和智能問題求解的主要途徑。
在知識庫系統(tǒng)以及所有智能系統(tǒng)中都離不開推理的支持。推理是尋求已有前提與結(jié)論之間的邏輯關(guān)系,它所根據(jù)的判斷稱為前提,由前提得出的那個(gè)判斷稱為結(jié)論。推理是從一個(gè)或幾個(gè)判斷中推出一個(gè)新判斷的思維過程。按前提到結(jié)論的不同傳遞方式,由前提提供理由或證據(jù),由已知的知識,根據(jù)多種推理法則,推出新知識,并利用知識按一定的推理策略去解釋當(dāng)前的問題。
邏輯性知識是能夠確保結(jié)論正確無誤的知識。當(dāng)已知數(shù)據(jù)完整、準(zhǔn)確時(shí),使用邏輯性知識推理所得的結(jié)論也是完全可靠的,一般稱這種推理為邏輯推理。邏輯推理主要應(yīng)用于知識庫、演繹數(shù)據(jù)庫、人工智能與機(jī)器人等領(lǐng)域。
推理有單調(diào)推理和非單調(diào)推理。演繹推理稱為單調(diào)推理,在向前提集合增加了新的前提后,僅能導(dǎo)出更多的結(jié)果,不能取消或修改原先的結(jié)果,這種推理稱為單調(diào)推理。在信息不完全的情況下進(jìn)行推理,所得到結(jié)論是臨時(shí)的,可能會(huì)被修改,這種推理不具備單調(diào)性,稱之為非單調(diào)性推理。非單調(diào)推理主要用于解決不確定性或非精確推理問題。
通常,在知識庫研究中常用的推理有邏輯推理、路徑推理、模糊推理等。
1.邏輯推理
以數(shù)理邏輯為基礎(chǔ),處理事實(shí)與結(jié)論之間存在的因果關(guān)系的過程,稱為邏輯推理。通常,邏輯推理包括:
(1)演繹推理(deductive reasoning): 是基于一階謂詞邏輯,從一般推理到個(gè)別認(rèn)識的推理,又稱主觀充分推理。
(2)歸納推理(inductive reasoning): 由特殊事實(shí)推導(dǎo)出普遍規(guī)律性的結(jié)論,或者由一般較低級知識提高到普遍性程度較高的知識過程,它是人類邏輯思維形式之一。
(3)類比推理(analogical reasoning):對同類事物屬性進(jìn)行比較,從而推出兩者之間相似的推理方式。
2. 路徑推理
(1)正向推理:是從原始條件出發(fā),向要解決的問題目標(biāo)前進(jìn),推出結(jié)論。
(2)反向推理:是從目標(biāo)出發(fā),不斷地找出滿足目標(biāo)所有情況條件,向最初條件逼近。
(3)雙向混合推理:把正向推理和逆向推理結(jié)合起來所進(jìn)行的推理。
3.模糊推理
在現(xiàn)實(shí)世界中,對一些模糊信息通過模糊推論過程作出合理的判斷稱為模糊推理。它是基于模糊集合論而發(fā)展起來的一種非布爾推理邏輯。模糊集合論,又稱可能性理論,是L.A.Zadeh于1965年提出的,該理論作為模糊推理的基礎(chǔ)。它主要研究模糊命題演算和近似推理。模糊推理與精確推理具有同等重要性。模糊推理有:
(1)狹義模糊推理:是基于狹義模糊邏輯的一種推理方法。它比較直觀、簡單,容易實(shí)現(xiàn),被很多基于規(guī)則的專家系統(tǒng)所采用。
(2)加權(quán)模糊推理:是指在許多實(shí)際問題中,根據(jù)一條推理規(guī)則的前提中的各子前提的“重要性”或所包括的信息的不同所進(jìn)行的推理,它也是主觀不充分置信推理。當(dāng)有許多條規(guī)則可應(yīng)用,都推出同一個(gè)結(jié)論時(shí),可通過計(jì)算方法來確定結(jié)論的最終真度。
(3)知識不完全推理:根據(jù)實(shí)踐論的觀點(diǎn),人們對世界客觀事物的認(rèn)識是不完全的,還有沒被認(rèn)識的一面。產(chǎn)生認(rèn)識不完全的原因在于事物都是在知識并不完全的情況進(jìn)行的。尤其在做探索新事物和新規(guī)律的研究中,以及在日常生活中不需要嚴(yán)格邏輯的常識推理。知識不完全的推理是常被使用的。知識不完全推理通常又分為常識推理(含默認(rèn)推理)與假設(shè)驗(yàn)證式推理。