Кто в армии служил...
Шрифт:
Одним из главных препятствий на пути использования формальной логики в законотворчестве, помимо традиций и косности, была сложность формальных языков как для написания, так и для чтения.
Системы искусственного интеллекта создали предпосылки для преодоления этого препятствия. Были разработаны языки представления законов, достаточно понятные и удобные для законодателей, с одной стороны, и допускающие эффективную реализацию на компьютере, с другой стороны. Естественно, законодатели проходили специальное обучение, а специальные консультанты (инженеры знаний) оказывали необходимую помощь. Созданный таким образом электронный
Первым е-кодексом были правила дорожного движения. Они были наиболее правильными с точки зрения формальной логики. Даже инспектор соответствующей службы не мог трактовать их по-своему (в развивающихся странах инспекторы брали взятки, либо используя правила, либо нарушая их).
Будем считать, что кодекс правил дорожного движения представляет собой список запрещающих и разрешающих правил, а все понятия, которые используются в правилах, описаны определениями объектов и отношений между ними.
Кодекс содержит следующие типы предложений:
– объекты – автомобиль (тип автомобиля, тип кузова, мощность двигателя, количество дверей…), улица (тип улицы, покрытие, количество рядов…), водитель (имя водителя, номер удостоверения, номер лицензии…) и т. д.;
– отношения – водитель В ведет автомобиль А, автомобиль А двигается по улице У, автомобиль А является помехой справа для автомобиля Б, и т. д.;
– предписывающие правила, например, «знак разрешает движение только направо»;
– запрещающие правила, например, «запрещается проезд перекрестка на запрещающий сигнал светофора».
Далее приведены примеры представления перечисленных понятий на некотором гипотетическом языке. Его основные конструкции должны быть понятны всем водителям, а конструкций очень много, интуитивно из приведенных примеров.
Информация об объектах дорожного движения хранится в таблицах базы данных, таких как:
В процессе трафика эти объекты могут находиться в отношениях, таких как:
Водитель за рулем Автомобиля;
Автомобиль двигается по Участок улицы в Направление; (Направление может быть «прямое» или «обратное»);
Автомобиль пересекает Перекресток;
Автомобиль А является помехой справа для Автомобиля Б;
запрещается движение Автомобиля;…
Этими отношениями описывается ситуация, сложившаяся к некоторому моменту в дорожном движении, например, предшествующая дорожно-транспортному происшествию.
Правила дорожного движения связывают одни отношения с другими, например, следующее правило определяет случай, когда автомобиль А является помехой справа для автомобиля Б (оба автомобиля пересекают перекресток П улиц У1 и У2, автомобиль А двигается по улице У1 в прямом направлении, а автомобиль Б – по улице У2 в обратном направлении):А является помехой справа для Б, если
А двигается по
Б двигается по У2 в Н2 и
пересекаются У1 сУ2 на П и
перекресток П – «нерегулируемый» и
А пересекает П и Б пересекает П и(Н1 = «прямо» и Н2 = «обратно») или (Н2 = «прямо» и Н1 = «обратно»).
Еще один пример правила, запрещающего автомобилю выезд на перекресток при наличии помехи справа: А запрещается выезд на перекресток П, если
Б пересекает П и Б является помехой справа для А.
Системе, в которой эти правила представлены, можно задавать вопросы типа: запрещается ли А выезд на перекресток П.? И можно определить нарушителя правил дорожного движения.
Таким образом, все кодексы законов были переписаны и введены в компьютер. Не было больше противоречий и разночтений, а ответ на вопрос о виновности не зависел от человека.
е-судейство
Итак, в систему е-законодательства входили все кодексы законов в логической форме.
Во время следствия на основании показаний свидетелей составлялось описание ситуации, в условиях которой было совершено преступление. Показания свидетелей, независимо от того, на какой стадии расследования или в суде они давались, приводились к форме фактов, которые могла воспринимать электронная система. Факты содержали степень уверенности, которая определялась совместно свидетелем и участниками судебного расследования. Противоречащие факты исключались.
По окончании следствия все полученные факты передавались в систему е-судейства, которая, используя полученные факты и кодексы законов, могла определить виновных, степень виновности, мотивы преступления и т. д. К каждому ответу системы прилагалась вся логическая последовательность вывода этого ответа. Правосудие вершил человек, а е-судья использовался как один из экспертов, дающий обоснованные ответы на запросы судей.
Следующий уровень развития е-судейства – е-свидетель. Видеокамеры были установлены практически везде, и в большинстве случаев в качестве свидетельских показаний рассматривались видеозаписи, относящиеся к делу – например, на видеокамерах, установленных на перекрестках, всегда записывались дорожно-транспортные происшествия. Специальное программное обеспечение определяло момент выезда автомобиля на перекресток, скорость движения, момент столкновения и др. подробности, необходимые для определения нарушения правил.
И, наконец, е-присяжный. В наиболее значимых делах допускалось любое количество присяжных заседателей – чем больше независимых присяжных, тем объективнее решение. Процедура отбора присяжных была сложна, но обеспечивала их достаточную объективность. Присяжному обеспечивалась полная анонимность, а голосование было тайным.
Использование электронных систем законодательства, е-свидетелей и е-присяжных практически исключило принятие неправильных решений. Судья играл роль английской королевы. Для того чтобы не согласиться с вердиктом е-судьи, он должен был привести очень серьезное обоснование. В этом случае дело отправлялось на доследование.