基于命題邏輯信息檢索模型的研究.pdf

1、本文以邏輯模型的建構(gòu)思想和方法為指導(dǎo)，文獻表示、查詢表示以及二者之間的匹配關(guān)系為要素，討論了命題邏輯理論在信息檢索模型中的應(yīng)用。
　　 在命題邏輯模型中，文獻信息和查詢需求的表達式按命題邏輯規(guī)則構(gòu)造為DNF(析取范式)形式，這種形式能夠表示出語句中所蘊含的語義信息，同時它能考慮到否定詞的出現(xiàn)情況，使表達貼近自然語言。在圖像檢索和語音檢索中，這種表示同樣具有很強的優(yōu)勢。
　　 文獻和查詢的匹配關(guān)系則視為一種邏輯蘊含關(guān)系(→

2、)，通過判斷d→q的邏輯蘊含程度來確定文獻d和查詢q之間是否相關(guān)。對于經(jīng)典二值邏輯而言，“→”這一標(biāo)準(zhǔn)過于嚴(yán)格，沒有考慮到部分匹配及檢索操作中存在的不確定性，所以，Van Rijsbergen給出了邏輯不確定性原理(LUP)，它成為信息檢索邏輯模型建構(gòu)的一個標(biāo)準(zhǔn)。根據(jù)這一理論規(guī)則，選用信念修正的方法，遵循極小修改的原則來確定d→q的邏輯蘊含程度，進而實現(xiàn)檢索匹配操作，得出文獻和查詢之間非二值的關(guān)系。
　　 為能有效實現(xiàn)這一檢索策