Argument Expression

Argument Expression — 论证表达

将假设转化为结构化学术论证，确保每个论断有证据支撑、逻辑链完整。 立言必立据，立据必立源。言之无文，行而不远。 引经据典，层层递进。不破不立，不证不立。

原理层·文言

立言必立据，立据必立源。 无据之言如无根之木，不推自倒。

三不原则： 不自行发明论据（必须来自EXT/HYP）、不跳步（claim→evidence→inference→conclusion 四步不可缺）、不过度论证（只论证核心假设，不枝蔓）。

三步成文： 一曰结构（Toulmin骨架），二曰修辞（Hyland润色），三曰验证（IMRAD检校）。

Genes (策略基因)

紧凑策略表示。条件→策略。需要深度时参考上方完整文档。

• [AE-001] 构建论证 → Toulmin 骨架: claim→data→warrant→backing→qualifier→rebuttal。四步不可缺: claim→evidence→inference→conclusion
• [AE-002] 论据来源 → 不自行发明论据。必须来自 EXT/HYP。无据之言如无根之木
• [AE-003] 修辞策略 → Hyland 框架选学科适切修辞。CARS 模型建引言叙事。不过度论证(只论证核心假设)
• [AE-004] IMRAD 验证 → Introduction 建空白, Methods 可复现, Results 客观, Discussion 解释+局限。结构完整性检查
• [AE-005] 引用功能 → 标注引文论证角色: motivation/constraint/precedent/contrast。引用功能分类

方法层·白话

论证表达是认知管道第 5 步（ACQ→EXT→ASC→HYP→ARG→VER）。 输入假设（HYP）+ 证据（EXT/ASC），输出结构化论据链 + 论文章节草案。

论证三引擎

触发条件

• HYP 产出可验证假设，需展开为论文论证
• VER 反馈了论证弱点，需补充论据或重新组织
• 用户要求"写论文/写引言/写讨论/构建论证"

Step 1: 整理输入

从上游获取三类输入：

# 从 HYP 获取假设
cat outputs/{session}/hypotheses.json

# 从 EXT 获取证据
cat outputs/{session}/knowledge.json

# 从 ASC 获取关联信息
cat outputs/{session}/associations.json

输入检验清单

• 每个主张有至少1个直接证据引用
• 证据有 provenance（可追溯至原文位置）
• 假设有 falsifiability 标记（是否可以证伪）
• 关联有 confidence 评分

Step 2: Toulmin 论据链

对每个核心主张构建完整的 Toulmin 六要素：

输出格式：

{
  "claim_id": "arg-001",
  "claim": "VOR增益随年龄下降",
  "toulmin": {
    "data": "50名受试者(20-80岁), VOR增益r=-0.45,p<0.01 (Paper_A, Results §3.2)",
    "warrant": "年龄相关的前庭毛细胞丢失影响VOR弧",
    "backing": "Paper_B(2020), Paper_C(2022)独立复现",
    "qualifier": "仅限水平半规管VOR, 角速度<150°/s",
    "rebuttal": "代偿性扫视(compensatory saccade)可掩盖VOR增益测量值"
  },
  "evidence_refs": ["ext/001", "ext/003"],
  "provenance": "HYP-002 → ARG"
}

Step 3: CARS 引言叙事

CARS（Create a Research Space）模型三步：

Move 1: 建立研究领域

• Claim 1A: 该领域的中心地位/重要性（引用1-2篇权威综述）
• Claim 1B: 已有共识（引用该方向的代表性工作）

Move 2: 确立研究缺口

• Claim 2A: 指出尚未解决的问题（引用ASC输出的gap）
• Claim 2B: 继续强调缺口的重要性（说明为什么需要解决）
• Claim 2C: 指出已有方法的局限（引用矛盾类关联）

Move 3: 占据研究空间

• Claim 3A: 介绍本文方法/假设（"我们提出..."）
• Claim 3B: 说明方法的创新点（与已有工作的区别）
• Claim 3C: 预告主要发现和论文结构

Step 4: Hyland 修辞框架

根据目标期刊/学科选择修辞策略：

每个主张必须标注修辞策略，确保学科一致性。

Step 5: 引用功能分类

每篇引文标注在论证中的角色：

输出 references/citation-function-classifier/ 下的完整分类。

Step 6: IMRAD 结构验证

输出 references/imrad-validator/ 下的I MRAD完整性检查报告。

Step 7: 输出交付

工具契约见 tools/output-contract.md（产出清单、格式、错误处理）。

mkdir -p outputs/{session}/
# 论据链JSON
python3 -c "import json; json.dump(arg_chain, open('outputs/{session}/arguments.json','w'), indent=2, ensure_ascii=False)"
# CARS引言草案
cat > outputs/{session}/introduction_draft.md << 'EOF'
... CARS 三步生成的引言 ...
EOF
# IMRAD验证报告
cat > outputs/{session}/imrad_report.md << 'EOF'
... IMRAD各节检查结果 ...
EOF

输入契约

输出契约

{
  "meta": {
    "source_atoms": ["HYP-003", "EXT-001", "ASC-002"],
    "generated_at": "ISO时间戳",
    "mode": "full|intro_only"
  },
  "argument_chain": [
    {
      "claim_id": "arg-001",
      "claim": "...",
      "toulmin": {"data": "...", "warrant": "...", ...},
      "rhetoric_strategy": "data_driven|explanatory|demonstrative",
      "citation_functions": {"ref_doi": "support|contrast|gap|..."},
      "evidence_refs": ["ext/001"]
    }
  ],
  "sections": {
    "introduction": {"cars_moves": ["1A","1B","2A","2B","2C","3A","3B","3C"], "content": "..."},
    "methods": {"content": "..."},
    "results": {"content": "..."},
    "discussion": {"content": "..."}
  },
  "imrad_validation": {
    "passed": true,
    "issues": ["Discussion contains new results (line 47)"],
    "recommendations": ["Move lines 45-50 to Results section"]
  },
  "gaps": [],
  "counterarguments": [
    {"argument": "反驳内容", "response": "回应", "confidence": 0.7}
  ],
  "evidence_chain": [
    {"source_type": "atom_output", "source_ref": "hypothesis-generation", "note": "主张来源"},
    {"source_type": "atom_output", "source_ref": "knowledge-extraction", "note": "证据来源"}
  ]
}

陷阱（Pitfalls）

验证清单

• 每个主张有完整Toulmin六要素（claim/data/warrant/backing/qualifier/rebuttal）
• 所有论据来自上游（EXT/HYP/ASC），无自造
• CARS三步骤在引言中清晰可辨
• 修辞策略全篇一致
• 每篇引文标注了论证功能
• IMRAD各节内容正确（无跨节内容）
• 包含反方观点及回应
• 已保存：arguments.json + introduction_draft.md + imrad_report.md

约束规则 · RULES

• 只论证 HYP 标记 priority=H 的核心假设，不对非核心假设展开完整 Toulmin
• 每个核心主张至少引用 2 篇独立来源，禁止单源依赖
• 全篇统一一种修辞策略（数据驱动/解释式/展示式），不跨段切换
• CARS Move1-3 严格分离，方法细节与结果不得混入引言
• IMRAD 各节内容不得跨界：Results 不含解释，Discussion 不含新结果

边界声明

• 本原子只做论证构建，不做假设生成（那是HYP）
• 不做观点验证（那是VER）
• 不做关联发现（那是ASC）
• 不自动写完整论文——输出是结构化论据链+章节草案，非最终稿件

Golden 集合 · GOLDEN SET

• Golden Input: claims: ["ODE模型可预测瞳孔对光反射动态"], evidence: ["ext/001", "ext/003"], context: {paper_type: "research", journal: "Journal of Neurophysiology"}, mode: "full"
• Golden Output: arguments.json 中 argument_chain[0].toulmin 六要素齐备（claim/data/warrant/backing/qualifier/rebuttal），imrad_validation.passed=true，并落盘 introduction_draft.md + imrad_report.md
• Golden Error: 论证中引用了上游未出现的论据（自造论据）→ IMRAD 校验 issue: "evidence ext/009 not found in upstream EXT/ASC output"，imrad_validation.passed=false 且 argument_chain 拒绝交付

相关文件

• references/toulmin-argument/ — Toulmin论证模型完整参考
• references/rhetoric-framework/ — Hyland学科修辞框架
• references/cars-analysis/ — CARS引言模型
• references/imrad-validator/ — IMRAD结构验证
• references/citation-function-classifier/ — 引用功能分类体系
• references/citation-chain/ — 引文链分析
• references/gap-type-classifier/ — 研究空白分类
• references/kuhn-lakatos/ — Kuhn/Lakatos科学哲学框架
• references/litreview-quality-gate.md — 文献综述质量门
• references/quality-4d-gate/ — 四维质量闸门
• references/BOUNDARY.md — 边界声明
• references/EVIDENCE_SCHEMA.md — 证据链结构
• references/IO_CONTRACT.md — 输入输出契约