Кто в армии служил...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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