Автоматное моделирование нормативно-правовой деятельности субъектов правоотношений

• Автор: Иванов, Иван Геннадиевич
• Шифр специальности: 05.25.05
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Таганрог
• Количество страниц: 161 с. : ил.

Глава I. АВТОМАТНОЕ МОДЕЛИРОВАНИЕ НОРМАТИВНОЙ
ДЕЯТЕЛЬНОСТИ СУБЪЕКТОВ ПРАВООТНОШЕНИЙ
1Л. Понятия нормативно-регулируемого сообщества и нормативно-значимой сущности
1.2. Нормативно-правовое пространство
1.3. Нормативно-значимые параметры
1.4. Нормативно-правовое состояние
нормативно-значимой сущности
1.5. Входные сигналы в автоматных моделях
нормативно-значимых сущностей
1.6. Автоматное время в автоматных моделях
нормативно-значимых сущностей
1.7. Устойчивые и неустойчивые внутренние состояния автоматной модели нормативно-значимой сущности
1.8. Общая схема функционирования
автоматной модели нормативно-значимой сущности
1.9. Начальное состояние
1.10. Функция переходов автоматной модели
нормативно-значимой сущности
1.11. Способы задания автоматных моделей
нормативно-значимых сущностей
1.11.1. Помеченные таблицы переходов автоматных моделей нормативно-значимых сущностей
1.11.2. Приведенные таблицы переходов автоматных моделей нормативно-значимых сущностей
1.12. Выводы

Глава II. СПОСОБЫ ЗАДАНИЯ В ТЕКСТАХ НОРМАТИВНОПРАВОВЫХ ДОКУМЕНТОВ ДЕКЛАРАТИВНО-РЕГУЛЯТИВНЫХ ФУНКЦИЙ С ПОМОЩЬЮ ВЕРБАЛЬНЫХ
ЕСТЕСТВЕННО-ЯЗЫКОВЫХ ФОРМАЛИЗМОВ
2.1. Вводное содержательное описание и обоснование используемых понятий и подходов
2.2. Каноническая вербальная форма представления в текстах нормативно-правовых документов элементарных декларативно-регулятивных функций нормативного побуждения
2.3. Канонические вербальные формы представления в текстах нормативно-правовых документов элементарных декларативно-регулятивных функций нормативных определений
2.3.1. Интенсиональный способ задания декларативнорегулятивной функции нормативного определения
2.3.2. Синонимический способ задания декларативнорегулятивной функции нормативного определения
2.3.3. Экстенсиональный способ задания декларативнорегулятивной функции нормативного определения
2.4. Каноническая вербальная форма представления в текстах нормативно-правовых документов элементарных декларативно-регулятивных функций нормативного установления
2.5. Канонизация представления произвольных фрагментов текстов нормативно-правовых документов с помощью элементарных естественно-языковых формализмов
2.6. Обоснование необходимости и достаточности базового набора элементарных естественно-языковых формализмов для задания декларативно-регулятивных функций, содержащихся в текстах нормативно-правовых документов, с позиций теории права
2.7. Выводы

Глава III. МЕТОДЫ ИДЕНТЕФИКАЦИИ НОРМАТИВНОПРАВОВЫХ СОСТОЯНИЙ СУБЪЕКТОВ ПРАВООТНОШЕНИЙ И ПРИНЦИПЫ ПОСТРОЕНИЯ ПРАВОВОЙ ИНФОРМАЦИОННО-СОВЕТУЮЩЕЙ СИСТЕМЫ
3.1. Идентификация субъектов и объектов правоотношений
в текстах нормативно-правовых документов
3.2. Идентификация нормативно-правовых состояний
субъектов правоотношений
3.3. Формирование таблицы нормативно-правовых состояний
3.4. Автоматная модель нормативно-значимых действий соискателя
в процессе представления и защиты диссертации
3.4.1. Используемые обозначения
3.4.2. Автоматная модель нормативно-регулируемого поведения соискателя ученой степени в процессе представления и защиты диссертации
3.5. Программа автоматного моделирования нормативной деятельности субъектов правоотношений
3.6. Описание принципов работы с программой автоматного моделирования Advisor
3.6.1. Главное окно программы
3.6.2. Начало работы с алгоритмом
3.6.3. Новое нормативно-правовое состояние
3.6.4. Выбор действий в текущем нормативно-правовом состоянии
3.6.5. Сохранение и восстановление текущей
нормативно-правовой ситуации
3.6.6. Дополнительные окна
3.6.7. Режимы работы программы
3.7. Выводы

четких границ (так же, как и класс моделируемых с их помощью нормативно-значимых сущностей). Однако обосновать наличие этого свойства можно более или менее достоверно исходя из анализа практических примеров построения асинхронных моделирующих автоматов и следующих общих рассуждений.
Целью составления любого нормативно-правового документа является нормативно-правовое регулирование нормативно-правового функционирования определенного круга субъектов правоотношений в соответствующих типовых ситуациях. Так как различных житейских ситуаций может возникнуть практически неограниченное количество, то разработчики нормативно-правового документа описывают нормы поведения соответствующих субъектов правоотношений только лишь исходя из тех мыслимых ситуаций, которые более или менее реально могут встретиться в практической жизни. В противном случае, попытки нормативно-правового регулирования поведения соответствующих субъектов правоотношений в практически неограниченном количестве абсолютно маловероятных ситуаций приводит к следующим негативным последствиям:
- сильно затягивается во времени разработка нормативно-правовых документов;
- эти документы получаются весьма громоздкими;
- увеличивается вероятность появления ошибок в текстах составляемых нормативно-правовых документов;
- затрудняется правильное восприятие тех основных и, как правило, весьма немногочисленных вариантов норм поведения в ситуациях, которые реально могут в большинстве случаев иметь место.
Поэтому составители нормативно-правовых документов, как правило, описывают правоотношения и юридические процедуры действий тех или иных субъектов правоотношений только лишь в основных (наиболее практически вероятных) из числа теоретически