ТОП авторов и книг ИСКАТЬ КНИГУ В БИБЛИОТЕКЕ
Программисты разработали свои наиболее впечатляющие инструменты для и
спользования в самом компьютерном бизнесе. Пример Ц программное обесп
ечение для проектирования чипа. Чипы интегральной схемы сейчас содержа
т много тысяч транзисторов и соединений. Разработчики когда-то были вын
уждены работать в течение многих месяцев, чтобы разработать схему для вы
полнения определённой работы, и расположить её многие части по поверхно
сти чипа. Сегодня они могут часто поручить эту задачу так называемому "си
ликоновому компилятору". Имея спецификацию на функцию чипа, эти системы
программ могут производить детализированную разработку схемы, готовой
для производства, с небольшой или вообще без человеческой помощи.
Все эти системы основываются целиком на человеческом знании, тщательно
собранном и закодированном. Наиболее гибкие автоматизированные систем
ы проектирования сегодня могут варьировать предложенный проект для по
иска усовершенствований, но они не узнают ничего применимого к следующе
му проекту. Но EURISKO отличается. Разработанная профессором Дугласом Ленато
м и другими в Стэндфордском университете, EURISKO предназначена для исследов
ания новых областей знания. Она управляется эвристиками Ц кусочками зн
ания, которые подсказывают возможные действия, которым можно следовать,
или те, которые нужно избегать; по сути, различные "правила большого пальц
а". Она использует эвристики, чтобы подсказывать темы, над которыми нужно
работать, и другие эвристики, чтобы подсказывать, какие подходы попробов
ать и как оценить результаты. Ещё одни эвристики ищут устойчивые структу
ры в результатах, предлагая новые эвристики, и ранжируют ценность и новы
х, и старых эвристик. Таким образом EURISKO вырабатывает лучшее поведение, луч
шие внутренние модели, и лучшие правила выбора между внутренними моделя
ми. Сам Ленат описывает вариацию и отбор эвристик и принципов в системе т
ерминов «мутация» и «селекция», и подсказывает социальные, культурные м
етафоры для понимания их взаимодействия.
Поскольку в EURISKO эвристики эволюционируют и конкурируют, имеет смысл ожид
ать, что появятся паразиты Ц как действительно многие появляются. Одна
произведенная машиной эвристика, например, повысилась до самой высокой
возможной оценки ценности, заявляя, что она помогла открыть каждую ценну
ю новую догадку. Профессор Ленат работал близко с EURISKO, улучшая её умственн
ую иммунную систему, давая ей эвристики для отсеивания паразитов и избеж
ания глупых линий рассуждения.
EURISKO использовалась для исследования элементарной математики, программи
рования, биологической эволюции, игр, трехмерной конструкции интеграль
ных схем, сбора нефтяных пятен, слесарного дела, и, конечно, самих эвристик
. В некоторых областях она поразила своих проектировщиков новыми идеями
, включая новые электронные устройства в возникающей технологии 3-мерны
х интегральных схем.
Результаты турнира иллюстрируют мощь команды, состоящей из людей и маши
н с ИИ. Traveller TCS Ц футуристическая игра в войну на море, включающая две сотни с
траниц правил, которые определяют конструкцию, стоимость и ограничения
возможностей для флота ("TCS" расшифровывается как Trillion Credit Squadron Ц "Эскадра, стоящ
ая триллион"). Профессор Ленат дал EURISKO эти правила, набор стартовых эвристи
к и программу для моделирования битвы между двумя флотами. Он сообщает, ч
то "затем она разрабатывала флот за флотом, используя симулятор как меха
низм "естественного отбора" по мере того, как она разрабатывала всё лучши
е и лучшие проекты флота." Программа работала всю ночь, разрабатывая, тест
ируя и извлекая уроки из результатов. Утром Ленат отбраковал плохие прое
кты и помог их улучшить. Он приписывает около 60 процентов результатов себ
е и около 40 процентов Ц EURISKO.
Ленат и EURISKO вступили в национальный турнир 1981 года по игре Traveller TCS турнир со фло
том, выглядящим странно. Другие соперники над ним смеялись, но затем ему п
роиграли. Флот Ленат/EURISKO выиграл все раунды, став как национальным чемпион
ом. Как Ленат замечает, ""Эта победа делается более значительной тем факто
м, что никто, кто делал эту программу никогда не играл в эту игру до турнир
а, не видел, как в неё играют, и не было ни одного тренировочного раунда."
В 1982 спонсоры соревнования изменили правила. Ленат и EURISKO пришли с очень отл
ичающимся от предыдущего флотом. Другие соперники снова смеялись над ни
м, но затем проиграли. Ленат и EURISKO снова выиграли национальное первенство.
В 1983 спонсоры соревнования сказали Ленату, что, если он вступит и победит с
нова, соревнование будет отменено. Ленат откланялся.
EURISKO и другие программы ИИ показывают, что компьютеры обязаны ограничиват
ься скучной, повторяющейся работой, если им дают правильный вид программ
ирования. Они могут исследовать возможности и открывать новые идеи, кото
рые удивляют их создателей. EURISKO имеет недостатки, однако она указывает пут
ь к чему-то вроде партнёрства, в котором и система ИИ, и человек-эксперт вк
ладывают знание и творчество в процесс разработки.
В следующие годы, подобные системы преобразят инжиниринг. Разработчики
будут работать в творческом партнёрстве со своими машинами, используя п
рограммное обеспечение, выросшее из сегодняшних автоматизированных си
стем проектирования для выполнения моделирования, и используя эволюци
онирующие, EURISKO-подобные системы для генерации предложений, какие констру
кции моделировать. Инженеры будут сидеть у экрана, чтобы вводить цели дл
я процесса разработки и рисовать эскизы предлагаемых конструкций.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117