Автор работы: Пользователь скрыл имя, 02 Декабря 2013 в 11:55, доклад
Принятие в 1991 г. Закона "О средствах массовой информации", "Концепции правовой информатизации России" и, наконец, Конституции РФ (1993 г.) ознаменовали переход к интенсивному развитию информационного законодательства России. В результате были разработаны первые системообразующие для этого раздела законодательства нормативные правовые акты. В 1992 г. кафедрой правовой информатики МГЮА было подготовлено первое учебное пособие по курсу "Правовая информатика"*(1), которое переиздавалось в 1993 и в 1996 гг.*(2).
Программирование - это реализация заданного алгоритма на формальном языке программирования. Программирование позволяет переложить проведение и анализ информационных процессов на современную вычислительную технику.
Синтаксический
анализ устанавливает важнейшие
параметры информационных потоков,
включая необходимые
Анализ зарегистрированной в цифровой форме информации естественного языка с семантической точки зрения является вопросом значительной сложности, и он лежит в основе таких приложений, как автоматические ответы на вопросы из базы данных или восстановление информации посредством неограниченных запросов естественного языка.
Семантический анализ призван проводить смысловой анализ информации на основе изучения значений единиц языка: выявление синонимов, омонимов, антонимов, многозначных слов, анализ изменения значений единиц языка при их различных сочетаниях.
С середины 1960-х г. проводились эксперименты с методикой, которая назначала каждому документу одну или большее количество "ролей" (функций) и одну или большее количество "связей" (указатели на другие документы, имеющие ту же самую или подобную роль). Методика показала потенциальную способность для оценки прагматической меры подобия. Приблизительно через 20 лет подобная техника стала популярной под именем "гипертекст". В этой методике документы, которые человек или группа людей рассматривает как связанные (через понятия, иерархию, опыт, повод или другие характеристики), соотносятся через "гиперссылки" (hyperlinks), намечая пути ассоциации человеческих идей. Объекты, связанные таким образом, могут быть не только текстом; речь и музыка, графика и изображения, мультипликация и видео могут быть связаны в гипермедийные базы данных. Объекты хранятся с их гиперссылками, и пользователь может легко путешествовать по сети ассоциаций, щелкая мышью на ряде входов на компьютерном экране.
Формализация
и моделирование процессов
В последнее время при изучении информационных процессов в области права используется теория вероятностей, математическая статистика, математическая логика, исследование операций и многие другие математические науки и дисциплины. Математические методы, специфически преломляясь в теории права, обогащают и усиливают метод правовой науки, но, естественно, не заменяют его.
Сегодня можно говорить, что усилия специалистов, применяющих точные методы математики в правовой области, сосредоточены в двух направлениях: первое - это математическая обработка результатов правовых исследований; второе - исследование структуры права математическими методами. Эти направления составляют основу для создания и применения в правовой области различных автоматизированных систем обработки социально-правовой информации.
Первое
направление разрабатывалось
Его последователи Симеон Пуассон и Огюст Курно соответственно в 1837 г. и в 1877 г. опубликовали трактат "Исследование вероятности по материалам уголовных и гражданских судебных решений на основе общих правил исчисления вероятностей" и монографию "Основы теории шансов и вероятностей", в которой глава 15 была названа: "Теория вероятностей судебных решений. Применение ее к статистике гражданских дел". В США эстафету правометрических исследований принял профессор из Мичигана Дж. Шуберт, который в 1959 г. опубликовал работу "Количественный анализ судейского поведения". В 1961 г. Стюарт Нагель опубликовал ряд работ, среди которых "Ожидание вердикта" содержит количественный показатель возможности выиграть или проиграть иски, вытекающие из причинения вреда, в зависимости от наличия в деле целого ряда переменных, которые обрабатываются методом статистических обобщений*(81).
В настоящее время в рамках этого направления успешно применяются различные математические методы для решения следующих задач: количественное описание правовых явлений; обеспечение учета и отчетности в правовой деятельности путем численной обработки различных статистических показателей.
Второе направление основано на идее сведения рассуждений к вычислениям и имеет глубокие исторические корни, восходящие к Р. Декарту. Он подразумевал возможность создания искусственного языка науки, дал его развернутую характеристику и тех громадных выгод, которые связаны с применением последнего. Декарт предполагал наличие некоторого природного порядка в наших мыслях, который сравнивал с порядком в мире чисел. При всем бесконечном множестве чисел каждое из них имеет единственное знаковое представление, следовательно, каждому из них можно дать собственное имя, что позволит действия с ними записывать особым компактным языком. Поскольку для чисел такой универсальный язык разработан, то, по мнению Декарта, со временем будет сконструирован еще более универсальный язык, охватывающий не только числа, но и любые объекты, которые могут стать предметом исследования. Такой язык позволит обозначать любые идеи путем выделения простых представлений и фиксации элементов, из которых состоит каждая мысль. Тем самым будет исключена любая возможность заблуждения. Такой язык противопоставит словам, имеющим неконкретное значение, четко определенные искусственные элементы. Вместо "давайте поспорим" ученые будут говорить "давайте вычислим"*(82).
Развитию идеи универсального языка науки большое внимание уделено в работах Г. Лейбница, который заложил фундамент математической логики*(83). По Лейбницу, идеал общего метода, благодаря которому возможно будет систематизировать вечные истины, доказывать их, даже открывать новые, состоит в следующем:
1) необходимо разложить все
2) обозначив каждое из понятий особым символом, мы получим "алфавит человеческой мысли";
3) всевозможные комбинации просты
4) необходимо ввести особые
Таким образом, предполагалось процесс
мышления свести к особого рода механическим
исчислениям, чем, по существу, и занимается
современная символическая
Современная логика создала множество систем, описывающих отдельные фрагменты содержательных рассуждений. Для моделирования структуры правовых норм специально разработана "нормативная логика", предметом исследования которой являются логическая структура и логические связи нормативных высказываний.
Так, оценивая принципы логического
моделирования структуры
Другой вид формализации правовых норм основан на использовании математической логики для моделирования логической структуры правовой нормы.
Математическая логика - современный вид формальной логики, т.е. науки, изучающей умозаключения с точки зрения их формального строения.
Любая мысль в форме понятий, суждений или умозаключений не существует вне языка. Выявить и исследовать логические структуры можно лишь путем анализа языковых выражений.
Под высказыванием принято понимать некоторое предположение, о котором имеет смысл говорить, что оно истинно или ложно. Над высказываниями определены следующие операции:
конъюнкция (логическое "и");
дизъюнкция (логическое "или");
отрицание (логическое "не");
импликация ("если.., то...").
Так, А.О. Гаврилов предложил, используя логические операции, провести моделирование логической структуры правовой нормы. Цель моделирования - выявить логические (включая латентные) связи правовой нормы. Логическая структура правовой нормы может быть представлена в следующем виде*(85):
"Логическая структура
где p - гипотеза нормы;
d - диспозиция;
s - санкция.
Приведенная формализация языка права позволяет промоделировать и проанализировать некоторые правовые нормы с помощью такого нового класса автоматизированных систем правовой информации, как экспертные системы.
Однако необходимо отметить, что применение языка математики для формализации права существенно ограничено. Это определяется во многом тем, что, как признает А.Г. Ольшанецкий, "среди юристов не сложилось еще единого мнения о логической природе, логической специфике юридических понятий, их конструктивной роли в развитии науки правоведения, в образовании нормативно-правового детерминанта, его логического движения в регулятивном механизме общественных систем. Мнения ученых в этом отношении неоднозначны, имеют спорный, порой противоречивый характер. В частности, высказывается мнение, что определенной логической спецификой обладают лишь некоторые понятия уголовного права. В понятиях других отраслей права специфически юридического либо незначительно, либо его вообще нет... Им присущи лишь особенности внелогического характера. В структуре... их содержания, в характере признаков, образующих его, нет каких-либо особенностей, которые давали бы возможность выделить эти понятия в особый класс научных понятий"*(86).
По мнению О.А. Гаврилова, существует пять основных причин, по которым математика не может стать универсальным инструментом исследований в области права:
1. С ростом сложности и целостности социально-правового объекта значительно уменьшается возможность его расчленения на формализуемые элементы.
2. Основные категории
3. Государство и право, как
явления классового общества, представляют
собой целостные социально-
4. Проводя сравнительный анализ математических методов и традиционных средств юридической науки, нельзя не видеть их взаимодополняющей противоположности.
5. Отличительная особенность
Следует отметить, что не все юристы придерживаются такой точки зрения. Так, В.П. Павлов, исследуя возможность математизации правовых исследований, не соглашается с высказанной выше точкой зрения О.А. Гаврилова*(88).
По его мнению, история любой науки свидетельствует о том, что на начальном уровне познания, на котором производится накопление научных фактов о наблюдаемых свойствах изучаемых явлений и эмпирических закономерностях (в виде тенденций развития интересующего нас явления в практической жизни), используют приемы наблюдения, эксперимента, измерения, описания, способы обобщения, сравнения анализа и синтеза, классификацию и систематизацию. Для реализации этих способов в правоведении широко используют традиционные общенаучные методы, такие как философский, метод сравнительного правоведения, метод комплексного исследования. Однако подлинно теоретический уровень достигается в том случае, когда выдвигаются научные гипотезы, формулируются законы и создаются теории. Этому уровню соответствуют различные методы объяснения конкретных явлений, среди которых можно выделить гипотетические, структурные, функциональные, метод абстрагирования, включающий в себя идеализацию и обобщение некоторых понятий, и метод обоснования гипотез и построения теорий. Этот уровень достижим только путем привлечения математики как наиболее универсального инструмента анализа материального мира. Диалектическая связь этих двух уровней заключается в том, что установление эмпирических фактов как первоначальный этап познания всегда осуществляется на базе определенных теоретических знаний предшествующего уровня, а сами эмпирические факты являются базой для повышения уровня теоретического знания в исследуемой области. Поэтому взаимодополняющая связь традиционных и математических методов заключается не в их противоположности, а как раз в том, что их универсальность позволяет обеспечить наглядность, точность и полноту исследуемого явления. Благодаря этому расширяется поле для осмысления при помощи традиционных средств тех областей исследуемого явления, которые были скрыты от наблюдателя фрагментарностью эмпирической картины явления.