Algorithms and Fiqh a 36 page pdf of mind bogling reading.
I won't say that I agree with everything written in thsi PDF, but it is very interesting.
What is the next stage if Algorithms can be or are used to move forward? Well Artificial Inteligence! Can an AI Mufti really be reallity (wait for the next post)
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem
arxiv.org/ftp/arxiv/papers/1604/1604.00266.pdf
The most importantproposition underlying the Algorithm ofIslamic Jurisprudence consists of onesingle statement:
There exits a complete legislation.
An example of Wudhu taken from the PDF.
Based on the principle of compoundquestions, the general wudu-algorithmshown in below was also realized. Asthe main difference between the twoflavours (simple and compound) is thefact that sequences of actions have to betaken into account in the latter case, thealgorithm was realized in form of a finite state automaton. Finite stateautomata have exactly the requiredexpressive power to model sequences ofFiqh-related actions/events.As illustrated in, this algorithmtakes into account the following sixobligatory actions to be performed inorder to reach a valid state of Tahara(Shafi'i):
• Correct intention assertion
• Washing the face
• Washing the arms up to the elbows (image incorrectly labelled)
• Wiping parts of the head
• Washing the feet including the heels up to the ankles
• Doing all this in the above given sequence
As preserving the order of one’s actionsis required by the Shafi'i-school, the realized automaton is a deterministicone. The UI provides action buttonsfor actions from 1-5. All these actionsaffect the state of purification where thealgorithm changes the cases step-wiseas the user enters another action. If auser misses to enter an action or ifhe/she changes the order of someaction(s), the system is able to adviseand correct him/her (predifferentiation). The process of wuducan also be conjugated with itsinvalidation (hadath) algorithmgenerating rulings on whether the wuduremains valid or has been invalidated bysome action/event sequences. This hasbeen realized in the taymammum version of the compound algorithm andis not described here.
