Владимир Цай - Кто в армии служил...

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

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

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

К таким требованиям можно отнести следующие:

– понятность – все, кто подпадает под действие законов, должны понимать их;

– справедливость – кодекс законов должен соответствовать морали, сложившейся в данной области;

– полнота – кодекс должен максимально покрывать предметную область, то есть законы должны быть на все случаи жизни;

– непротиворечивость – применение законов должно давать однозначное решение, не могут быть выведены одновременно некоторое утверждение и его отрицание;

– разрешимость – любой случай, подпадающий под действие законов, должен быть разрешен применением этих законов (не должно быть тупиковых ситуаций);

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

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

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

Системы искусственного интеллекта создали предпосылки для преодоления этого препятствия. Были разработаны языки представления законов, достаточно понятные и удобные для законодателей, с одной стороны, и допускающие эффективную реализацию на компьютере, с другой стороны. Естественно, законодатели проходили специальное обучение, а специальные консультанты (инженеры знаний) оказывали необходимую помощь. Созданный таким образом электронный кодекс законов удовлетворял перечисленным выше требованиям и допускал «электронный» вывод заключений.

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

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

Кодекс содержит следующие типы предложений:

– объекты – автомобиль (тип автомобиля, тип кузова, мощность двигателя, количество дверей…), улица (тип улицы, покрытие, количество рядов…), водитель (имя водителя, номер удостоверения, номер лицензии…) и т. д.;

– отношения – водитель В ведет автомобиль А, автомобиль А двигается по улице У, автомобиль А является помехой справа для автомобиля Б, и т. д.;

– предписывающие правила, например, «знак разрешает движение только направо»;

– запрещающие правила, например, «запрещается проезд перекрестка на запрещающий сигнал светофора».

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

Информация об объектах дорожного движения хранится в таблицах базы данных, таких как:

В процессе трафика эти объекты могут находиться в отношениях, таких как:

Водитель за рулем Автомобиля;

Автомобиль двигается по Участок улицы в Направление; (Направление может быть «прямое» или «обратное»);

Автомобиль пересекает Перекресток;

Автомобиль А является помехой справа для Автомобиля Б;

запрещается движение Автомобиля;

Этими отношениями описывается ситуация, сложившаяся к некоторому моменту в дорожном движении, например, предшествующая дорожно-транспортному происшествию.

Правила дорожного движения связывают одни отношения с другими, например, следующее правило определяет случай, когда автомобиль А является помехой справа для автомобиля Б (оба автомобиля пересекают перекресток П улиц У1 и У2, автомобиль А двигается по улице У1 в прямом направлении, а автомобиль Б – по улице У2 в обратном направлении):

А двигается по У1 в Н1 и

Б двигается по У2 в Н2 и

пересекаются У1 сУ2 на П и

перекресток П – «нерегулируемый» и

А пересекает П и Б пересекает П и

Еще один пример правила, запрещающего автомобилю выезд на перекресток при наличии помехи справа: А запрещается выезд на перекресток П, если

Б пересекает П и Б является помехой справа для А.

Системе, в которой эти правила представлены, можно задавать вопросы типа: запрещается ли А выезд на перекресток П.? И можно определить нарушителя правил дорожного движения.

Таким образом, все кодексы законов были переписаны и введены в компьютер. Не было больше противоречий и разночтений, а ответ на вопрос о виновности не зависел от человека.

е-судейство

Итак, в систему е-законодательства входили все кодексы законов в логической форме.

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