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

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