ИСТИНА

Доклад посвящен вопросам развития технологий машиночитаемого права, таким как 1.возможность перевода нормативных правовых актов с естественного языка на формальный; 2.выявление категорий норм, которые можно алгоритмизировать в первую очередь (применение административных наказаний при нарушении ПДД, предоставление государственной поддержки в соответствии с законодательством о социальном обеспечении, уплата налогов и сборов); 3.сдерживающие факторы развития данного вида технологий (например, недостаточная квалификация юристов в области математической логики и программирования, отсутствие удобных инструментов работы с формально-юридическим описанием права); 4.перспективы развития технологий машиночитаемого права в нашей стране и мире