概要: イスラーム相続（イルム・アル＝マワーリース）は、適格な相続人の特定、遮断規則（ハジュブ）の解決、確定分と残余分の割当て、アウルやラッドといった調整の取扱い、そして整合的な最終分配の生成を必要とする、多段階の法的推論タスクである。このタスクは、法学派間および成文法の法典化における相違によってさらに複雑になり、モデルが明示的な法的構成のもとで動作する必要がある。
本研究では、この設定に対する検索拡張生成（RAG）パイプラインを提示する。すなわち、規則に根ざした合成データ生成、クロスエンコーダによる再ランキングを伴うハイブリッド検索（dense と BM25）、およびスキーマに制約された出力検証を組み合わせる。象徴的な相続計算機を用いて、大規模で高品質な合成コーパスを生成する。そこには、完全な中間推論の痕跡が含まれており、法的整合性および数値整合性を保証する。
提案システムは MIR-E スコア 0.935 を達成し、公式の QIAS 2026 ブラインドテストのリーダーボードで第1位にランクインした。結果は、検索に根ざした、スキーマに配慮した生成が、高精度なアラビア語の法的推論タスクにおける信頼性を大きく向上させることを示している。
QIAS 2026におけるCVPD：Al-Mawarith共有計算とヘir配分のためのRAG誘導型LLM推論
arXiv cs.CL / 2026/3/26
📰 ニュースSignals & Early TrendsIdeas & Deep AnalysisModels & Research
要点
- 本論文は、イスラム相続（Ilm al-Mawarith）における法的推論向けに最適化された、検索拡張生成（RAG）パイプラインを提案する。これには、遮断（blocking）ルールの扱いや、法学派・法典（codification）をまたいだ持分調整が含まれる。
- 合成データ生成と明示的な法的設定を組み合わせ、ハイブリッド検索（dense + BM25）とクロスエンコーダによる再ランキング、さらにスキーマに制約された出力検証を用いることで、結果を法的・数値的に一貫したものに保つ。
- 記号的な相続計算機（symbolic inheritance calculator）を用いて、大規模な合成コーパスを生成し、中間の推論トレースも取得する。これにより、多段階タスクにおける学習・評価の忠実性が向上する。
- 本システムは、MIR-Eスコア0.935を達成し、公式のQIAS 2026ブラインドテストのリーダーボードで首位に立ったと報告されている。これは、高精度なアラビア語の法的推論に対する強い信頼性を示す。
- 研究は、検索に裏付けられ、スキーマを意識した生成が、構造化されルールが多いアラビア語の法的推論において性能を大きく改善できると結論づける。
