本文關(guān)鍵詞：回答集最優(yōu)化邏輯程序研究

  更多相關(guān)文章： 邏輯程序 回答集最優(yōu)化 等價(jià)性 不可比性

【摘要】： 一個(gè)回答集最優(yōu)化(Answer Set Optimization,以下簡(jiǎn)稱ASO)邏輯程序是一個(gè)二元組(Pgen,Ppref),生成程序Pgen生成描繪可能解決方案的回答集,偏好程序Ppref表達(dá)使用者的偏好。Ppref中的偏好規(guī)則構(gòu)造出可能解決方案的一個(gè)偏好序列,用于比較Pgen生成的回答集。我們證明Brewka的ASO邏輯程序會(huì)出現(xiàn)不相關(guān)問題,找出不相關(guān)問題的成因。為了消除不相關(guān)問題,我們提出新概念ε 等價(jià),以重新定義偏好關(guān)系對(duì)回答集的滿足度。相應(yīng)地,我們定義了回答集的四種偏好關(guān)系,并在此基礎(chǔ)上構(gòu)建出回答集的層級(jí)結(jié)構(gòu),提出獲得最優(yōu)解的新方法。結(jié)合事例,我們?cè)谛碌亩x和技術(shù)的幫助下消除了不相關(guān)問題。
【關(guān)鍵詞】：邏輯程序 回答集最優(yōu)化 等價(jià)性 不可比性
【學(xué)位授予單位】：中山大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2010
【分類號(hào)】：B812
【目錄】：

• 摘要3-4
• ABSTRACT4-6
• 引言6-8
• 第1章 ASO 邏輯程序8-16
• 1.1 擴(kuò)充邏輯程序和回答集語義8-9
• 1.2 ASO 邏輯程序9-14
• 1.3 ASO 邏輯程序的特點(diǎn)和優(yōu)點(diǎn)14-16
• 第2章 不相關(guān)問題16-20
• 2.1 不相關(guān)問題16-18
• 2.2 例子18-20
• 第3章 消除不相關(guān)問題20-29
• 3.1 出現(xiàn)不相關(guān)問題的原因20-21
• 3.2 ε 等價(jià)和不相關(guān)21-22
• 3.3 回答集的四種偏好關(guān)系22-24
• 3.4 回答集的層級(jí)結(jié)構(gòu)和最優(yōu)解選擇24-26
• 3.5 例子26-29
• 結(jié)語29-30
• 參考文獻(xiàn)30-33
• 中英文對(duì)照表33-34
• 后記34

【共引文獻(xiàn)】

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

1 王潔;安雪妹;劉椿年;;擴(kuò)展的加權(quán)約束邏輯程序在產(chǎn)品配置中的應(yīng)用[J];北京工業(yè)大學(xué)學(xué)報(bào);2012年01期

2 王以松;;關(guān)于擴(kuò)充的邏輯程序(英文)[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年03期

3 王以松;魏昆鵬;;帶函數(shù)的正規(guī)邏輯程序設(shè)計(jì)系統(tǒng)(英文)[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年02期

4 王以松;楊卓群;許歡;;漢密爾頓回路邏輯程序的兩個(gè)結(jié)果(英文)[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年03期

5 欒尚敏;戴國忠;;命題規(guī)則知識(shí)庫更新的一種代數(shù)方法[J];中國科學(xué)(E輯:信息科學(xué));2008年02期

6 ;A characterization of answer sets for logic programs[J];Science in China(Series F:Information Sciences);2007年01期

7 ;An algebraic approach to revising propositional rule-based knowledge bases[J];Science in China(Series F:Information Sciences);2008年03期

8 劉瓊波,施軍,尤晉元;分布式環(huán)境下的訪問控制[J];計(jì)算機(jī)研究與發(fā)展;2001年06期

9 薛云皎;錢樂秋;彭鑫;徐如志;;智能主體在構(gòu)件檢索中的知識(shí)處理研究[J];計(jì)算機(jī)工程與應(yīng)用;2006年08期

10 陳榮;孫吉貴;;邏輯程序中的否定問題與非單調(diào)邏輯[J];計(jì)算機(jī)科學(xué);1997年06期

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

1 ;分層的擴(kuò)充修正程序(英文)[A];2005年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

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

1 楊倩;面向語義Web的本體理論和工程方法研究[D];天津大學(xué);2012年

2 黃河;語義Web中知識(shí)服務(wù)的研究[D];中國科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

3 薛云皎;基于智能主體的分布式構(gòu)件庫相關(guān)技術(shù)研究[D];復(fù)旦大學(xué);2006年

4 王以松;邏輯程序的相容性與環(huán)公式研究[D];貴州大學(xué);2007年

5 周勇;邏輯程序及其在安全協(xié)議驗(yàn)證中的應(yīng)用[D];南京航空航天大學(xué);2006年

6 伍淳華;智能旅游目的地信息服務(wù)中效用的產(chǎn)生和體現(xiàn)機(jī)制研究[D];北京郵電大學(xué);2008年

7 江志雄;基于動(dòng)態(tài)語義的Web服務(wù)描述[D];復(fù)旦大學(xué);2008年

8 文坤梅;基于本體知識(shí)庫推理的語義搜索研究[D];華中科技大學(xué);2007年

9 李鑫;Answer Set編程及其應(yīng)用研究[D];電子科技大學(xué);2009年

10 石蓮;面向語義Web的本體和規(guī)則結(jié)合方法研究[D];吉林大學(xué);2009年

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

1 謝紅梅;有序邏輯程序的回答集語義研究[D];南京航空航天大學(xué);2005年

2 王孝貴;仿真服務(wù)機(jī)器人任務(wù)規(guī)劃研究[D];安徽大學(xué);2013年

3 李虎陽;一種基于回答集程序的多方協(xié)商方法研究[D];西南大學(xué);2013年

4 夏杰;擴(kuò)展的動(dòng)態(tài)邏輯程序及其在產(chǎn)品信息個(gè)性化推薦中的應(yīng)用[D];北京工業(yè)大學(xué);2013年

，

本文編號(hào)：823449