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

е-коррупция

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

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

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

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

С изобретателями мотивов для вымогательства взяток (взяточниками) боролись исключительно публично, обсуждая и предлагая способы устранения мотива. Переводить чистое вымогательство на системный уровень с организацией устойчивых объединений было бессмысленно. Гораздо проще было лоббировать компании, выполняющие вполне определенные виды работ, и там удовлетворять свои интересы.

е-законодательство

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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