Логические модели

Информатика тесно связана с современной формальной логикой, анализом логических заключений. Логические моде­ли используются при моделировании рассуждений, описании логических схем автоматики, создании трансляторов. Затем разрабатываются алгоритмы обработки информации в этих мо­делях, конкретные виды символических представлений инфор­мации в созданной модели.

К логическому моделированию примыкает имитационное моделирование — создаются и используются специальные при­емы воспроизведения процессов, протекающих в реальных объектах, в тех моделях этих объектов, которые реализуются в вычислительных машинах.

Теория различает также графические (чертежи, схемы) и вербальные модели.

§ 6. Метод формализации

Формализация — выявление и уточнение смысла правово­го явления через анализ его формы. Понятие формализации тесно связано с понятием формы и является производным от него. Метод формализации основан на выделении формы право­вых явлений. Определенный уровень формализации присущ са­мой правовой системе, нормам права, правоотношениям.

Право есть формальная система. Это выражается в тре­бованиях единства терминологии, точности понятий, широком использовании в законодательных актах нормативных опреде­лений.

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

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

* Формализация правовых норм имеет и аспект формализации смысло­вых конструкций языка законодательства ("стандартизация", "унифика­ция").

Средствами формализации эмпирических данных в пра­вовой информатике служат:

математические методы, символы и стандартизованные обозначения;

методы логики, в частности математической;

специальные коды (кодирование информации);

социальное измерение, статистические методы.

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

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

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

Для информатики принципиальное значение имеет теория формальных грамматик. Она позволяет на точном уровне описывать синтаксические правила, на основе которых можно стро­ить допустимые предложения языка. Формальные грамматики служат основным средством описания языков программирова­ния и построения трансляторов, т. е. языков-посредников.*

* Формализация синтаксиса опирается на идеи формальных систем и формальных способов записи алгоритмов.