Готовился тут к экзамену в ГАИ. Все время не покидала мысль, что правила писались безмозглыми дегенератами под диктовку дубовых гаишников, носивших только просторные фуражки, и людей с математическим складом ума не подпускали за версту к их созданию. Сплошные нестыковки.
Сразу захотелось накидать объектную модель, описываемую правилами, причем в формате, предусматривающем их изменение. С её помощью бы всплыли все логические узлелки и неоднозначные места. Эту модель далее можно было бы скормить визуализатору и автоматом генерировать тестовые задания, например, или использовать в расчетах со страховщиками и при индексации ДТП. При синхронизации с GPS можно скормить её бортовому компьютеру и он автоматом будет подсвечивать текущий контекст правил. Вообще применений миллион, куча профиту.
Понятно что все сказанное автоматом переносится на вообще всю систему законодательства, но это сложнее.
Есть ли уже наработки по стандартизации формата описания законодательства и заложенной в него модели реальности, а также связи этой модели с самой реальноcтью?
