Al-Ghasali：通过有限状态自动机和大型语言模型模拟伊斯兰法理裁决的计算框架

发生了什么

本文介绍了Al Ghasali，这是一个旨在形式化和模拟伊斯兰法理（法克）裁决的计算框架。在基于最近关于al sabr wa al Taqsim的集合论形式化的基础上，该工作提取了最小操作规则作为简单的Horn子句逻辑程序。

下一步怎么做

保存这条信号，打开原始来源核验关键细节；如果它与你当前项目相关，再和同主题的相关信号一起判断趋势是否持续。