MCP Server Logical Solver

🚀 MCP サーバー論理ソルバー

MCP サーバー論理ソルバーは、一階論理（First-Order Logic）の問題を処理する強力なツールです。自然言語理解と形式的な論理推論を組み合わせ、与えられた前提と結論を検証し、「True」「False」「Uncertain」の結果を返します。

🚀 クイックスタート

MCP サーバー論理ソルバーを使うには、以下の手順に従ってください。

前提条件

1. MCP-Logic サーバーのインストール
   • ソースコードをダウンロードしてコンパイルします。
   • 実行環境変数を設定します。
2. API インターフェースの設定
   • API アクセスキーを設定します。
   • 接続テストを行います。
3. 入力データの準備
   • 形式の正しさを確認します。
   • 構文と意味のチェックを行います。

インストールと設定

環境変数の設定

.env ファイルを作成し、以下の内容を記述します。

DEBUG=False
API_KEY=your_api_key_here

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"
      ]
    }
  }
}

プロジェクトの実行

単一実行

ターミナルで以下のコマンドを実行します。

python test.py

出力結果は output.json として保存されます。

バッチ処理

以下のコマンドを使用してバッチ処理を行います。

python main.py input.json output.json

入力形式の説明：

[
  {
    "前提": "自然言語の説明...",
    "前提-FOL": "一階論理式...",
    "結論": "目標の結論...",
    "結論-FOL": "対応する一階論理形式..."
  }
]

✨ 主な機能

一階論理入力要件

入力の一貫性と正確性を確保するため、MCP サーバーは以下の形式規則に従う必要があります。

1. 前提と結論：
   • 自然言語形式：簡潔で明確な中国語で記述します。
   • 一階論理形式：∀、∃、¬、∧、∨などの標準的な記号と用語を使用します。
2. 記号変換規則：
   • ∀ → all
   • ∃ → exists
   • ¬ → not
   • ∧ → and
   • ∨ → or
3. 入力例：

[
  {
    "前提": "すべての人間は死ぬ",
    "前提-FOL": "∀x（Human(x) → Mortal(x))",
    "結論": "ソクラテスは人間であるため、彼は死ぬ",
    "結論-FOL": "Human(Socrates) ∧ Mortal(Socrates)"
  }
]

主要コンポーネント

1. 論理ソルバー（Logical Solver）

• 機能：一階論理式の解析と検証を担当します。
• 入力：自然言語の説明と対応する一階論理式。
• 出力：ブール結果（True/False/Uncertain）と詳細な説明。

2. テンプレートファイル（Templates）

• 役割：インターフェース規格と相互作用プロトコルを定義します。
• 内容：
  • 入力データ形式
  • 出力データ構造
  • エラー処理メカニズム

3. パーサー（Parser）

• 機能：自然言語を一階論理式に変換します。
• サポート言語：中国語、英語。

🔧 技術詳細

出力形式

生成される出力ファイルには以下のフィールドが含まれます。

{
    "前提": "元の自然言語の説明",
    "前提-FOL": "処理後の一階論理式",
    "結論": "目標の結論",
    "結論-FOL": "対応する一階論理形式",
    "答え": "True/False/Uncertain",
    "説明": "詳細な推論過程",
    "ツール呼び出し": "True/False"
}

トラブルシューティング

1. MCP サーバー接続問題

• サーバーが実行中であることを確認します。
• ポート設定が正しいことを確認します。
• ネットワーク接続状態を確認します。

2. 入力データエラー

• 形式規則を確認します。
• 構文チェックを行います。
• 内容の一貫性を確保します。

以上の手順に従うことで、MCP サーバー論理ソルバーを効率的に使用して、様々な複雑な問題を解決することができます。