машини проектування
Ми досить далеко просунулися на шляху до автоматизованої розробки. Розробники експертних систем продають системи, які допомагають людям вирішувати практичні проблеми. Програмісти створили автоматизовані системи проектування, які втілюють знання про форми і видах руху, навантаженні і напрузі, електронних схемах, потоках тепла, а також про те, як машини надають форму металу. Розробники використовують ці системи, щоб збагатити свої розумові моделі, прискорюючи еволюцію ще непобудованого конструкцій. Разом, розробники і комп'ютери створюють інтелектуальні напівштучний системи.
Інженери можуть використовувати широке розмаїття комп'ютерних систем для допомоги у своїй роботі. На одному кінці спектра, вони використовують екрани комп'ютера просто як дошки для малювання. Набагато далі цим шляхом, вони використовують системи, здатні описувати частини в трьох вимірах і обчислювати їх реакцію на тепло, навантаження, електричний струм і т. Д. Деякі системи також знають про виробничому обладнанні, керованому комп'ютером, дозволяючи інженерам робити модельовані тести інструкцій, які будуть пізніше направляти контрольовані комп'ютером машини на виробництво реальних деталей. Але на самому кінці цього спектра системи включають використання комп'ютерів не тільки для запису і тестування різних конструкцій, але і для їх генерування.
Програмісти розробили свої найбільш вражаючі інструменти для використання в самому комп'ютерному бізнесі. Приклад - програмне забезпечення для проектування чіпа. Чіпи інтегральної схеми зараз містять багато тисяч транзисторів і з'єднань. Розробники колись були змушені працювати протягом багатьох місяців, щоб розробити схему для виконання певної роботи, і розташувати її багато частин по поверхні чіпа. Сьогодні вони можуть часто доручити це завдання так званого "силіконового компілятору". Маючи специфікацію на функцію чіпа, ці системи програм можуть виробляти деталізовану розробку схеми, готової для виробництва, з невеликою або взагалі без людської допомоги.
Оскільки в 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-подібні системи для генерації пропозицій, які конструкції моделювати. Інженери сидітимуть біля екрану, щоб вводити цілі для процесу розробки і малювати ескізи пропонованих конструкцій. Система буде відповідати тим, що деталізувати конструкцію, тестувати її і відображати пропоновані альтернативи з поясненнями, графіками і діаграмами. Потім інженер буде вносити подальші пропозиції і зміни, або давати нове завдання, до тих пір, поки вся система обладнання не буде розроблена і змодельована.
У міру того, як автоматизовані технічні системи будуть поліпшуватися, вони будуть робити все більше роботи все швидше і швидше. Все частіше, інженер просто запропонує мети і потім вибере одне з оптимальних рішень, запропонованих машиною. Все менше і менше часто інженеру доведеться вибирати частини, матеріали та конфігурацію. Поступово інженери будуть здатні ставити більш загальні цілі і очікувати хороших рішень як само собою зрозуміле. Також, як EURISKO працював протягом годин, розробляючи флоти для симулятора Traveller TCS, автоматизовані системи проектування будуть в один прекрасний день старанно працювати над розробкою пасажирських реактивних літаків, що мають максимум безпеки і економічності, або над розробкою військових літаків і ракет, здатних щонайкраще контролювати повітряний простір.
Також, як EURISKO винайшов електронні пристрої, автоматизовані системи проектування майбутнього будуть винаходити молекулярні машини і молекулярні електронні пристрої, за допомогою програм для молекулярного моделювання. Такі успіхи в автоматизованій розробці посилять явище проектування вперед, описане раніше. Таким чином автоматизована розробка не тільки прискорить асемблерну революцію, вона прискорить стрибок, який за нею піде.
В кінцевому рахунку системи програмного забезпечення будуть здатні створювати сміливі нові проекти без людської допомоги. Чи буде більшість людей називати такі інтелектуальні системи? Це дійсно не має значення.