AI 形式化伊斯兰法学提取方法

本文介绍了一种从法学中提取法律原因的计算方法，该方法采用了 al-Sabr wa al-Taqsim 技术的一种集合论形式化。所提出的算法从法学家判决真值表中生成最小的操作规则，识别基本属性并消除冗余。该框架旨在为进一步的法学分析提供可接受的候选原因，前提是存在有限的概念词汇表和完整的规则表。 AI

影响 这项研究可能能够为专业领域的法律推理提供更系统和计算化的方法。

排序理由 学术论文，详细介绍了提取法律原因的新型计算方法。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• alphaXiv
• al-Sabr wa al-Taqsim
• arXiv
• CatalyzeX Code Finder for Papers
• Connected Papers
• CORE Recommender
• DagsHub
• Gotit.pub
• Hugging Face
• Influence Flower
• Litmaps
• ScienceCast
• scite Smart Citations

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →