目前大部分抽象論辯框架都將論證之間的關(guān)系限制在攻擊關(guān)系上,但在日常生活中,只關(guān)注論證之間的攻擊關(guān)系是不夠的。一方面,此類抽象論辯框架的表達能力有限,它處理動態(tài)性問題時產(chǎn)生的結(jié)果容易與現(xiàn)實不符;另一方面,在計算論辯框架的語義外延時,抽象論辯框架理論只能利用論證之間攻擊關(guān)系的拓撲結(jié)構(gòu),不能進一步提高計算效率。為了處理這些問題,本文定義了論證之間的子論證關(guān)系,接著對帶有子論證關(guān)系的論辯框架(AFwS)進行兩個層面的分析。第一,從結(jié)構(gòu)化層面來看動態(tài)性問題,含子論證的論辯框架與抽象論辯框架在動態(tài)性問題上有顯著不同。抽象論辯框架沒有論證之間的支持關(guān)系,因此在對框架作出改變時,增加論證或刪除論證是隨意性的。但是,當在框架中加入了子論證關(guān)系后,論證的活躍性依賴于其子論證,若刪除了一個論證的子論證,那么這個論證將喪失它的活躍性。因此,在對含子論證的論辯框架進行改變時,必須考慮到更多的限制條件。第二,從抽象層面來看論辯語義的計算問題,在AFwS中,論證的狀態(tài)由其子論證決定,不涉及攻擊關(guān)系的論證并不參與處理沖突的過程之中。廖備水提出了一種分層的AFwS(LAFwS),將論證區(qū)分為沖突處理論證和狀態(tài)獨立論證,這樣就可以集中解決論證中的沖突。本文基于廖備水的分層理論來計算AFwS優(yōu)先外延,設(shè)計了相關(guān)算法,包括分層計算的算法和傳統(tǒng)方式(利用拓撲結(jié)構(gòu))的算法,用JAVA語言實現(xiàn)算法,最后通過得到的實驗數(shù)據(jù)證明了分層算法比傳統(tǒng)算法更高效。
【學位單位】：浙江大學
【學位級別】：碩士
【學位年份】：2018
【中圖分類】：B844.2
【部分圖文】：

圖１．２－１論辯系統(tǒng)的基本工作機制??

圖１．?３－１全文結(jié)構(gòu)??

?相關(guān)的基礎(chǔ)理論??不能擊敗我們的信念，因此我們接受自己的信念。如圖２．１－１，其中硬性推理用??實線表示，可廢止推理用虛線表示，攻擊關(guān)系用帶箭頭的實線表示：??約梅當天ｓ雇在＞約？當天早展在??倫Ｒ?、?＾?ＢＳ??＜?湯？有ａ由說謊??約《在荷蘭公？?荷蘭公西在倫《ｔ?Ｉ?丨??湯姆和約輅是萠??友??我們在荷蘭公困??＊見了約Ｋ??圖２．?１－１非形式化例子??在ＡＳＰ／Ｃ＋中論證可以通過演繹規(guī)則或硬性規(guī)則從前提得到結(jié)論。在這個例??子中，有不同的方式支持“約翰當天早晨在倫敦”這一主張：首先我們通過演繹??推理得到此主張。然而，在例子中有另外兩種情況，由前提“我們在荷蘭公園看??見了約翰”得到結(jié)論“約翰在荷蘭公園”則是通過感官感知進行推理；由前提‘‘湯??姆和約翰是朋友”得到結(jié)論“湯姆有理由說謊”則是通過常識進行推理。這樣的??推理方式就不能被構(gòu)造成演繹推理。??在結(jié)構(gòu)化論辯系統(tǒng)中，論證是從底層知識庫通過邏輯語言表迗的。在過去二??十年里，許多建造結(jié)構(gòu)化論辯系統(tǒng)的方法被提出。用不同的邏輯語言，或者對前??提和結(jié)論之間的關(guān)系的不同定義，都會產(chǎn)生不同的結(jié)構(gòu)化論證的定義。在這里，??我們將介紹在ＪＳ７ＶＣ＋中關(guān)于結(jié)構(gòu)化論證的基本概念。??定義２．１．１【論辯系統(tǒng)】論辯系統(tǒng)一個論辯系統(tǒng)是一個三元組又ｒ＝ｆ厶滅，ｗ，??其中：??？?Ｚ?在否定下封閉的邏輯語言。??１１??
【參考文獻】

相關(guān)博士學位論文 前1條

1 應(yīng)騰;論辯的結(jié)構(gòu)化研究[D];浙江大學;2015年

本文編號：2870476