En fait, c'est pas con du tout comme idée !!!
Il faut utiliser un système de gestion d'exigences.
Chaque loi est décomposé en sous blocs (articles) et chaque sous bloc en exigences unitaires et chaque exigence porte un identifiant unique.
Ensuite chaque exigence est reliée aux autres par un graphe avec des implications, des exclusions une des relation d'équivalence et si possible une pondération.
Du coup, il suffit à un logiciel adapté de parcourir le graphe pour vérifier, qu'on peut construire un abris de jardin sur son terrain, prendre un congé exceptionnel pour faire le tour du monde, faire un site internet qui analyse les mode d'embrigadement des extrémistes, etc ...
Corollaire :
Qu'en un politique voudra promulguer une loi, le système lui sortira en automatique, la liste des lois existantes, qu'il enfreint, contredit ou "doublonne".
[^] # Re: Je propose la création d'un langage informatique
Posté par xavier philippon . En réponse à la dépêche Questionnaire LinuxFr.org pour la présidentielle française 2017. Évalué à 6.
En fait, c'est pas con du tout comme idée !!!
Il faut utiliser un système de gestion d'exigences.
Chaque loi est décomposé en sous blocs (articles) et chaque sous bloc en exigences unitaires et chaque exigence porte un identifiant unique.
Ensuite chaque exigence est reliée aux autres par un graphe avec des implications, des exclusions une des relation d'équivalence et si possible une pondération.
Du coup, il suffit à un logiciel adapté de parcourir le graphe pour vérifier, qu'on peut construire un abris de jardin sur son terrain, prendre un congé exceptionnel pour faire le tour du monde, faire un site internet qui analyse les mode d'embrigadement des extrémistes, etc ...
Corollaire :
Qu'en un politique voudra promulguer une loi, le système lui sortira en automatique, la liste des lois existantes, qu'il enfreint, contredit ou "doublonne".