AI导哈

结构化论证服务器

该服务提供了一个形式化的辩证框架，帮助模型系统地发展、批评和综合论点，适用于复杂伦理问题分析、政策评估和科学假设评估等场景。

  • by waldzellai
  • JavaScript
  • 本地部署
  • 78 星标
  • 更新于
在 GitHub 查看 waldzellai/model-enhancement-servers

使用说明

结构化论证MCP服务器

动机

现代法学硕士难以严格评估相互竞争的想法，特别是在涉及复杂的权衡、多个利益相关者或价值紧张的情况下。虽然模型可以在两个方向上生成参数，但它们通常：

  1. 未能彻底探讨他们最初支持的立场的反驳意见
  2. 努力在不同论点中保持一致的评估标准
  3. 在没有充分考虑替代方案的情况下，过早地达成一致立场
  4. 以不明确的方式将描述性声明与规范性判断混合在一起
  5. 在复杂、多步骤的论证中迷失关键点

结构化论证服务器通过提供一个形式化的辩证框架来解决这些局限性，模型可以使用该框架系统地开发、批判和综合论证。通过将论证过程外部化，模型可以进行更严格、透明和平衡的推理。

技术规范

工具接口

interface ArgumentData {
  // Core argument components
  claim: string;
  premises: string[];
  conclusion: string;
  
  // Argument metadata
  argumentId: string;
  argumentType: "thesis" | "antithesis" | "synthesis" | "objection" | "rebuttal";
  confidence: number; // 0.0-1.0
  
  // Relationship to other arguments
  respondsTo?: string; // ID of argument this responds to
  supports?: string[]; // IDs of arguments this supports
  contradicts?: string[]; // IDs of arguments this contradicts
  
  // Evaluation
  strengths?: string[];
  weaknesses?: string[];
  
  // Next steps
  nextArgumentNeeded: boolean;
  suggestedNextTypes?: ("objection" | "rebuttal" | "synthesis")[];
}

工艺流程

sequenceDiagram
    participant Model
    participant ArgServer
    participant Memory
    
    Model->>ArgServer: Submit thesis argument
    ArgServer->>Memory: Store thesis
    ArgServer-->>Model: Return argument graph state
    
    Model->>ArgServer: Submit antithesis argument (respondsTo=thesis)
    ArgServer->>Memory: Store antithesis with relationship
    ArgServer-->>Model: Return updated argument graph
    
    Model->>ArgServer: Submit objection to thesis (argumentType=objection)
    ArgServer->>Memory: Store objection with relationship
    ArgServer-->>Model: Return updated argument graph
    
    Model->>ArgServer: Submit rebuttal to objection
    ArgServer->>Memory: Store rebuttal with relationship
    ArgServer-->>Model: Return updated argument graph
    
    Model->>ArgServer: Submit synthesis (synthesizes thesis+antithesis)
    ArgServer->>Memory: Store synthesis with relationships
    ArgServer-->>Model: Return final argument graph

主要特点

1.明确的论证结构

参数必须分解为离散的组件：

  • 索赔：正在争论的中心命题
  • 场所：支持性证据或假设
  • 结论：接受索赔的逻辑后果

2.辩证发展

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

  • 论文：初始论点
  • 对立：反驳
  • 合成：命题与对偶的解决
  • 反对意见：对特定前提或推理的挑战
  • 反驳：对反对意见的回应

3.关系跟踪

参数显式连接以显示：

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

4.论证评估

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

  • 优势：特别引人注目的方面
  • 弱点：脆弱的假设或逻辑
  • 自信：模型对论证有效性的估计

5.视觉表现

服务器输出参数结构的格式化、颜色编码表示，使辩证过程在视觉上可跟踪。

使用示例

伦理困境分析

对于复杂的伦理问题，该模型可以进行全面的正反分析，包括多层次的反对和反驳。

政策评估

在评估政策选择时，该模型可以系统地探索不同利益相关者的优缺点，解释反对意见，并得出微妙的结论。

科学假设评价

为了评估相互竞争的科学解释，该模型可以绘制出支持每种理论的证据，并有条不紊地解决反驳意见。

实施

服务器使用TypeScript实现：

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

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

工具

结构化论证

为严谨的推理提供详细、辩证的论证过程。

配置

使用Claude Desktop

将此添加到您的 claude_desktop_config.json:

新巴拿马型船舶

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

码头工人

{
  "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许可证获得许可。

相关 MCP