论辩的结构化研究--基于可废止逻辑的论辩系统
| 致谢 | 第5-7页 |
| 摘要 | 第7-9页 |
| Abstract | 第9-10页 |
| 1 绪论 | 第15-30页 |
| 1.1 论辩研究与逻辑学 | 第15-22页 |
| 1.2 国内外研究现状 | 第22-28页 |
| 1.2.1 国外研究现状 | 第23-25页 |
| 1.2.2 国内研究现状 | 第25-28页 |
| 1.3 选题意义和论文安排 | 第28-30页 |
| 2 形式论辩模型 | 第30-54页 |
| 2.1 抽象论辩模型 | 第30-38页 |
| 2.1.1 论辩框架基本概念 | 第31-32页 |
| 2.1.2 抽象论辩框架的语义 | 第32-38页 |
| 2.2 结构化论辩模型 | 第38-52页 |
| 2.2.1 经典逻辑论辩系统 | 第38-42页 |
| 2.2.2 可废止的逻辑编程系统 | 第42-47页 |
| 2.2.3 集成式论辩服务平台 | 第47-52页 |
| 2.3 本章小结 | 第52-54页 |
| 3 基于可废止逻辑的论辩系统 | 第54-86页 |
| 3.1 DLA的基本设定 | 第55-74页 |
| 3.1.1 DLA的逻辑语言 | 第55-64页 |
| 3.1.2 DIA的论证结构 | 第64-69页 |
| 3.1.3 DLA中的攻击与击败 | 第69-74页 |
| 3.2 DLA的计算机制 | 第74-79页 |
| 3.2.1 DLA的Dung-style论辩语义 | 第74-76页 |
| 3.2.2 DLA的语义计算 | 第76-79页 |
| 3.3 DLA的系统性质 | 第79-85页 |
| 3.3.1 DLA的认识论立场 | 第79-82页 |
| 3.3.2 DLA的理性公设 | 第82-85页 |
| 3.4 本章小结 | 第85-86页 |
| 4 基于DLA的案例分析 | 第86-114页 |
| 4.1 理想论辩模式下的实例分析 | 第86-107页 |
| 4.1.1 法律论辩中的实例分析 | 第86-100页 |
| 4.1.2 辩论赛中的实例分析 | 第100-107页 |
| 4.2 "助产术"式论辩 | 第107-113页 |
| 4.3 本章小结 | 第113-114页 |
| 5 结构化论辩系统对比 | 第114-128页 |
| 5.1 基本设定的比较 | 第114-122页 |
| 5.1.1 论证构造的区别 | 第114-119页 |
| 5.1.2 冲突表达的差异 | 第119-122页 |
| 5.2 论辩语义的对比 | 第122-127页 |
| 5.3 本章小结 | 第127-128页 |
| 6 结语 | 第128-131页 |
| 6.1 研究结论 | 第128-129页 |
| 6.2 创新点 | 第129-130页 |
| 6.3 不足与展望 | 第130-131页 |
| 参考文献 | 第131-138页 |
| 作者简历 | 第138页 |
