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

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