論辯系統(tǒng)是一種可以在不一致的情境中進(jìn)行非單調(diào)推理的形式體系。其基本思想是把推理進(jìn)行分層,底層處理知識(shí)的表示、論證的構(gòu)造、論證之間攻擊關(guān)系的識(shí)別等,這一部分屬于結(jié)構(gòu)化論辯的研究?jī)?nèi)容;上層負(fù)責(zé)對(duì)論證之間沖突關(guān)系的處理,確定可接受的論證集合,獲得理性主體可接受的結(jié)論,這一部分屬于抽象論辯的研究范圍。抽象論辯系統(tǒng)將論辯系統(tǒng)上層的推理視為一個(gè)獨(dú)立的系統(tǒng),主要研究抽象論辯框架及其語(yǔ)義描述。論證以及論證之間的攻擊關(guān)系構(gòu)成抽象論辯框架。在特定評(píng)價(jià)標(biāo)準(zhǔn)下得到的一組或幾組可接受的論證集合是抽象論辯框架的語(yǔ)義。由于主體的資源和環(huán)境等不斷變化,主體的推理知識(shí)和觀察信息也相應(yīng)不斷變化。在抽象論辯系統(tǒng)中表現(xiàn)為論證及其攻擊關(guān)系的動(dòng)態(tài)變化。抽象論辯框架改變后,其語(yǔ)義也隨之演化,這就是抽象論辯系統(tǒng)的動(dòng)態(tài)性。抽象論辯框架的變化和論辯語(yǔ)義的變化存在一定的關(guān)系:如果抽象論辯框架發(fā)生變化,那么其語(yǔ)義相應(yīng)也發(fā)生變化;如果主體期望獲得某一語(yǔ)義結(jié)論,那么根據(jù)該結(jié)論的要求,可改變?cè)撧q框架的結(jié)構(gòu)。二者的相互關(guān)系形成了抽象論辯系統(tǒng)動(dòng)態(tài)性的兩個(gè)主要研究方向:動(dòng)態(tài)論辯語(yǔ)義求解（如何依據(jù)論辯框架的變化來(lái)求解語(yǔ)義）和抽象論辯系統(tǒng)修正（如何依據(jù)論... 

【文章來(lái)源】：浙江大學(xué)浙江省 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：150 頁(yè)

【學(xué)位級(jí)別】：博士

【文章目錄】：
致謝
摘要
Abstract
1 引言
    1.1 抽象論辯系統(tǒng)及其動(dòng)態(tài)性概述
        1.1.1 抽象論辯系統(tǒng)
        1.1.2 抽象論辯系統(tǒng)動(dòng)態(tài)性
    1.2 抽象論辯系統(tǒng)動(dòng)態(tài)性研究的主要內(nèi)容
        1.2.1 動(dòng)態(tài)論辯語(yǔ)義求解
        1.2.2 抽象論辯系統(tǒng)修正
    1.3 本文研究的問(wèn)題及分析
        1.3.1 抽象論辯系統(tǒng)修正規(guī)則的實(shí)際意義
        1.3.2 抽象論辯系統(tǒng)修正規(guī)則的理論意義
    1.4 論文結(jié)構(gòu)
2 背景知識(shí)
    2.1 抽象論辯框架和語(yǔ)義
        2.1.1 抽象論辯框架
        2.1.2 論辯語(yǔ)義
        2.1.3 論辯語(yǔ)義的性質(zhì)
    2.2 抽象論辯系統(tǒng)的語(yǔ)義求解
        2.2.1 基于標(biāo)記的語(yǔ)義算法
        2.2.2 基于劃分的語(yǔ)義算法
    2.3 小結(jié)
3 抽象論辯系統(tǒng)動(dòng)態(tài)性
    3.1 抽象論辯系統(tǒng)的動(dòng)態(tài)變化
        3.1.1 AAF的更新
        3.1.2 論辯語(yǔ)義的變化
    3.2 語(yǔ)義基數(shù)變化
        3.2.1 影響語(yǔ)義基數(shù)的因素
        3.2.2 語(yǔ)義擴(kuò)展的條件
        3.2.3 語(yǔ)義擴(kuò)展的判定規(guī)則
    3.3 小結(jié)
4 完全語(yǔ)義單調(diào)性的系統(tǒng)修正規(guī)則
    4.1 完全語(yǔ)義單調(diào)性的條件
    4.2 完全語(yǔ)義單調(diào)性的判定規(guī)則
        4.2.1 寬容語(yǔ)義單調(diào)性的判定規(guī)則
        4.2.2 嚴(yán)格語(yǔ)義單調(diào)性的判定規(guī)則
    4.3 小結(jié)
5 優(yōu)先語(yǔ)義和基語(yǔ)義單調(diào)性的系統(tǒng)修正規(guī)則
    5.1 優(yōu)先語(yǔ)義單調(diào)性
        5.1.1 優(yōu)先語(yǔ)義單調(diào)性的條件
        5.1.2 優(yōu)先語(yǔ)義單調(diào)性的判定規(guī)則
    5.2 基語(yǔ)義單調(diào)性
        5.2.1 基語(yǔ)義單調(diào)性的條件
        5.2.2 基語(yǔ)義單調(diào)性的判定規(guī)則
    5.3 完全語(yǔ)義嚴(yán)格單調(diào)性的判定規(guī)則
    5.4 語(yǔ)義單調(diào)性判定規(guī)則的應(yīng)用
    5.5 小結(jié)
6 強(qiáng)制外延的系統(tǒng)修正規(guī)則
    6.1 AAF的限制
    6.2 AAF的擴(kuò)展
    6.3 小結(jié)
7 結(jié)論
    7.1 研究結(jié)論
    7.2 創(chuàng)新之處
    7.3 研究展望
參考文獻(xiàn)
作者簡(jiǎn)歷



本文編號(hào)：3188497