This thesis presents the application of several constraint programming techniques to combinatorial problems. In particular, hybrid scheduling and routing problems such as Dial-A-Ride Problems (DARP) are explored. A variant of this problem, the Patient Transportation Problem (PTP) is formalized and resolved. Lire la suite
This thesis presents the application of several constraint programming techniques to combinatorial problems. In particular, hybrid scheduling and routing problems such as Dial-A-Ride Problems (DARP) are explored. A variant of this problem, the Patient Transportation Problem (PTP) is formalized and resolved. Various approaches to model the PTP and DARP are studied, including a scheduling model and a classical successor model. The usage of sequence variables to model the routes of vehicles is investigated. Two different implementations of a sequence variable are presented as well as several global constraints used in conjunction with these variables to provide efficient propagation algorithms.
Additionally, the use of an adaptive variant of the Large Neighborhood Search (LNS) is considered in a black-box context, without prior knowledge about the problem being solved. The approach studied uses a portfolio of different heuristics combined with a selection mechanism to adapt the heuristics used to the current problem during the search. Experimental results show the efficiency of the techniques proposed and hint at promising research directions in the domain of PTP-like problems, sequence variables and adaptive LNS.
Préface 7
Introduction 11
Chapitre 1 : L'apport de la philosophie grecque à la théologie abrahamique 17
Monothéisme et pensée grecque 18
Protestantisme : la conscience conte la raison 25
Nietzsche, critique de Platon 29
Chapitre 2 : L'islam et le dualisme platonicien 37
L’essor éphémère de la philosophie 38
Le triomphe de l’orthodoxie et la montée du soufisme 44
Henry Corbin, admirateur de l’islam néo-platonicien 48
Chapitre 3 : L’influence de Platon sur la pensée musulmane 55
La religion dans le système philosophique de Platon 55
Le Logos grec et le droit islamique 59
Soufisme et néoplatonisme 62
Chapitre 4 : Ibn Roshd ou la défaite de la philosophie en terre d’islam 67
L’averroïsme latin 68
Théologie, philosophie et métaphysique 70
La théorie de la double vérité ou l’annonce de la philosophie de Kant 74
Chapitre 5 : Du soufisme à l’islamisme 81
Le soufisme et le dualisme corps/âme 82
La mystique soufie : une survivance chrétienne en terre d’islam ? 86
Le reflux du soufisme et l’émergence de l’islamisme 90
Chapitre 6 : Mohamed Abdou ou l’échec de la modernisation de la culture musulmane 99
La bipolarité de la pensée de Abdou 100
Les limites de la modernisation sans sécularisation 106
L’héritage contradictoire de Abdou 110
260 La cr ise du discours musulman
Chapitre 7 : Un positivisme sans sujet 117
Science et pensée profane dans la culture musulmane d’aujourd’hui 117
Une grande absente : la philosophie 126
La raison dans les travaux de Arkoun, Al Jabri et Laroui 133
Chapitre 8 : Transcendance et histoire : les enjeux contemporains 145
Le discours des oulémas ou l’essence idéalisée 145
Esprit religieux et religiosité 152
Trois critiques du discours religieux :
Mohammad Mahmoud Taha, Mohammad Shahrour et Nour-Eddine Boukrouh 158
Chapitre 9 : Chari’a, fiqh et droit musulman 173
Le fondement culturel et métaphysique du fiqh 174
Les objectifs supérieurs de la chari’a : la théorie des maqâsid 180
L’émergence du droit musulman 189
Chapitre 10 : L’Europe, l’islam et la sécularisation 197
Christianisme et islam : une métaphysique commune 197
La sécularisation ou le nécessaire passage de Platon à Kant 205
La société musulmane et la question de l’éthique 212
Chapitre 11 : L’islam à la lumière de la théorie de la religion de Kant 221
Vertu, piété et devoirs religieux 222
Chari’a, fiqh et soufisme 227
Communauté éthique, autoritarisme moral et islam politique 230
Conclusion 233
Annexe : Le débat autour du « théorème de la sécularisation »
Carl Schmitt, Karl Löwith, Hans Blumenberg 239
Löwith ou la religion comme catégorie en soi 239
Les contradictions de Carl Schmitt 244
La thèse de Hans Blumenberg 250
Index 257
Table des matières 259