Chapter 16 Arguing
从攻击图的可接受性到带偏好、价值、演绎论证与对话协议的决策。
学习目标
- 能在攻击图中计算可接受论据集
- 能引入偏好与价值解决对称攻击
- 能设计论证对话协议
为什么必须先冻结联合模型
先预测：两个论据互相攻击时，还有理性结论吗？带着判断进入本页。
从攻击图的可接受性到带偏好、价值、演绎论证与对话协议的决策。 抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。 本页不以单个代理“看起来聪明”为通过条件，而是检查联合状态、偏离动机、失败传播和可重放证据。
直觉、对象与计算合同
贯穿场景是：围绕资源分配建立四个论证的攻击图并比较 preferred extensions。参与者、可观察信息、行动集、偏好或目标、环境转移、协议版本和终止条件必须在运行前固定，不能在看到结果后修改效用或阈值。
公式用于公开关系与前提，不替代正式证明或实证测量。形式可接受不等于事实正确，前提来源和领域验证仍需独立检查。 本页重点防范：把图上没有入边的论证直接判真，忽略语义与证据内容。
前提支持结论：规则与例外的组合，比纯粹命题更接近人类推理。
正式目录节点：解释与联合验证
下列目录节点逐项映射到解释、页面专属实验和章末答案。每个节点都必须指出它改变哪个联合状态以及什么观测会推翻结论；单纯出现术语不计覆盖。
Chapter 16 Arguing
“Chapter 16 Arguing”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查论证类型；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.1 Types of Argument
“16.1 Types of Argument”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查攻击图；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.2 Abstract Argumentation
“16.2 Abstract Argumentation”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查preferred扩展；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.2.1 Preferred Extensions
“16.2.1 Preferred Extensions”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查价值偏好；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.2.2 Credulous and Sceptical Acceptance
“16.2.2 Credulous and Sceptical Acceptance”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查对话系统；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.2.3 Preferences in Abstract Argument Systems
“16.2.3 Preferences in Abstract Argument Systems”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查论证类型；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.2.4 Values in Abstract Argument Systems
“16.2.4 Values in Abstract Argument Systems”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查攻击图；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.3 Deductive Argumentation Systems
“16.3 Deductive Argumentation Systems”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查preferred扩展；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.4 Dialogue Systems
“16.4 Dialogue Systems”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查价值偏好；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
16.5 Implemented Argumentation Systems
“16.5 Implemented Argumentation Systems”从攻击关系计算可接受性，形式扩展与论证前提的事实可信度应分层记录。 在“抽象论证只保留论证及攻击关系，再用语义计算可接受集合；偏好和值改变攻击胜负，对话系统还约束谁能在何时提出何种移动。”这条联合因果链中，本节点重点检查对话系统；只改变一个条件并保存联合轨迹，若出现“把图上没有入边的论证直接判真，忽略语义与证据内容”，就在首个分叉停止。
常见误区
术语
小结
- 抽象论证只保留论证及攻击关系
- 用语义计算可接受集合与preferred扩展
- 偏好和价值改变攻击胜负
- 演绎论证系统将前提与结论显式化
- 对话系统约束谁能在何时提出何种移动
容易踩的坑
误区 1
现象 → 把论证当形式逻辑 原因 → 忽略可废止性 修法 → 用攻击关系建模例外
误区 2
现象 → 循环攻击无优先级 原因 → 对称导致无结论 修法 → 引入论据强度打破对称
误区 3
现象 → 对话无协议约束 原因 → 论证变成吵架 修法 → 定义对话协议与移动规则
练习与答案
前后导航
练习
练习
问题 1： Dung 框架中可接受集的含义？
问题 2： 循环攻击如何打破？
问题 3： 构造一个四论据攻击图并求优先可接受集。（独立实现）