Знаете ли.. А я ведь даже пишу понемногу в тетрадочке тезисы на этот счёт. Лет 5-7 потихоньку.
На мой взгляд - да, возможно. Для большинства дел во всяком случае.
Проблема в том, что это никому не нужно. Точнее - это нежелательно тем, кто принимает такие решения.
Ну в самом деле - разве захотят депутаты заменить себя на программу, пусть оная и будет объективно лучше и дешевле работать? Так и законоприменители не допустят.
То, что Вам выше написали "бывали ли Вы в суде хоть раз" - было грубовато, но по сути - верно. Вопрос не в том, что закон можно описать логическим уравнением. Вопрос в том, что в Суде рулит не Закон, а законоприменение.
Вы слышали байку (не знаю насколько правдивую) про автоматические камеры, которыми были недовольны какие-то там должностные лица, ибо они присылают штрафы, невзирая на то, что "я и есть законЪ"? Вот это отчасти показывает проблему.