J'essayais de trouver un système qui évaluerait les règlements administratifs d'une organisation afin de déterminer leur logique sous-jacente. Je pense qu'un système de prédicat de premier ordre fonctionnerait pour représenter les règles, qui pourraient être traduites du texte via le balisage d'une...