The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem

03/10/2016
by   Elnaserledinellah Mahmood Abdelwahab, et al.
0

The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic structure is introduced by exemplaryquestions posed to Fiqh-chapters to define alogic query language. As a foundation, ageneric algorithm for deciding Fiqh-rulings is designed to enable and further leverage rule of law (vs. rule by law) with full transparency and complete algorithmic coverage of Islamic law eventually providing legal security, legal equality, and full legal accountability.This is implemented by disentangling and reinstating classic Fiqh-methodology (usul al-Fiqh) with the expressive power of subsets of First Order Logic (FOL)sustainably substituting ad hoc reasoning with falsifiable rational argumentation. The results are discussed in formal terms of completeness, decidability and complexity of formal Fiqh-systems. AnEntscheidungsproblem for formal Fiqh-Systems is formulated and validated.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/05/2014

Rule reasoning for legal norm validation of FSTP facts

Non-obviousness or inventive step is a general requirement for patentabi...
10/09/2021

Dynamic Logic of Legal Competences

We propose a new formalization of legal competences, and in particular f...
10/29/2019

Computer Assisted Access to Justice via Formal Jurisprudence Modeling

This paper discusses an internet-based system for enabling people to sel...
09/13/2020

Deconstructing Legal Text_Object Oriented Design in Legal Adjudication

Rules are pervasive in the law. In the context of computer engineering, ...
06/23/2020

Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic

Enabling machines to legal balancing is a non-trivial task challenged by...
09/14/2020

Knowledge-Based Legal Document Assembly

This paper proposes a knowledge-based legal document assembly method tha...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.