结构化论证MCP服务器

动机

现代大型语言模型在严格评估竞争观点时遇到困难，特别是在涉及复杂权衡、多个利益相关者或价值冲突的情况下。虽然模型可以生成正反两方面的论据，但它们通常会：

1. 无法彻底探索其最初支持的观点的反面论据。
2. 在不同论据之间难以保持一致的评估标准。
3. 在没有充分考虑替代方案的情况下过早地收敛到一个立场。
4. 以不明确的方式混合描述性声明与规范性判断。
5. 在复杂的多步骤论证中丢失关键点。

结构化论证服务器通过提供一种形式化的辩证框架来解决这些限制，该框架使模型能够系统地发展、批评和综合论据。通过外部化论证过程，模型可以进行更严谨、透明和平衡的推理。

技术规格

工具接口

interface ArgumentData {
  // 论证的核心组成部分
  claim: string;
  premises: string[];
  conclusion: string;
  
  // 论证元数据
  argumentId: string;
  argumentType: "thesis" | "antithesis" | "synthesis" | "objection" | "rebuttal";
  confidence: number; // 0.0-1.0
  
  // 与其他论证的关系
  respondsTo?: string; // 回应的论证ID
  supports?: string[]; // 支持的论证ID
  contradicts?: string[]; // 矛盾的论证ID
  
  // 评估
  strengths?: string[];
  weaknesses?: string[];
  
  // 下一步
  nextArgumentNeeded: boolean;
  suggestedNextTypes?: ("objection" | "rebuttal" | "synthesis")[];
}

过程流程

sequenceDiagram
    participant Model
    participant ArgServer
    participant Memory
    
    Model->>ArgServer: 提交论题论证
    ArgServer->>Memory: 存储论题
    ArgServer-->>Model: 返回论证图状态
    
    Model->>ArgServer: 提交反论题论证（回应论题）
    ArgServer->>Memory: 存储反论题及其关系
    ArgServer-->>Model: 返回更新后的论证图
    
    Model->>ArgServer: 提出对论题的异议（论证类型为异议）
    ArgServer->>Memory: 存储异议及其关系
    ArgServer-->>Model: 返回更新后的论证图
    
    Model->>ArgServer: 提交对异议的反驳
    ArgServer->>Memory: 存储反驳及其关系
    ArgServer-->>Model: 返回更新后的论证图
    
    Model->>ArgServer: 提交综合论证（综合论题和反论题）
    ArgServer->>Memory: 存储综合论证及其关系
    ArgServer-->>Model: 返回最终论证图

关键特性

1. 明确的论证结构

论证必须分解成离散的组成部分：

• 主张：被论证的核心命题
• 前提：支持证据或假设
• 结论：接受主张后的逻辑结果

2. 辩证进程

服务器强制执行辩证结构：

• 论题：初始论证
• 反论题：反论证
• 综合：论题和反论题的解决方案
• 异议：针对特定前提或推理的挑战
• 反驳：对异议的回应

3. 关系追踪

论证明确连接以显示：

• 哪些论证支持其他论证
• 哪些论证与其它论证相矛盾
• 哪些论证综合了其他论证

4. 论证评估

每个论证可以通过以下方式进行评估：

• 优点：特别有说服力的方面
• 缺点：脆弱的假设或逻辑
• 信心：模型对论证有效性的估计

5. 视觉表示

服务器输出格式化、彩色编码的论证结构表示，使辩证过程可视化可跟踪。

使用示例

道德困境分析

对于复杂的道德问题，模型可以开发全面的正反分析，包括多层次的异议和反驳。

政策评估

在评估政策选项时，模型可以系统地探索不同利益相关者的利弊，考虑异议，并得出细致的结论。

科学假设评估

对于评估竞争的科学解释，模型可以绘制支持每种理论的证据，并系统地应对反论证。

实现

服务器使用TypeScript实现：

• 核心ArgumentationServer类
• 使用JSON模式验证论证结构
• 使用图形数据结构进行关系追踪
• 使用ANSI颜色代码或ASCII图表进行可视化
• 通过stdin/stdout的标准MCP服务器连接

此服务器显著增强了模型处理需要仔细权衡竞争因素的复杂推理任务的能力。

工具

structuredArgumentation

促进详细的辩证论证过程，以进行严格的推理。

配置

与Claude Desktop一起使用

在您的claude_desktop_config.json中添加以下内容：

npx

{
  "mcpServers": {
    "structured-argumentation": {
      "command": "npx",
      "args": [
        "-y",
        "@waldzellai/structured-argumentation"
      ]
    }
  }
}

docker

{
  "mcpServers": {
    "structured-argumentation": {
      "command": "docker",
      "args": [
        "run",
        "--rm",
        "-i",
        "waldzellai/structured-argumentation"
      ]
    }
  }
}

构建

Docker：

docker build -t cognitive-enhancement-mcp/structured-argumentation -f packages/structured-argumentation/Dockerfile .

许可

此MCP服务器根据MIT许可发布。