arXiv cs.AIElnaserledinellah Mahmoud Abdelwahab
论文
Al-Ghasali: A Computational Framework for Simulating Islamic Jurisprudential Rulings via Finite State Automata and Large Language Models
AI 摘要
研究者提出名为 Al-Ghasali 的计算框架，用有限状态自动机（FSA，一种按固定规则逐步转换状态的模型）形式化伊斯兰教法（Fiqh）裁决，并证明封闭教法章节的语义可完全归约为确定性 FSA，离线编译后裁决提取为常数时间 O(1)。框架让确定性 FSA 严格控制大语言模型生成人类可读的教法摘要，并采用语法引导的约束解码，数学上证明可消除决策幻觉、教法事实幻觉与语义倒置。
简评
这条研究把宗教律法的推理拆成可验证的状态机，再让大模型只负责把结论转成自然语言，从结构上堵住编造空间。对从业者，它示范了「规则引擎管对错、模型管表达」的分工；对普通用户，未来查询教法或类似合规问题时，答案可能更可追溯、更少胡编。
- 教法形式化
- 有限状态机
- 幻觉抑制
- 大模型
本站只提供模型生成的摘要，不转载原文。 完整内容请前往原始出处阅读。
阅读原文 ↗