MCP 服务器逻辑求解器
概述
MCP 服务器逻辑求解器是一个用于处理一阶逻辑（First-Order Logic）问题的强大工具。它结合了自然语言理解和形式化逻辑推理，能够对给定的前提和结论进行验证，并返回“True”、“False”或“Uncertain”的结果。
一阶逻辑输入要求
为了确保输入的一致性和正确性，MCP 服务器需要遵循以下格式规范：
-
前提与结论：
- 自然语言形式：用简洁明了的中文描述。
- 一阶逻辑形式：使用标准的符号和术语，如∀、∃、¬、∧、∨等。
-
符号转换规则：
- ∀ → all
- ∃ → exists
- ¬ → not
- ∧ → and
- ∨ → or
-
输入示例：
[
{
"前提": "所有人类都是会死的",
"前提-FOL": "∀x（Human(x) → Mortal(x))",
"结论": "苏格拉底是人类，因此他会死",
"结论-FOL": "Human(Socrates) ∧ Mortal(Socrates)"
}
]
关键组件
1. 逻辑求解器（Logical Solver）
- 功能：负责解析和验证一阶逻辑表达式。
- 输入：自然语言描述和对应的一阶逻辑表达式。
- 输出：布尔结果（True/False/Uncertain）及详细解释。
2. 模板文件（Templates）
3. 解析器（Parser）
- 功能：将自然语言转换为一阶逻辑表达式。
- 支持的语言：中文、英文。
先决条件
-
安装 MCP-Logic 服务器
-
配置 API 接口
-
准备输入数据
安装与配置
1. 环境变量配置
创建一个 .env 文件，内容如下：
DEBUG=False
API_KEY=your_api_key_here
2. MCP 配置文件（mcp_config.json）
修改示例文件 mcp_config_example.json 为实际使用的 mcp_config.json：
{
"mcpServers": {
"mcp-logic": {
"command": "uv",
"args": [
"--directory",
"/path/to/mcp-logic/src/mcp_logic",
"run",
"mcp_logic",
"--prover-path",
"/path/to/mcp-logic/ladr/bin"
]
}
}
}
运行项目
1. 单例运行
在终端中执行：
python test.py
输出结果将保存为 output.json。
2. 批处理
使用以下命令进行批量处理：
python main.py input.json output.json
输入格式说明：
[
{
"前提": "自然语言描述...",
"前提-FOL": "一阶逻辑表达式...",
"结论": "目标结论...",
"结论-FOL": "对应的一阶逻辑形式..."
}
]
输出格式
生成的输出文件将包含以下字段：
{
"前提": "原始自然语言描述",
"前提-FOL": "处理后的一阶逻辑表达式",
"结论": "目标结论",
"结论-FOL": "对应的一阶逻辑形式",
"答案": "True/False/Uncertain",
"解释": "详细推理过程",
"工具调用": "True/False"
}
故障排除
1. MCP 服务器连接问题
- 确认服务器正在运行。
- 检查端口配置是否正确。
- 查看网络连接状态。
2. 输入数据错误
通过以上步骤，您可以高效地使用 MCP 服务器逻辑求解器来解决各种复杂的问题。
