論辯的結構化研究：基于可廢止邏輯的論辯系統(tǒng).pdf

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

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

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

4、上的鋪墊。
　　第三章構建了基于可廢止邏輯的結構化論辯模型DLA，主要分為基本設定、計算機制和系統(tǒng)性質三個部分。在基本設定中我們嚴格定義了DLA的可廢止邏輯語義和語法，并在其基礎上定義論證的結構、攻擊和擊敗。在計算機制中，我們在Dung的論辯框架中定義論證狀態(tài)計算，并借用框架劃分理論提高計算性。在系統(tǒng)性質中，我們探討了DLA邏輯語言的認識論，并從理性公設角度對系統(tǒng)的元性質做出檢驗。
　　第四章通過實際案例考察DLA的刻畫表達