用集合论方法自动提取伊斯兰法中的法律原因，提升判例推理的准确性。
Computational Extraction of Legal Causes via al-Sabr wa al-Taqsim: A Set-Theoretic Formalization for Closed Fiqh Chapters
- 基于集合论建模经典法学分析法，将判例归纳为最小规则集。
- 在完整判例表条件下，可消除逻辑冗余属性，生成最小结构生成元。
- 适用于有明确术语体系和完整判例数据的封闭教法学章节研究。
本文提出一种集合论形式化方法，用于在封闭教法学章节中提取法律原因（'ilal）。通过引入计算算法，从法学家判决的真值表中提取最小操作规则。核心成果是：在给定完整真值表的前提下，该算法能计算出裁决的最小结构生成元，并剔除所有逻辑冗余属性。所得结构可作为后续法学评估的合法候选原因。该框架依赖于有限的学派内概念词汇库以及所研究章节的完整裁决表。
原文摘要 · Abstract (English)
This paper presents a set-theoretic formalization of the classical usuli method of al-Sabr wa al-Taqsim (Examination and Division) for extracting legal causes ('ilal) within closed chapters of jurisprudence. A computational algorithm is introduced that extracts minimal operational rules from a truth table of juristic verdicts. The principal result is that, given a complete truth table for a closed chapter, the algorithm computes the minimal structural generators of the ruling and eliminates all logically redundant attributes. The resulting structures constitute admissible candidate causes for subsequent juristic evaluation. The framework is conditional upon the availability of a finite school-relative concept vocabulary and a complete ruling table for the chapter under investigation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。