Чтение онлайн

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

А пересекает П и Б пересекает П и(Н1 = «прямо» и Н2 = «обратно») или (Н2 = «прямо» и Н1 = «обратно»).

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

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

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

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

е-судейство

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

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

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

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

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

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