Закон = Программа

Посмотрим, как происходит обработка событий в программировании и в жизни:

Щелкнул пользователь мышкой Гражданин нарушил закон
Операционная система обработала сигнал от мыши и отравила сообщение программе Правоохранительные органы задержали преступника и отправили его в суд
Программа определила тип сообщения (клик левой кнопки мыши) и выяснила параметры (координаты курсора) Судебная система определила вид нарушения (статья УК) и следствие выяснило состав преступления
На основании параметров, программа выполнила соотвествующие операции. Суд назначил преступнику соответствующее наказание.

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

А с законом все сложно. Результат (вердикт) может зависеть от того, про какие законы вспомнит адвокат и прокурор во время следствия, к тому же структура законодательных актов допускает противоречивые пункты.

Можно ли все формализовать? ‘‘Даёшь программистов в законодатели’’?

Advertisements
Опубликовано в Politics. 1 Comment »

Один ответ to “Закон = Программа”

  1. Lormus Says:

    Тема формализации юриспруденции ещё более развита чем, формализация медицины и после Semantic Web это, наверное, одна из самых любимых тем. Вот тут про это можно почитать массу всего:

    * Workshop on Legal Ontologies and Artificial Intelligence Techniques
    * Workshop on Ontology Management at National Conference on Artificial Intelligence

    И дальше по кейвордам legal ontologies, models of legal knowledge etc etc.

    В частности, проблема «адвокат не вспомнил во время следствия» решается легко, но автоматизированых вердиктов вроде нет, хотя давно пора уже. В медицине вот есть.


Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход / Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход / Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход / Изменить )

Google+ photo

Для комментария используется ваша учётная запись Google+. Выход / Изменить )

Connecting to %s

%d такие блоггеры, как: