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

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

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

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

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



本文編號：3188497