Анализ и визуализация взаимосвязей нормативно-правовых документов

• Автор: Масюк, Максим Анатольевич
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2011
• Место защиты: Красноярск
• Количество страниц: 130 с. : ил.

Оглавление

Используемые в работе термины.

Используемые сокращения.

ВВЕДЕНИЕ
Глава 1. Нормы законотворческого процесса в РФ, визуализация и анализ взаимосвязей нормативноправовых документов, агентноориеитированный подход
1.1 Нормы законотворческого процесса в РФ и особенности юридикотехнического оформления нормативноправовых актов с точки зрения риска возникновения правовых коллизий и противоречий.

1.2 Визуализация и анализ взаимосвязей нормативноправовых документов

1.3 Агентноориентированный подход и теория агентных систем.

1.3.1 Основные понятия

1.3.2 Архитектура агента

1.3.3 Модель жизненного цикла агента

1.3.4 Классификация агентов.
1.3.5 Областьприменения.
Глава 2. Модель нормативноправовых документов и их взаимосвязей. Критерии потенциальноопасных ситуаций
2.1 Модель нормативноправовых документов и их взаимосвязей
2.2 Типизация документов.
2.3 Срок действия документов и вступление в силу.
2.4 Определение окрестности документа.
2.5 Определение потенциальноопасных с точки зрения
несоблюдения норм законотворчества ситуаций
2.6 Критерии потенциальноопасных с точки зрения
несоблюдения норм законотворчества ситуаций
Глава 3. Разработка и реализация системы автоматического анализа взаимосвязей нормативноправовых документов.
3.1 Особенности проектирования системы
3.2 Архитектура системы.
3.3 Взаимодействие компонентов системы
3.4 Обоснование использования агентной технологии.
3.5 Классификация применяемых агентов.
3.6 Серверная часть.
3.6.1 Целевая база данных Законы и постановления Красноярского края
3.6.2 Агент расстановки ссылок.
3.6.3 Агент анализа и визуализации окрестности.
3.6.4 Модуль построения окрестности
3.6.5 Алгоритм построения и анализа окрестности документа на основе обхода в ширину
3.6.6 Модуль анализа элементов окрестности на наличие потенциальноопасных ситуаций
3.7 Клиентская часть
3.7.1 Общий вид схемы связей.
3.7.2 Масштабирование и позиционирование расположение
элементов окрестности.
3.7.3 Интерфейс пользователя.
3.8 Примеры практического применения сгенерированной
системой схемы связей нормативноправового документа для проведения его экспертизы на соблюдение норм законотворчества
3.8.1 Пример
3.8.2 Пример
Глава 4. Сравнительный анализ и обоснование выбора используемых в работе программных средств. Описание технологий и стандартов
4.1 i.
4.1.1 Объектноориентированные базы данных.
4.1.2 Язык программирования i.
4.1.3 Функционирование агентов в i
4.2 Обзор существующих средств визуализации рендеринга
связанных структур данных.
4.2.1 VI
4.2.2 .
4.2.3 vi.
4.2.4
4.3 Сравнительный анализ стандартов описания двумерной
графики
4.3.1 V язык векторной разметки
4.3.2 V.
4.3.3 .
Заключение
Список литературы


Но, несмотря на эго, такая важная для современного общества деятельность как законотворчество, до сих пор не представало в роли объекта автоматизации если не брать в расчет справочноправовые системы, частично автоматизирующие процесс поиска и систематизации информации. С другой стороны, процесс этот безусловно творческий, а, следовательно, трудно поддающийся какойлибо формализации. Актуальность работы. В последние годы в Российской Федерации и ее субъектах наблюдается стремительный рост законотворческой деятельности, который отнюдь не всегда свидетельствует о качестве правового регулирования 1. С развитием законодательной базы РФ и ее субъектов существенно возросло количество принимаемых нормативноправовых актов законов, постановлений, указов. Так, в Законодательном Собрании Красноярского края, ежегодно принимается около 0 праворегулирующих документов. Государственная Дума РФ по официальной информации за осеннюю сессию года одних только законов приняла 3, а количество законопроектов и постановлений кратно больше порядка нескольких десятков в день. Значительная часть принимаемых законотворческих документов носит поправочный характер, то есть содержит в себе ссылки на другие документы с описанием вносимых поправок в текст или отменой ранее действующих документов. Российской Федерации или отдельного субъекта. Восприятие общей картины путем работы с текстом является трудоемкой процедурой. Кроме того, существует вероятность ошибки при разработке нового законодательного акта, в случае, если не будут учтены все связанные с ним ранее принятые документы, которые, в свою очередь, имеют аналогичные взаимосвязи с другими документами. Ситуация может усугубиться в случае, когда законотворческую работу над связанными между собой законопроектами ведут законотворцы из различных комитетов. В процессе ведения законотворческой деятельности при необходимости внесения поправок в действующие законодательные акты и в процессе написания, новых существует риск возникновения нарушенийформальных правил и норм законодательного процесса, закрепленных в виде специальных документов 2 3. В указанных методических рекомендациях приведены требования к оформлению законопроектов и законодательной технике вдом. Обозначенные выше проблемы определяют потребность в. Законотворческая, деятельность традиционно предстает предметом оживленных дискуссий в науке конституционного права и других смежных юридических науках. В работах многих авторов детально рассматриваютсявопросы, связанные со стадиями и процедурами законотворческой деятельности, правилами юридической техники, качеством проектов НПД. Данное обстоятельство, по мнению ученых, занятых исследованиями в соответствующей тематике 4, требует детального рассмотрения и говорит о наличии нерешенных проблем в данной области. Несмотря на то, что в настоящее время правовая информатика приобрела статус науки 5 и получила довольно широкое распространение, в большей степени ее вниманием охвачены правовые аспекты использования и защиты информации, охрана авторского права, изучение специальных информационных процессов и систем. Вероятно, правы авторы одной из самых основательной из известных нам работ по правовой логике В. Кнапп и А. Герлох, что на стыке логики и общей теории права много нерешенных проблем 6. Существующее в общей теории права направление под названием формализация правовых норм 7, призванное выстраивать формальнологическую модель правовой информации и выявлять ее логическую структуру, на сегодняшний день не обладает необходимой наработанной базой и не готово послужить основой для решения поставленных перед автором задач. Разработанная автором модель нормативноправовых документов и их взаимосвязей перекладывает озвученную проблему из правовой плоскости в плоскость теоретической информатики, абстрагируясь от ее юридической составляющей. Поэтому в диссертационной работе применяются методы дискретной математики и искусственного интеллекта, теории графов, теории формальных грамматик и языков, концептуального моделирования, алгоритмов обработки и анализа данных.