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

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

【文章頁數】：150 頁

【學位級別】：博士

【文章目錄】：
致謝
摘要
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)性研究的主要內容
        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 論文結構
2 背景知識
    2.1 抽象論辯框架和語義
        2.1.1 抽象論辯框架
        2.1.2 論辯語義
        2.1.3 論辯語義的性質
    2.2 抽象論辯系統(tǒng)的語義求解
        2.2.1 基于標記的語義算法
        2.2.2 基于劃分的語義算法
    2.3 小結
3 抽象論辯系統(tǒng)動態(tài)性
    3.1 抽象論辯系統(tǒng)的動態(tài)變化
        3.1.1 AAF的更新
        3.1.2 論辯語義的變化
    3.2 語義基數變化
        3.2.1 影響語義基數的因素
        3.2.2 語義擴展的條件
        3.2.3 語義擴展的判定規(guī)則
    3.3 小結
4 完全語義單調性的系統(tǒng)修正規(guī)則
    4.1 完全語義單調性的條件
    4.2 完全語義單調性的判定規(guī)則
        4.2.1 寬容語義單調性的判定規(guī)則
        4.2.2 嚴格語義單調性的判定規(guī)則
    4.3 小結
5 優(yōu)先語義和基語義單調性的系統(tǒng)修正規(guī)則
    5.1 優(yōu)先語義單調性
        5.1.1 優(yōu)先語義單調性的條件
        5.1.2 優(yōu)先語義單調性的判定規(guī)則
    5.2 基語義單調性
        5.2.1 基語義單調性的條件
        5.2.2 基語義單調性的判定規(guī)則
    5.3 完全語義嚴格單調性的判定規(guī)則
    5.4 語義單調性判定規(guī)則的應用
    5.5 小結
6 強制外延的系統(tǒng)修正規(guī)則
    6.1 AAF的限制
    6.2 AAF的擴展
    6.3 小結
7 結論
    7.1 研究結論
    7.2 創(chuàng)新之處
    7.3 研究展望
參考文獻
作者簡歷



本文編號：3188497