Стремление к формализации законов

Необходимо стремится оформлять законы в виде пригодном для автоматического вывода виде. Такое представление законов, как минимум, позволит доказывать отсутствие противоречий, а может и позволить выносить судебные решения без сапиенса в роли судьи.