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

原文：Al-Ghasali: A Computational Framework for Simulating Islamic Jurisprudential Rulings via Finite State Automata and Large Language Models

本文介绍了 Al Ghasali，一种旨在形式化和模拟伊斯兰法学 (Fiqh) 裁决的计算框架。基于最近的 al sabr wa al Taqsim 的集合理论形式化，将最小的操作规则提取为简单的 Horn 子句逻辑程序，这项工作证明了封闭的 Fiqh 章节的语义完全崩溃为确定性有限状态自动

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。