本文關(guān)鍵詞：動態(tài)論辯系統(tǒng)中優(yōu)先外延的保存原則研究

  更多相關(guān)文章： 論辯理論 動態(tài)性 攻擊關(guān)系 優(yōu)先外延

【摘要】：抽象論辯理論是邏輯學(xué)與人工智能領(lǐng)域的一個新興研究方向。它可以用于建模各種非單調(diào)推理,幫助Agent在不一致的情境中進行自主推理。由于Agent所處的環(huán)境往往是動態(tài)變化的,所以論辯系統(tǒng)的動態(tài)性問題是一個非常值得關(guān)注的研究點。當(dāng)Agent處在一個動態(tài)變化的環(huán)境之中,底層知識的改變會引起上層的抽象論辯框架的變化,從而引起論辯語義的變化。目前,如何刻畫論辯系統(tǒng)的這種動態(tài)性仍然是一個挑戰(zhàn)性問題,難點主要在于當(dāng)系統(tǒng)發(fā)生變化(如添加或刪除一個論證或攻擊關(guān)系)時,如何確定哪些論證的狀態(tài)發(fā)生了改變,以及如何重新評估各個論證的狀態(tài)。同時,由于在多數(shù)情況下,論辯系統(tǒng)的語義求解不存在易解的算法,當(dāng)系統(tǒng)發(fā)生動態(tài)變化時,重新評估各個論證的狀態(tài)不僅是低效的,而且是困難的。針對該問題,本文在現(xiàn)有工作的基礎(chǔ)上,研究了在動態(tài)環(huán)境中,論辯系統(tǒng)在變化之前的語義保存到了變化之后的語義中,對減少許多不必要的重新評估過程具有重要意義。目前,在幾種經(jīng)典的論辯語義(包括基語義、優(yōu)先語義、穩(wěn)定語義等)中,國外學(xué)者僅研究了基語義下動態(tài)論辯系統(tǒng)外延保持不變的原則,因為基語義只有一個,所以基語義保持不變也就意味著基語義被保存了。由于基語義的求解存在多項式時間的算法,而優(yōu)先語義的求解則是NP難題,因此本文重點研究優(yōu)先語義下的外延被保存的原則,并重點考慮系統(tǒng)增加一個攻擊關(guān)系或減少一個攻擊關(guān)系的情況。通過上述研究,我們得到如下主要結(jié)論:增加一個攻擊關(guān)系在20個原則下滿足優(yōu)先外延被保存,在余下的16個不滿足優(yōu)先外延被保存的原則中,有10個是絕對滿足不了優(yōu)先外延被保存的,而只要增加一些適當(dāng)?shù)南拗菩詶l件,余下的6個原則是可以滿足優(yōu)先外延被保存的;刪除一個攻擊關(guān)系在29個原則下滿足優(yōu)先外延被保存,其余的7個原則在增加了一些適當(dāng)?shù)南拗菩詶l件之后,可以滿足優(yōu)先外延被保存。不過,本文考察的動態(tài)變化相對簡單,難以完全符合Agent在現(xiàn)實環(huán)境中的真實變化,進一步的結(jié)論有待更深入的研究。
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：B81-0

【參考文獻】

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

1 廖備水;;論辯系統(tǒng)的動態(tài)性及其研究進展[J];軟件學(xué)報;2012年11期

，

本文編號：1298869