В правовой системе большинство информационных систем являются системами управления. Следовательно, при их исследовании можно применять методы кибернетики - науки об управлении.
Метод единства прямой и обратной информационных связей играет огромную роль в информационно-правовой деятельности. Прямая информационная связь определяет поведение правового образования (субъекта правоотношений) в зависимости от каких-либо юридических воздействий, а обратная информационная связь определяет выбор юридического воздействия в зависимости от прошлого поведения этого образования.
Рассмотрим механизм правового регулирования как кибернетическую систему. В этом механизме субъект воздействия (правотворческий орган) в соответствии со стоящими перед ним целями (урегулировать существующие общественные отношения), на основе всего массива нормативной правовой информации и постоянно получаемой из различных источников ненормативной информации о состоянии и поведении субъекта управления (юридическое или физическое лицо) воздействует на него (вырабатывает нормативно-правовое предписание). Если в данном механизме остается только прямая информационная связь, то перед законотворческим органом стоит задача выбора некоторого правового воздействия без наличия у него необходимой информации, так как обратный поток информации о состоянии общественных отношений и реальном поведении субъектов управления не поступает. Отсутствует вторая половина - контура регулирования, которая называется обратной информационной связью, и поэтому выработка адекватных регулирующих воздействий становится невозможной. Таким образом, в информационно-правовой реальности прямая и обратная информационные связи едины и зачастую не существуют одна без другой.
Метод формализации
Формализация - представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации) в виде формальной системы. Формальная система - это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.
С помощью формальных языков строятся формально-логические модели.
В общей теории права существует направление, которое называют "формализация правовых норм". Формализация правовой нормы - это выявление ее логической структуры, логических правил вывода суждений.
Формализация позволяет систематизировать, уточнить и методологически прояснить правовую теорию, выявить характер взаимосвязей между различными ее правовыми предписаниями, выявить и сформулировать существующие нерешенные проблемы. Формализация предполагает усиление роли формальной логики как основания правовой науки. Формализация используется при обработке правовой информации с помощью компьютерной техники.
Метод алгоритмизации и программирования
Алгоритм - это определенная последовательность действий, выполнение которой приводит к достижению поставленной цели.
Рассмотрим требования к алгоритмам, которые следует обеспечить при их разработке.
Дискретность. Процесс решения задачи описывается некоторым набором действий. Выполнение того или иного действия представляет собой один шаг на пути от исходных данных к искомым результатам. Объектами действия на - каждом шаге являются конечные величины. Таким образом, свойство дискретности алгоритмов проявляется в том, что сама процедура решения задачи распадается на последовательность шагов (дискретизация во времени), а на каждом шаге обрабатывается порция информации конечного объема (дискретизация по величине).
Конечность. Во-первых, выполнение алгоритма должно завершаться получением искомого результата за конечное число шагов. Во-вторых, набор действий, из которых можно построить любой алгоритм, тоже конечен.
Определенность. Действия на каждом шаге алгоритма должны быть строго определены, то есть описание того или иного этапа вычислений не может допускать произвольного толкования. Кроме того, взаимосвязь между этапами (порядок их следования) должна быть определена для любых возможных вариантов развития вычислительного процесса. Именно определенность алгоритма обеспечивает возможность поручить его реализацию автомату, который не умеет действовать в ситуациях, не до конца определенных. Каждому алгоритму ставится в соответствие множество величин, допустимых для него в качестве исходных данных. Точно так, выполнение алгоритма завершается получением результатов, относящихся к множеству допустимых для решаемой задачи выходных значений.
Программирование - это реализация заданного алгоритма на формальном языке программирования. Программирование позволяет переложить проведение и анализ информационных процессов на современную вычислительную технику.
Синтаксический и семантический анализ
Синтаксический анализ устанавливает важнейшие параметры информационных потоков, включая необходимые количественные характеристики, для выбора комплекса технических и программных средств сбора, регистрации, передачи, обработки, накопления и хранения информации. Семантический анализ позволяет изучить информацию с точки зрения смыслового содержания ее отдельных элементов, находить способы языкового соответствия (язык - человека, язык электронно-вычислительных машин) при однозначном распознавании вводимых в систему сообщений.
Анализ зарегистрированной в цифровой форме информации естественного языка с семантической точки зрения является вопросом значительной сложности, и он лежит в основе таких приложений, как автоматические ответы на вопросы из базы данных или восстановление информации посредством неограниченных запросов естественного языка. Семантический анализ призван проводить смысловой анализ информации на основе изучения значений единиц языка: выявление синонимов, омонимов, антонимов, многозначных слов, анализ изменения значений единиц языка при их различных сочетаниях.
Математические методы
Метод правовой информатики является конкретным. За ним может следовать математическая интерпретация вопроса. При описании с точки зрения информатики правовой системы общества, ее какой-то части, работы юристов обязательно описываются процессы сбора, движения и переработки информации, функционирование которых связано с использованием математических методов, выражаемых комплексом вычислительных и логических операций, преобразующих информацию. Поэтому метод правовой информатики в известной мере связан с математикой. В последнее время при изучении информационных процессов в области права используется теория вероятностей, математическая статистика, математическая логика, исследование операций и многие другие математические науки и дисциплины.
Ведущая роль в правовой информатике принадлежит качественному анализу. Использование здесь математических методов ориентировано сейчас, на решение частных информационно-правовых задач. Дисциплины, опирающиеся на математическую логику, разрабатывают методы, позволяющие использовать - достижения логики для анализа процессов переработки информации с помощью компьютеров (теория алгоритмов, теория параллельных вычислений), а также методы, которые на основе моде_ лей логического типа позволяют изучать процессы, протекаю_ щие в самом компьютере.
Сегодня можно говорить, что усилия специалистов, применяющих точные методы математики в правовой области, сосредоточены в двух направлениях: первое - это математическая обработка результатов правовых исследований; второе - исследование структуры права математическими методами. Эти направления составляют основу для создания и применения в правовой области различных автоматизированных систем обработки социально-правовой информации.
Методы теории информации
Теорией информации является наука, изучающая количественные закономерности, связанные с получением, передачей, обработкой и хранением информации. Информация, для того чтобы быть переданной, должна быть закодирована в виде сигналов, с помощью которых информация передается по различным каналам связи. В теории информации при вычислении количества информации абстрагируются от смысла информации. Такой подход в точности соответствует задаче канала связи, который должен передать информацию вне зависимости от ее ценности для адресата. Любое сообщение, с которым мы имеем дело в теории информации, представляет совокупность сведений о некоторой физической системе. Оценка количества информации основывается на законах теории вероятностей и определяется через вероятность событий. В качестве объекта в теории информации рассматривается некоторая физическая система, которая случайным образом может оказаться в том или ином состоянии, то есть система, которой заведомо присуща некоторая степень неопределенности.
Структуру правовой информатики составляют:
– аппаратные средства вычислительной техники;
– программные средства;
– алгоритмизация и программирование юридических задач;
– информационные технологии в юридической деятельности.
Существует такая отрасль знаний, как информационное право. Предметы изучения информационного права и правовой информатики не совпадают.
Информационное право – это отрасль правоведения, юридической науки, предметом изучения которой является правовое регулирование отношений людей, возникающих в информационной сфере.
Информационное право изучает, каким образом регулируется функционирование информации в обществе.
А правовая информатика – это, прежде всего, информатика, то есть отрасль знаний об информации и информационных технологиях (т.е. технических знаний), которые применяются в области права.
Важно подчеркнуть, что правовую информатику следует рассматривать как комплексную отрасль знаний. Так, правовая информатика, помимо рассмотрения вопросов собственно информации и информационных технологий, включает рассмотрение ряда гуманитарных аспектов: проблемы доступа граждан к правовой информации, некоторые правовые аспекты функционирования информации, проблемы систематизации законодательства, а также вопросы юридической техники и документоведения.