Максим Дегтярев - Условный переход (Дело интуиционистов)

• Название: Условный переход (Дело интуиционистов)
• Автор: Максим Дегтярев
• Жанр: Детективная фантастика

Детективу Федру Ильинскому, работающему в фаонском Отделе Оперативных Расследований (сам он предпочитает называть свою контору «Редакцией») получено разыскать некого загадочного «Человека с гвоздем». И роботов. Роботов пожалуй даже в первую очередь!

---

Согнав шимпанзе с пульта управления, Монт принялся объяснять Гроссману, как они управляются с роботами. Я решил, что кибернетик и без меня все запомнит правильно, посему не вникал, а просто следил, так сказать, за обстановкой. Между тем на пост забрел робот. Вид у него был такой, будто он ошибся дверью. Оказалось, его смущало присутствие обезьяны. Той тоже что-то не понравилось в роботе; гримасничая и вереща, она начала прыгать вокруг него, стремясь дотянуться до тумблера экстренного выключения. Чтобы уяснить суть спора, я подошел к ним поближе.

— Братья по разуму, — усмехнулся Гроссман в нашу сторону.

Монт объяснил:

— Лиззи злится на роботов за то, что они могут снять ее с пальмы, как бы высоко она ни забралась.

— Зачем они ее снимают? — спросил я. — Принимают за вредителя?

— Снимают, потому что я прошу их об этом. А она думает, что роботы едят ее бананы. Она видела, как они их собирают.

— Сейчас кто-то кого-то покалечит… — Я не был уверен в исходе драки. Уступая роботу в весе, Лиззи значительно превосходила его в ловкости. К тому же, в ближнем бою роботы неуклюжи как танки.

Монт пошел разнимать робота и обезьяну. Воспользовавшись этим, Гроссман понажимал несколько кнопок на пульте. Монт ничего не заметил.

На военном совете, состоявшемся в час дня местного времени в каюте, отведенной Гроссману, я получил устную благодарность:

— А вы молодец, — сказал Гроссман, сдерживая улыбку, — как вы догадались, что нужно отвлечь его внимание?

Понимая, что это мне зачтется, я взял всю ответственность на себя:

— Ваша рука так и тянулась к той кнопке. Пришлось устроить небольшой межэтнический конфликт.

— Сможете повторить?

— Легко! А что вы собираетесь сделать?

— Собираюсь дать роботам задание, которое позволит нам выявить, кто из них является потенциальным убийцей.

— Задачу на закон исключения третьего?

Гроссман посмотрел на меня чрезвычайно подозрительно.

— Еще тогда, когда вы упомянули Буриданова осла, я должен был спросить вас, не нарушаете ли вы наш договор, привлекая посторонних специалистов.

— К чему нам специалисты? На моем месте, любой бы об этом догадался. Male or female, проблема в следующем: что доблестней… На самом деле это наш эксперт сообразил, — тот, что входит в пятерку посвященных. — Я решил, что пора заканчивать приписывать себе чужие заслуги.

— У вас хорошая команда.

Эта похвала мне не понравилась тем, что она была сказана как бы о команде противника. Я напомнил:

— И она работает на вас. Поэтому прошу поделиться, какого вируса вы собираетесь запустить в систему управления роботами.

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

— Зачем нужна задержка?

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

— Интуиционисты потребуют у компьютера дополнительных данных.

— Интуиционисты? Вы так их назвали? Хорошо, пусть будут интуиционистами. Полбеды, если они запросят дополнительной информации. По крайней мере, мы узнаем, что они здесь есть. Будет хуже, если роботы впадут в ступор, как это произошло с Крабом Петерсонов. Компьютер перегрузит их, сняв все задания, и мы ничего не узнаем. Я подумаю, как избежать ступора. Не знаю как вы, а я начинаю получать удовольствие от того, что поиск роботов обратился в научную задачу. Нам известно, что есть некий относительно мыслящий субъект, обладающий характерным свойством игнорировать закон исключения третьего. Требуется найти его среди других субъектов, внешне неотличимых от искомого. Интересная задача, не правда ли?

— Станет интересной, если мы ее решим.

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

— Вы не сказали, в чем будет заключаться дилемма.

— Я еще сам этого не знаю. Условный переход должен быть сформулирован в понятных роботам терминах. Думаю, надо взять что-нибудь садоводческое. Я просмотрю локус «Деметры» и найду подходящую тему. На подготовку файла с заданием уйдет три-четыре часа. Монт не станет нас беспокоить, я сказал ему, что до вечера мы будем отдыхать.

— Он не удивится, когда кто-то из роботов укажет свои координаты?

— Роботы удивляют его каждый день. Вчера они начали собирать неспелые ананасы, а позавчера один из роботов подрезал вместо ветвей провода электропроводки. Не беспокойтесь, на ненужные координаты он не обратит внимания.

После того, что я услышал сначала от Эйтведа, а затем от Изиды, меня перестало удовлетворять ларсонское объяснение, почему роботы вдруг передумали исключать третье. Хотелось узнать, что по этому поводу думает Гроссман.

К счастью, он подтвердил мнение Ларсона:

— Логическая ошибка возникает в результате того, что в нейросимулятор внедрена программа, которой там быть не должно.

— Прошу прощение за дилетантство. Скажите, нейросимулятор робота является квантовым объектом?

— Все мы квантовые объекты.

— Я имел в виду аналогию с квантовым процессором у обычного компьютера.

— Аналогия, конечно, есть. В качестве нейронов в искусственной нейросети используются атомы, находящиеся в том или ином квантовом состоянии.

— Квантовый процессор, квантовая логика, нарушение закона исключения третьего… Тут нет никакой закономерности?

— Нет, конечно. Не надо смешивать название и содержание. Кроме того, закон исключения третьего работает и в квантовой логике. Разумеется, я говорю о трактовке фон Неймана, которая единственная из всех так называемых «квантовых логик» правильно отражает то, что происходит в квантовом процессоре. А роботы, кстати говоря, оперируют не квантовой логикой и не классической, а вероятностной. В вероятностной логике суждения не делятся на истинные и ложные. Вместо этого им приписывается определенный вес, то есть, число, заключенное между нулем и единицей. Чем больше вес, тем ближе данное суждение к истине. Если вес равен нулю, то суждение считается абсолютно ложным, если единице — абсолютно истинным. Поэтому вероятностная логика является обобщением классической, где суждения либо истинны, либо ложны. Под законом исключения третьего можно подразумевать правило, согласно которому сумма весов противоположных суждений должна равняться единице. Именно в этом месте у роботов и происходит ошибка. Грубо говоря, они неверно суммируют веса. Чисто вычислительная ошибка приводит к логическому парадоксу. Помнится, когда я учился в школе, мне предложили проверить доказательство того, что ноль равен единице. На первый взгляд оно было безошибочным. Я испытал почти мистическое потрясение. Ноль равен единице, истина неотличима от лжи… казалось, что придется пересмотреть свой взгляд на какие-то глубокие истины, хотя на самом деле в доказательстве содержался элементарный обман, шулерство, если угодно.

— Какой же?

— Обе части неравенства скрытно умножались на ноль. Неравенство превращалось в равенство. От этого ноль становился равным единице.

Аналогия напрашивалась сама собой. Я заметил:

— Умноженные на ноль, мы оказываемся по ту сторону добра и зла. Не думал, что это всего лишь математическая уловка.

— Все уловки — человеческие и похожи одна на другую. Каков человек, таковы и уловки.

Чтобы усвоить эту новую истину, мозгам требовалась передышка.

Чем я никогда не страдал, так это послеобеденной бессонницей. Разбудив меня в полпятого, Гроссман сказал, что файл готов и что теперь все зависит от меня. Я поинтересовался, чем он озадачит роботов.

— Измерением завтрашней температуры воздуха. Либо завтра в полдень температура будет выше двадцати по Цельсию, либо ниже, в любом случае приказ сообщить координаты отменяется. Робот-интуиционист подождет до завтра или, в худшем для нас случае, сообщит о причинно-следственной некорректности заданий. Он не впадет в ступор, поскольку дилемма, формально, не является для него неразрешимой. Трудность возникнет не с решением дилеммы, а с тем, что проверка условия назначена на срок более поздний, чем условный переход. На всякий случай, я поместил в программу еще одно условие: если задание по какой-то причине невыполнимо, то отменяется все, за исключением приказа сообщить координаты.