Понятия нормативно-организованного сообщества нормативной деятельности
Такие системы будут способны не только отыскивать по определенным ключевым словам и выдавать тексты соответствующих нормативных документов, но и давать пользователю советы, как ему следует поступать в той или иной конкретной житейской ситуации (аналогично тому, как это в настоящее время делают адвокаты или юрисконсульты).
В принципе, возможно использование любых математических понятий с целью построения на их основе соответствующих формально-логических моделей нормативной деятельности. Каждая из таких моделей будет обладать своими, только ей присущими, достоинствами и недостатками.
Применение различных математических понятий для создания спектра разнообразных подходов к построению формальнологических моделей нормативной деятельности дает возможность лучше, нагляднее и более разносторонне отразить и исследовать с разных позиций различные специфические аспекты нормативной деятельности.
Так, например, подход к формально-логическому моделированию нормативной деятельности, основанный на применении для этой цели математического понятия блок-схем алгоритмов, весьма удобен для наглядного последовательно-временного представления и исследования корректности нормативных форм поведения различных объектов нормативной деятельности в тех случаях, когда эти формы поведения задаются в виде подробных инструкций, правил и тому подобных детализированных нормативных документов, которые обычно бывают весьма насыщенными процедурными фрагментами.
С другой стороны, для формально-логического описания, моделирования и исследования свойств нормативных документов, задающих главным образом различного рода нормативные отношения между объектами нормативной деятельности и имеющих в основном описательный (декларативный) характер, наиболее удобно использовать математический аппарат логики предикатов
Важнейшим достоинством математического аппарата логики предикатов является также то, что он по своей сути полностью адекватен декларативным языкам программирования (типа языка ПРОЛОГ) и в настоящее время представляется одним из наиболее перспективных с точки зрения построения на его основе правовых информационно-советующих экспертных систем.
В настоящей же работе исследуется возможность построения формально-логических моделей нормативной деятельности на основеиспользования математического понятия конечного автомата и его отдельных составляющих: внутренних состояний, входных событий, функций переходов и т.п.
Преимущества автоматного моделирования нормативной деятельности заключаются, в частности, в следующем:
Автоматный подход к моделированию нормативной деятельности дает возможность достаточно естественным образом ввести и затем широко использовать ряд весьма важных и принципиальных для формально-логической части общей теории права понятий нормативного состояния, нормативного параметра и т.п.
Представление автоматных моделей нормативной деятельности на абстрактном уровне в виде графов переходов является, пожалуй, наиболее удобной формой для наглядно-графического представления и восприятия внутренней логической структуры любого вида нормативной деятельности, насыщенной процедурными элементами. С этой точки зрения графическое представление автоматных моделей нормативной деятельности на абстрактном уровне сопоставимо по наглядности и удобству с блок-схемным представлением алгоритмических моделей нормативной деятельности.
Использование автоматных моделей нормативной деятельности на структурном уровне оказывается весьма удобным средством для внутреннего представления в ЭВМ такого рода моделей нормативной деятельности. Это позволяет надеяться на то, что структурно-автоматные модели нормативной деятельности могут быть использованы при разработке внутренних форм представления данных в информа-ционно-советующих правовых системах.
Понятия нормативно-организованного сообщества нормативной деятельности
Определение 1. Нормативно-организованным сообществом будем называть любую достаточно устойчивую группу лиц, которая обладает следующими отличительными признаками:
а) существуют достаточно четко и однозначно понимаемые и, как правило, выполняемые всеми членами данной группы лиц нормы (правила) поведения членов этой группы в тех или иных достаточно широко и однозначно определенных ситуациях, а также условия и степень ответственности членов этой группы при невыполнении ими в соответствующих ситуациях данных норм поведения;
б) внутри данной группы лиц имеется определенное непустое подмножество лиц, составляющих ее властное ядро, которое осуществляет достаточно формальным образом нормотворческие, административно-распорядительные и карательные функции по отношению ко всем членам данной группы лиц;
в) имеется достаточно высокий уровень признания всеми членами данной группы лиц как легитимности указанных в пункте "а" норм поведения членов этой группы и условий наступления ответственности при их невыполнении, так и правомочий указанного в пункте "б" властного ядра данной группы лиц.
Данное определение охватывает все достаточно формально организованные группы лиц, начиная от мелких предприятий и кончая государством в целом. Последний крайний случай, когда в качестве рассматриваемого сообщества берется все государство в целом, является наиболее интересным с юридической точки зрения, т.к. в этом случае описываемый в настоящей работе подход можно отнести не только к проблематике правовой информатики, но и к формальнологическим аспектам весьма глубоко разработанной проблематики общей теории права.
Определение 2. Деятельность отдельных лиц в рамках любого нормативно организованного сообщества будем называть нормативной деятельностью.
Описываемый ниже подход к автоматному моделированию нормативной деятельности не зависит не только от размеров, но и от социальной значимости любой формально организованной группы лиц.
Чтобы не ограничиваться только классической (чисто правовой) областью исследований, в которой главным является рассмотрение содержательно-юридической сути нормативных документов, а не их формально-логической структуры, мы в дальнейшем, по мере возможности, не будем использовать термины "право", "закон" и т.п. , а будем применять с формально-логической точки зрения более обширные и менее ангажированные в юриспруденции термины: "правило", "норма" и т. п.
Объекты нормативной деятельности.
Нормативное пространство
Любой нормативный документ в общем случае задает некоторые нормативные отношения между определенными объектами нормативной деятельности и описывает некоторые процедурные действия, осуществляемые с этими же объектами.
Определение 3. Любые фигурирующие в нормативных документах объекты, которые могут в соответствии с этими документами находиться в нескольких нормативно различных состояниях, будем называть объектами нормативной деятельности G.
Можно также сказать, что к объектам нормативной деятельности может быть отнесено все то, с чем оперируют нормативные документы или то, по отношению к чему могут быть легитимно применены эти документы (с определенными правовыми последствиями этого применения).
Ясно, что в соответствии с определением 3 объектами нормативной деятельности, в частности, являются:
а) все физические и юридические лица;
б) все материальные объекты, которые в соответствии с какими-либо нормативными документами могут находиться в нескольких нормативно значимых состояниях (например, только что купленный телевизор может быть исправен или неисправен);
в) все нематериальные объекты, которые также могут находиться в нескольких нормативно значимых состояниях (например, некоторое решение суда R может в течение определенного времени t либо быть опротестовано, либо вступить в законную силу, либо быть отменено вышестоящим судом и т.д.)
Полностью перечислить и дать исчерпывающую внутреннюю классификацию всех видов объектов нормативной деятельности в данной работе не представляется возможным. Однако ясно, что в общем виде понятие объекта нормативной деятельности предельно широко и достаточно однозначно понимаемо.
Определение 4. Будем говорить, что любой нормативный документ D задает некоторое нормативное пространство PD, которое представляет собой совокупность множества ф отношений между объектами нормативной деятельности Оь G2,..., Gn , фигурирующими в нормативном документе D, и множества FD процедурных действий над этими же объектами.
Таким образом, нормативное пространство PD, определяемое нормативным документом D, задается тройкой:
Pd = Gd, Фо, Fd,
где:
Gd = (G1t G2,.. , 0Пв} - множество объектов нормативной деятельности, фигурирующих в нормативном документе D;
ф = (ф1г ф2,..ф D} - множество отношений между объектами нормативной деятельности из множества Gd, описываемых в нормативном документе D;
Fd = (Fi, F2,..., F mD} - множество процедурных действий над
объектами нормативной деятельности из множества GD, предписываемых в этом же документе D.
В общем случае один и тот же объект нормативной деятельности G одновременно фигурирует в неограниченном множестве нормативных пространств Pi, P2, ..,Pw,каждое из которых образуется своим набором нормативных документов.
На каждом нормативном пространстве Pw один и тот же объект нормативной деятельности G имеет свое, в общем случае отличное от других, отображение Gw.
Например, один и тот же студент Петров В.Н. с точки зрения его обучения в ВУЗе действует в одном нормативном пространстве, характеризуется соответствующим этому пространству набором нормативных параметров и имеет соответствующее отображение в этом пространстве, а дома по отношению к своей семье он уже действует в другом нормативном пространстве, характеризуется другим набором нормативных параметром и имеет другое отображение как объект нормативной деятельности. Ясно, что, несмотря на различия, пересечение этих нормативных пространств и наборов нормативных параметров - не пусто.
Определение 5. Нормативное пространство Р% = G§ F будем называть объединением нормативных пространств Pi и Pj и обозначать
Р = Pi U Pj,
если = Gi U Gj, = Фі U %j, = Fi U Fj.
В соответствии с Определением 5 нетрудно видеть, что если некоторое нормативное пространство Рх = Gx, %х, Fx образовано совокупностью нормативных документов Di, D2,Dn, каждый из которых задает нормативное пространство Pi = Gi, % Fi, i = 1, 2,...,n, то
i=1
Рх = U Pi ,
где Gx = U Gi , %x = U Ф, Fx = U F,
i=1 i=1 i=1
Таким образом, любое непустое множество нормативных документов задает соответствующее этому множеству нормативное пространство. С этой точки зрения над нормативными пространствами можно выполнять все те операции, которые определены для любых множеств (операции объединения, пересечения и др.).
В этом же смысле можно также говорить о включении одного нормативного пространства в другое и т.п.
Естественно, что если в одно нормативное пространство соединить несколько совершенно не связанных между собой нормативных документов (не пересекающихся по множествам объектов нормативной деятельности), то, даже несмотря на то, что с формальной точки зрения это объединение тоже будет являться некоторым нормативным пространством, с практической (содержательной) точки зрения попытки математического моделирования и исследования такого нормативного пространства мало что дадут.
Поэтому, естественно, что для практически значимых целей желательно объединять в одно нормативное пространство достаточно сильно связанные между собой нормативные документы, в которых устанавливаются отношения и описываются действия из одной предметной области.
Нормативные параметры
Каждый объект нормативной деятельности G в рамках некоторого нормативного пространства Р характеризуется соответствующим этому нормативному пространству подмножеством нормативно значимых параметров q1t q2,..., qm этого объекта.
Определение 6. Нормативным параметром qx (X е {1, 2,...,m}) объекта нормативной деятельности G в нормативном пространстве Р называется любая нормативно значимая характеристика данного объекта, которая в каждый момент времени t, принимает значения из некоторого непустого множества нормативно различных и допустимых (в пределах нормативного пространства Р) значений jl(qx) этой характеристики.
В соответствии с этим определением, можно сказать, что с нормативной точки зрения каждый нормативный параметр qx характеризует в пределах заданного нормативного пространства Р одну из нормативно значимых сторон всего объекта нормативной деятельности G.
Например, Петров Виктор Николаевич является гражданином Российской Федерации, имеет высшее образование, ему 38 лет, женат, не судим, имеет двоих несовершеннолетних детей, у него такой-то счет в таком-то банке, проживает по такому-то адресу и т.п. Все это примеры простейших нормативных параметров объекта нормативной деятельности, каковым является Петров В.Н. Можно привести примеры и менее очевидных нормативных параметров данного объекта нормативной деятельности. Например, у Петрова В.Н. через 2 дня истекает срок оплаты счета за пользование телефоном в прошлом месяце.
Вместе с тем вряд ли можно отнести к нормативным параметрам Петрова В.Н. то, что он любит рубашки синего цвета и их у него накопилось восемь штук, или то, что он, скажем, весьма экономный малый и использует после бритья дешевый одеколон.
Многие параметры Петрова В.Н. можно отнести к нравственным, эстетическим и другим характеристикам его личности. Однако если какие-либо характеристики его личности не фигурируют ни в одном нормативном документе, определяющем хотя бы какую-нибудь сторону именно правового статуса Петрова В.Н. (т.е. определяющем формально-логическое отношение к нему других объектов нормативной деятельности), то эти характеристики нельзя считать его нормативными параметрами.
Ясно, что полностью множество нормативных параметров любого объекта нормативной деятельности не может быть задано в явном виде, т.к. всегда остается вероятность того, что в каком-то нормативном документе фигурирует еще какой-либо существенный (с точки зрения этого документа) параметр данного объекта нормативной деятельности. Однако ясно также и то, что, несмотря на относительную неполноту любого конкретного подмножества нормативных параметров любого объекта нормативной деятельности, объединение всех этих подмножеств конечно.
Каждый из нормативных параметров имеет различную природу.
Нормативным параметром может быть логическая переменная, принимающая всего два значения: "истина" или "ложь".
Например, на вопрос "Имеет ли Петров В.Н. судимость?" мы можем выбрать в качестве ответа только одно значение из множества {"да", "нет"}. Допустим, что ответом является "нет".
Этот нормативный параметр может быть задан и несколько по-другому, а именно в виде утверждения "Петров имеет судимость", которое может принимать логические значения из множества {"истина", "ложь"}. В данном случае приведенное выше утверждение имеет значение "ложь".
Значения некоторых нормативных параметров могут задаваться только лишь целыми положительными числами. Например, нормативный параметр "количество детей" принимает значения из множества {0, 1, 2,...}.
Некоторые нормативные параметры принимают только положительные числовые значения с целой и дробной частью, но с определенной, имеющей юридический смысл точностью.
Например, нормативный параметр "площадь квартиры Петрова В.Н" задается в виде числа 62,3 м2, имеющего целую и дробную часть, которая определена с точностью до десятой части метра квадратного. Иногда (хотя трудно себе представить реально такую ситуацию) данный нормативный параметр, видимо, может определяться с точностью до двух или трех десятичных знаков после запятой.
Но, наверное, ни в одном нормативном документе не фигурирует требование определять площадь квартиры с точностью до 5, 10 и т.д. знаков после запятой.
Существуют нормативные параметры, которые могут также принимать символические значения. Например, нормативный параметр "цвет зажженного огня светофора" может принимать (в случае нормального режима его работы) одно из следующих значений: "красный", "желтый", "зеленый", "мигающий желтый" и т.п.
Нормативное состояние
Понятие нормативного состояния объекта нормативной деятельности является одним из наиболее важных и фундаментальных понятий, которое может широко использоваться как в теоретических исследованиях в области нормативной деятельности, так и в случае практических разработок информационно-советующих правовых экспертных систем.
Содержательная суть этого понятия определяется и объясняется тем очевидным обстоятельством, что в любой момент времени t, любой объект нормативной деятельности G в любом нормативном пространстве Р может иметь один и только один допустимый набор значений своих нормативных параметров. Другими словами, любой объект нормативной деятельности, в рамках любого заданного нормативного пространства Р ни при каких обстоятельствах не может иметь одновременно (т.е. в один и тот же момент времени tt) два или более различных наборов значений своих нормативных параметров, не может также он не иметь их совсем.
Определение 7. Пусть нормативные параметры q1t q2,...,qn объект а нормативной деятельности G в нормативном пространстве Р в момент времени ti имеют значения qx(tj), Я = 1, 2,...,n. Кортеж
QG (t) = q1(ti), q2(ti),..., qn(ti)
будем называть нормативным состоянием объекта нормативной деятельности G в нормативном пространстве Р в момент времени ti.
Сформулированное подобным образом определение понятия нормативного состояния объекта нормативной деятельности G в нормативном пространстве Р в соответствии с терминологией, используемой в теории автоматов, задает так называемую структурную форму представления текущего внутреннего нормативного состояния объекта G. Таким образом, структурные нормативные состояния объектов нормативной деятельности задаются в виде упорядоченных совокупностей состояний отдельных нормативных параметров этих объектов. В этом смысле значения отдельных нормативных параметров можно считать структурными составляющими нормативных состояний объектов нормативной деятельности.
Вместе с тем, используя теоретико-автоматные термины, можно рассматривать нормативные состояния объектов нормативной деятельности также и на абстрактном (неструктурированном) уровне. На этом уровне каждое нормативное состояние объекта нормативной деятельности G в нормативном пространстве Р представляется как одно целое неделимое понятие, имеющее, как правило, определенный содержательный нормативный смысл и помеченное в этой связи собственным именем (или, в крайнем случае, порядковым номером).
В случае если все нормативные параметры объекта нормативной деятельности G в нормативном пространстве Р имеют дискретный характер и общее их число конечно, то множество нормативных состояний этого объекта нормативной деятельности тоже конечно.
При этом следует отметить, что далеко не все теоретически возможные наборы значений нормативных параметров являются допустимыми, т.е. имеющими реальный смысл и могущими хотя бы теоретически встречаться в реальной жизни.
Множество различных сочетаний значений отдельных нормативных параметров объекта G имеет мощность
N
м = П Ма,
А=1
где МА - мощность множества возможных значений, которые может принимать нормативный параметр qA (А = 1, 2,...,N) объекта G в нормативном пространстве Р.
Определение 8. Множество Q=(Qu Q2,...,QR}, (R M) теоретически допустимых (достижимых) сочетаний значений отдельных параметров объекта G называется множеством внутренних состояний автоматной модели А объекта нормативной деятельности G в нормативном пространстве Р.
Входные сигналы. Функция переходов
Пусть в момент времени t объект нормативной деятельности G в нормативном пространстве P находится в состоянии
Q G (t) = Q1(ti), qz(ti),... ,qn(t,).
В этом состоянии объект нормативной деятельности G в общем случае может находиться неопределенное время.
В дальнейшем всегда, если это не оговорено особо, будем полагать, что речь идет об одном и том же нормативном пространстве P.
Переход объекта G из одного состояния в другое происходит в тот момент, когда меняется текущее значение одного или одновременно нескольких параметров объекта G.
Все множество причин, по которым могут изменять свои текущие значения нормативные параметры любого объекта G, можно разделить на два принципиально различных между собой класса причин, которые назовем соответственно внешними и внутренними.
Под внешними причинами, обуславливающими возможные изменения значений нормативных параметров объекта G, будем понимать любые нормативно значимые события, которые не являются детерминированными (однозначно обусловленными, предопределенными) с точки зрения текущего состояния объекта G и нормативных документов D1, D2,... ,Dk, образующих нормативное пространство Р.
Под внутренними причинами возможных изменений текущих значений нормативных параметров объекта G будем понимать любые нормативно-значимые события, факт происхождения которых однозначно вытекает из текущего состояния объекта G и нормативных документов, задающих нормативное пространство Р.
Определение 9. Внешние и внутренние причины, вызывающие изменения внутренних состояний объекта G, будем называть соответственно внешними и внутренними входными сигналами автоматной модели А данного объекта.
Например, все тот же студент Петров В.Н., подойдя к трамвайной остановке, может по собственному волеизъявлению либо войти в подошедший трамвай, либо не войти в него. При этом возможный юридический факт вхождения Петрова В.Н. в трамвай не определяется однозначно его текущим нормативным состоянием.
Поэтому случай возникновения указанного юридического факта (если Петров В.Н. все-таки решился войти и фактически вошел в трамвай) на автоматном уровне моделирования нормативного поведения Петрова В.Н., согласно приведенному выше определению, отражается появлением соответствующего внешнего входного сигнала.
Однако, после того как Петров В.Н. все-таки вошел в трамвай, он однозначно вынужден будет выполнить одно из следующих альтернативных действий:
а) оплатить проезд в трамвае (купить билет или пробить в компостере ранее купленный билет);
б) предъявить кондуктору (или окружающим пассажирам) документ, дающий ему право не выполнять действия, описываемые в п."а" (предъявить либо месячный билет или другой проездной документ, либо удостоверение лица, освобожденного от оплаты за проезд в трамвае);
в) не сделать ничего из указанного в п. п. "а" и "б" и тем самым перевести соответствующий свой нормативный параметр в состояние, отражающее уровень нарушения им установленных норм пользования трамваем.
Факт возникновения хотя бы одного из трех перечисленных выше нормативно различных вариантов действий Петрова В.Н. после входа его в трамвай однозначно вытекает из его текущего внутреннего состояния, в которое он перешел, войдя в трамвай. Следовательно, все три возможных варианта поведения Петрова В. Н. в трамвае на автоматном уровне моделируются тремя различными внутренними входными сигналами.
Переходы объекта G из одного текущего состояния в другое под воздействием сформулированных в определении 8 входных сигналов обуславливаются функцией переходов автоматной модели А.
Устойчивые и неустойчивые состояния. Общая схема функционирования автоматной модели
Множество Q допустимых внутренних состояний автоматной
модели А объекта нормативной деятельности G в общем случае разби-
/
вается в свою очередь, на два не пересекающихся подмножества Q и // / //
Q , где Q - множество устойчивых внутренних состояний, а Q -множество неустойчивых внутренних состояний автоматной модели А.
Определение 10. Устойчивым называется такое внутреннее со' / P
стояние Q рЕ Q автоматной модели А G объекта нормативной деятельности GP, из которого автомат А G может перейти в другое внутреннее состояние только лишь под воздействием внешних входных сигналов.
Определение 11. Неустойчивым (промежуточным) называется
и //
такое внутреннее состояние Q ve Q автоматной модели А G объекта
