Метод формализации. 
Правовая информатика

Формализация — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т. п.) в виде формальной системы.

Формальная система — это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.

Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.

С помощью формальных языков строятся формальнологические модели.

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

Так, О. А. Гаврилов предложил, используя логические операции, провести моделирование логической структуры правовой нормы. Цель моделирования — выявить логические (включая латентные) связи правовой нормы. Логическая структура правовой нормы может быть представлена в следующем виде^[1]:

где р — гипотеза нормы; d — диспозиция; s — санкция.

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

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

Метод алгоритмизации и программирования

Само слово «алгоритм» появилось как результат латинской транскрипции имени великого ученого IX в. Аль Хорезми, который сформулировал общие правила (алгоритмы) выполнения арифметических операций над десятичными числами.

Алгоритм — это определенная последовательность действий, выполнение которой приводит к достижению поставленной цели.

Существенными требованиями, которые следует обеспечить при разработке алгоритмов, являются:

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

Таким образом, свойство дискретности алгоритмов проявляется в том, что сама процедура решения задачи распадается на последовательность шагов (дискретизация во времени), а на каждом шаге обрабатывается порция информации конечного объема (дискретизация по величине);

• — конечность. Во-первых, выполнение алгоритма должно завершаться получением искомого результата за конечное число шагов. Во-вторых, набор действий, из которых можно построить любой алгоритм, тоже конечен;
• — определенность. Действия на каждом шаге алгоритма должны быть строго определены, т. е. описание того или иного этапа вычислений не может допускать произвольного толкования. Кроме того, взаимосвязь между этапами (порядок их следования) должна быть определена для любых возможных вариантов развития вычислительного процесса. Именно определенность алгоритма обеспечивает возможность поручить его реализацию автомату, который не умеет действовать в ситуациях, не до конца определенных.

Каждому алгоритму ставится в соответствие множество величин, допустимых для него в качестве исходных данных. Точно так же выполнение алгоритма завершается получением результатов, относящихся к множеству допустимых для решаемой задачи выходных значений.

Программирование — это реализация заданного алгоритма на формальном языке программирования. Программирование позволяет переложить проведение и анализ информационных процессов на современную вычислительную технику.

• [1] Гаврилов О. А. Информатизация правовой системы России. М., 1998.