擴(kuò)展的動(dòng)態(tài)邏輯程序及其在產(chǎn)品信息個(gè)性化推薦中的應(yīng)用_17212.pdf

1、UDC：004中文圖書分類號(hào)：TP391學(xué)校代碼：10005學(xué)號(hào)：$201007123密級(jí)：公開北京工業(yè)大學(xué)工學(xué)碩士學(xué)位論文題目擴(kuò)展的動(dòng)態(tài)邏輯程序及其在產(chǎn)品信息個(gè)性化推薦中的應(yīng)用英文題目EXTENDEDDYNAMICLOGICPROGRAMSANDAPPLICATIONINPRODUCTPRESONALIZEDI己ECOM卟4ENDATION論文作者：夏杰學(xué)科：計(jì)算機(jī)科學(xué)與技術(shù)研究方向：計(jì)算機(jī)應(yīng)用技術(shù)申請(qǐng)學(xué)位：工學(xué)碩士指導(dǎo)教師：王潔副教

2、授所在單位：計(jì)算機(jī)學(xué)院答辯日期：2013年6月授予學(xué)位單位：北京工業(yè)大學(xué)摘要摘要當(dāng)前，回答集程序設(shè)計(jì)已經(jīng)成為人工智能領(lǐng)域知識(shí)表示和推理的重要工具。它是一種描述性的問題解決框架，非常適用于對(duì)涉及常識(shí)推理的問題進(jìn)行建模，并自動(dòng)求解。動(dòng)態(tài)邏輯程序是回答集程序的一種重要形式。Alferes等人提出了動(dòng)態(tài)邏輯程序，動(dòng)態(tài)邏輯程序“B匕n“N好的處理知識(shí)庫更新問題，但它不能描述和處理具有偏好的知識(shí)更新問題。因此，本文在動(dòng)態(tài)邏輯程序的基礎(chǔ)上，提出了一種

3、新的擴(kuò)展的動(dòng)態(tài)邏輯程序語言，并且給出了其最優(yōu)回答集語義。本文提出的新程序通過對(duì)規(guī)則頭部使用有序析取的方法，使其能夠描述和處理具有偏好的知識(shí)更新問題。這種新的程序語法更加豐富，進(jìn)一步增強(qiáng)了知識(shí)的描述和推理能力，應(yīng)用范圍更加廣泛，但并未增加其計(jì)算復(fù)雜度。同時(shí)，本文以電影信息個(gè)性化推薦為例，說明了新語言在產(chǎn)品信息個(gè)性化推薦中的應(yīng)用。本文闡述的產(chǎn)品信息個(gè)性化推薦主要是解決用戶需求的約束條件問題。但由于用戶對(duì)領(lǐng)域知識(shí)的匱乏，需求的多變性等，可能出