伊斯兰法理学（Fiqh）的算法及一个判定问题的验证
人工智能
2016-07-05 v1 计算机科学中的逻辑
摘要
算法处理在词源与方法论上的历史背景被转译为数学逻辑与计算机科学的术语。通过向 Fiqh 章节提出示例性问题，我们引入了一种形式逻辑结构以定义一种逻辑查询语言。作为基础，我们设计了一个用于判定 Fiqh 裁决的通用算法，以启用并进一步利用法治（而非以法统治），通过伊斯兰法律的完全透明与完整算法覆盖，最终提供法律安全、法律平等与完全法律问责。这通过解构并恢复经典 Fiqh 方法论（usul al-Fiqh）与一阶逻辑（FOL）子集的表达能力来实现，可持续地以可证伪的理性论证替代临时推理。结果以形式 Fiqh 系统的完备性、可判定性与复杂性的形式术语进行讨论。我们表述并验证了一个针对形式 Fiqh 系统的判定问题（Entscheidungsproblem）。
引用
@article{arxiv.1604.00266,
title = {The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem},
author = {Elnaserledinellah Mahmood Abdelwahab and Karim Daghbouche and Nadra Ahmad Shannan},
journal= {arXiv preprint arXiv:1604.00266},
year = {2016}
}
备注
36 pages, 6 Figures. J.Acad.(N.Y.)4,2:52-87, published May 16 2014