Bonjour,
je rappelle ce lien où est esquissé le projet de « rédaction d’une constitution démocratique en LNC ("Langage Naturel Contrôlé", un sous ensemble du langage naturel, pour réduire les ambiguïtés et permettre un traitement automatisé) avec un contrôle automatisé de son intégrité au cours de sa rédaction (*), notamment à titre d’expérience pédagogique, permettant par ailleurs divers autres traitements automatisés (comme la traduction dans toutes les langues "contrôlées", à (court/moyen) terme) ;
(*) intégrité au moins intrinsèque à la constitution, voire extrinsèque jusqu’à un certain niveau de finesse, si on prend soin de définir le modèle et les règles pour décrire la réalité sociale dans laquelle s’inscrit la constitution ».
En suivant le lien donné, vous pouvez arriver à cette info complémentaire qui propose la piste de « ACEWiki, un outils libre permettant :
d’élaborer du contenu textuel en LNC avec une interface de saisie prédictive (pour contraindre une formulation bien formée) ;
de contrôler la cohérence de toute nouvelle assertion (exprimée en LNC) avec une liste d’assertions (exprimées en LNC) toutes cohérentes ».
A toute fin utile !