1、在現(xiàn)實(shí)世界中，人們經(jīng)常需要在信息不一致和不完全的情況下進(jìn)行非單調(diào)推理。經(jīng)典邏輯以及傳統(tǒng)非單調(diào)邏輯在這類(lèi)推理的刻畫(huà)上并不令人滿意，而論辯理論為此提供了新的思路。在論辯理論中，完整的推理過(guò)程被分解為多個(gè)相互沖突的論證，命題的正當(dāng)性既依賴(lài)于論證中的推理也依賴(lài)于論證間的沖突。近二十年來(lái)，得益于Dung所給出的極簡(jiǎn)模型和外延語(yǔ)義，論辯理論在沖突的計(jì)算方面取得了長(zhǎng)足的發(fā)展，但相對(duì)忽略了論證中推理的作用。這既影響了論辯擴(kuò)展模型的構(gòu)建，也限制了論辯理論

2、的應(yīng)用前景，更與邏輯學(xué)漸行漸遠(yuǎn)。論辯的結(jié)構(gòu)化研究通過(guò)分析和刻畫(huà)論證內(nèi)部要素實(shí)現(xiàn)論證沖突的描述，不僅揭示了抽象研究未能涉及的部分論辯基本性質(zhì)，也為論辯理論的現(xiàn)實(shí)應(yīng)用搭建了橋梁，并確立了邏輯在論辯研究中的基礎(chǔ)作用，其相應(yīng)模型被稱(chēng)為結(jié)構(gòu)化論辯系統(tǒng)。相對(duì)于目前已有典型系統(tǒng)的高效計(jì)算或抽象傾向，本文所構(gòu)建的可廢止邏輯論辯系統(tǒng)(DLA)更關(guān)注如何自然地刻畫(huà)現(xiàn)實(shí)推理。全文一共分為六章，具體如下:
　　第一章首先從邏輯學(xué)視角回顧了論辯研究的歷史，

3、然后介紹了論辯研究領(lǐng)域的發(fā)展現(xiàn)狀，并結(jié)合兩者梳理出一條“邏輯與論辯混合—邏輯研究剝離論辯—論辯引入邏輯研究—論辯研究剝離邏輯—邏輯引入論辯研究”的歷史脈絡(luò)，指出論辯的結(jié)構(gòu)化研究代表著“邏輯引入論辯研究”的新趨勢(shì)，最后給出本文的選題意義和架構(gòu)。
　　第二章重點(diǎn)介紹了現(xiàn)有的形式論辯模型，包括抽象論辯框架和結(jié)構(gòu)化論辯系統(tǒng)。通過(guò)對(duì)各個(gè)模型的述評(píng)，我們考察了系統(tǒng)構(gòu)建的各個(gè)要素，包括語(yǔ)言選擇、論證構(gòu)造、沖突定義、擊敗評(píng)估等，為新系統(tǒng)構(gòu)造做理論

4、上的鋪墊。
　　第三章構(gòu)建了基于可廢止邏輯的結(jié)構(gòu)化論辯模型DLA，主要分為基本設(shè)定、計(jì)算機(jī)制和系統(tǒng)性質(zhì)三個(gè)部分。在基本設(shè)定中我們嚴(yán)格定義了DLA的可廢止邏輯語(yǔ)義和語(yǔ)法，并在其基礎(chǔ)上定義論證的結(jié)構(gòu)、攻擊和擊敗。在計(jì)算機(jī)制中，我們?cè)贒ung的論辯框架中定義論證狀態(tài)計(jì)算，并借用框架劃分理論提高計(jì)算性。在系統(tǒng)性質(zhì)中，我們探討了DLA邏輯語(yǔ)言的認(rèn)識(shí)論，并從理性公設(shè)角度對(duì)系統(tǒng)的元性質(zhì)做出檢驗(yàn)。
　　第四章通過(guò)實(shí)際案例考察DLA的刻畫(huà)表達(dá)