1.1. Зачем нужна формализация?

Значение формализованной системы описания признаков объектов и процедур их исследования многогранно.

Во-первых, она позволяет однозначно выделять признаки, т. е. избавляться от расплывчатых и нередко весьма неопределенных характеристик, и тем самым уже на этой стадии исследования понижать уровень его субъективности.

Во-вторых, наряду с тем, что количественные характеристики повышают информативность исследуемого объекта, они создают реальную основу, важнейшую предпосылку для использования ЭВМ. Последнее же является не только своеобразным "дополнительным гарантом" объективизации информационных процессов, но и, главное, тем средством, которое освобождает исследователя от рутинных и трудоемких операций, позволяет в минимальные сроки осуществлять статистическую обработку сколь угодно большого информационного массива.

В-третьих, формализация признаков объектов исследования и процедуры их анализа обеспечивает возможность многократно воспроизводить эти процессы как тому, кто её осуществлял, так и другому субъекту юридической деятельности.

2. Процесс формализации:

1) Изучение структуры формализуемого объекта. Описание закономерностей и особенностей объекта в словесном выражении и количественных характеристиках, а также компоненты объекта как системы и место их в системе. Например, применительно к расследованию преступлений – проверка следственных версий.

2) Построение формализованной схемы процесса исследования. Т.е. формулировка задачи исследования изучаемого объекта. Полученные в п. 1 данные переводятся на язык математики с помощью специалиста из математики. После этого разрабатывается математическая модель моделируемого объекта. Т.е. задача переводится в область математики.

3) Проверка адекватности созданной модели (математической) поставленной задаче.

Однако с появлением кибернетики приведенная схема формализации дополнилась двумя весьма важными элементами.

Во-первых, на второй стадии формализации для обработки преобразованных тем или иным способом исходных данных стали использоваться различные вычислительные машины, в том числе ЭВМ.

Во-вторых, сами процессы преобразования (формализации) исходных данных (информации) по все большему классу задач стали переводить на рельсы автоматизации (как правило, пока частичной), что позволяет создавать автоматизированные системы обработки правовой информации и на их основе автоматизированные информационно-поисковые системы, а также автоматизированные системы управления (АИПС и АСУ).

3. Способы формализации правовой информации.

Согласно Полевому, формализация - это выявление и уточнение содержания изучаемого явления через рассмотрение и фиксацию его формы и оперирование с нею в рамках материальных конструкций. Такими материальными конструкциями могут являться буквы любого алфавита, цифры, графические построения, символьные знаки в определенной форме их записи. Ныне используются самые различные формы записи, в том числе выраженные посредством определенной конфигурации отверстий на перфокартах, путем распределения электрических состояний в элементах ЭВМ и др.

Исторически способы формализации были следующие:

1. Использование естественных языков общения человеческих коллективов. Способом фиксации содержания и уточнения (выявления) его формы здесь служит письменность.

2. Возникновение и .использование языков отдельных наук (строго говоря, с этого этапа и начинается формализация в науке или научная формализация). На втором этапе используются самые различные средства формализации, в частности, она реализуется в виде специальных терминов и понятий, чертежей, графиков, символьных обозначений и, наконец, чисел, которые (как и другие элементы знаковых систем) начинают фигурировать в качестве формы определенного содержания.

На данный момент способами формализации в ПИК являются:

- Метризация. В широком плане под метризацией обычно понимается описание какого-либо объекта определенной совокупностью числовых характеристик. Непосредственным объектом метризации, в частности измерения, всегда является та или иная физическая величина, обычно именуемая параметром объекта познания. Вот почему данные, получаемые в результате этой процедуры, правомерно называть параметрической или измерительной информацией.

С учетом этого под метризацией правовой информации следует понимать такую процедуру её обработки, в результате которой субъект юридической деятельности получает количественные характеристики тех или иных параметров объекта познания.

В зависимости от того, что избирается в качестве такой характеристики и что ею желают выразить, различают два вида метризации:

- Подсчет. При подсчете в качестве средства выражения интересующих нас данных используют натуральные числа (например, указывают, что в данном регионе за названный период было выявлено 20 случаев нарушения законности при рассмотрении гражданских дел в судах).

- Измерения. При измерениях в качестве средства выражения полученных данных наряду с натуральным числом используются принятые для данного вида измерений соответствующие единицы меры.

Метризация осуществляется с помощью измерительных приборов¹.

- Кодирование. В широком смысле под кодированием понимаются операции замены каких-либо данных (например, текстовых) сокращенными условными обозначениями, как правило, цифровыми или символами [9, с. 251]. Обратная операция называется декодированием. Обычно эти операции используются как средство представления информации, характеризующей индивидуальные особенности объекта или исследуемого события, в виде последовательно расположенных символов абстрактного алфавита. Комбинацию таких символов называют кодом, а их количество, входящее в определенную кодовую комбинацию, - её длиной. Кодовые символы могут иметь различную форму. Чаще всего это цифры, буквы какого-либо алфавита, а также различного рода условные знаки и их сочетания (точка и тире, математические символы и т. п.).

5. Алгоритмизация и программирование решения правовых задач.

1. Место алгоритмизации¹ в решении правовых задач.

После оценки исходной информации и постановки задачи на содержательном уровне, а затем и их формализации необходимо осуществить очередную процедуру - избрать (или специально разработать) алгоритм её решения и программу реализации избранного алгоритма с учетом используемой ЭВМ.

2. Зачем нужна алгоритмизация и программирование?

Они позволяют реализовать весьма важную идею - превратить процесс решения правовых задач из деятельности слабо контролируемой в деятельность программно-управляемую, повысить объективность её результатов, создать реальные предпосылки для автоматизированной обработки правовой информации.

3. Понятие алгоритма и его свойства (Полевой).

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

Алгоритмы могут применяться и в нематематических (ЭВМ) сферах, в этом случае они могут подчиняться не таким строгим правилам.

Программирование – это реализация алгоритма на формализованном языке.

Свойства алгоритмов:

- Детерминированность алгоритма решения правовой задачи - это его способность достаточно определенно направлять процесс решения задачи и управлять им. Причем по степени определенности это могут быть как жестко детерминированные алгоритмы (например, алгоритмы машинной обработки правовой информации), так и "ослабленные" (например, алгоритм допроса).

- Массовость того или иного алгоритма решения правовой задачи - это его пригодность для исследования не только единичного конкретного объекта, но и любого множества аналогичных объектов.

- Результативность алгоритма - это его способность всегда обеспечивать решение задачи при условии, что были заданы надлежащие исходные данные.