Штучний інтелект

Стаття на матеріалах Вікіпедії

Штучний інтелект - розділ інформатики, який вивчає можливість забезпечення розумних міркувань і дій з допомогою обчислювальних систем та інших штучних пристроїв. При цьому в більшості випадків заздалегідь невідомий алгоритм розв'язання задачі.

Точного визначення цієї науки не існує, так як філософії не вирішено питання про природу та статус людського інтелекту. Немає і точного критерію досягнення комп'ютерами «розумності», хоча на зорі штучного інтелекту було запропоновано ряд гіпотез, наприклад, тест Тюрінга або гіпотеза Ньюелла - Саймона. На даний момент є безліч підходів як до розуміння задачі ШІ, так і створення інтелектуальних систем.

Так, одна з класифікацій виділяє два підходи до розробки ШІ:

спадний, семіотичний - створення символьних систем, моделюючих високорівневі психічні процеси: мислення, міркування, мова, емоції, творчість і т. д.;
висхідний, біологічний - вивчення нейронних мереж та еволюційні обчислення, моделюючих інтелектуальна поведінка на основі більш дрібних «неінтелектуальних» елементів.

Ця наука пов'язана з психологією, нейрофізіологією, трансгуманизмом та іншими. Як і всі комп'ютерні науки, вона використовує математичний апарат. Особливе значення для неї мають філософія і робототехніка.

Штучний інтелект - дуже молода область досліджень, старт якому був даний в 1956 році. Її історичний шлях нагадує синусоїду, кожен «зліт» якої ініціювалось якоюсь новою ідеєю. Зараз її розвиток перебуває на «спад», поступаючись місцем застосування вже досягнутих результатів в інших галузях науки, промисловості, бізнесі і навіть повсякденному житті.

Підходи до вивчення

Існують різні підходи до побудови систем ШІ. На даний момент можна виділити 4 досить різних підходу:

1. Логічний підхід. Основою для логічного підходу служить Булева алгебра. Кожен програміст знайомий з нею і з логічними операторами з тих пір, коли він освоював оператор IF. Свій подальший розвиток Булева алгебра отримала у вигляді обчислення предикатів - у якому вона розширена за рахунок введення предметних символів, відносин між ними, кванторов існування та загальності. Практично кожна система ШІ, побудована на логічному принципі, являє собою машину докази теорем. При цьому вихідні дані зберігаються в базі даних у вигляді аксіом, правила логічного виводу як відносини між ними. Крім того, кожна така машина має блок генерації мети, і система виведення намагається довести дану мету як теорему. Якщо мета доведена, то трасування застосованих правил дозволяє отримати ланцюжок дій, необхідних для реалізації поставленої мети (така система відома як експертні системи). Потужність такої системи визначається можливостями генератора цілей і машиною докази теорем. Домогтися більшої виразності логічного підходу дозволяє таке порівняно новий напрямок, як нечітка логіка . Основною її відмінністю є те, що правдивість висловлювання може брати в ній крім так/ні (1/0) ще й проміжні значення - не знаю (0.5), пацієнт швидше живий, ніж мертвий (0.75), пацієнт швидше мертвий, ніж живий (0.25). Даний підхід більше схожий на мислення людини, оскільки він на питання рідко відповідає тільки так чи ні.

2. Під структурним підходом ми маємо на увазі тут спроби побудови ІІ шляхом моделювання структури людського мозку. Однією з перших таких спроб був перцептрон Френка Розенблатта. Основний моделюється структурною одиницею в перцептронах (як і в більшості інших варіантів моделювання мозку) є нейрон. Пізніше виникли й інші моделі, які більшості відомі під терміном нейронні мережі (НС). Ці моделі розрізняються за будовою окремих нейронів, по топології зв'язків між ними і за алгоритмами навчання. Серед найбільш відомих варіантів НС можна назвати НС зі зворотним поширенням помилки, мережі Хопфілда, стохастичні нейронні мережі. У більш широкому сенсі такий підхід відомий як Коннективизм .

3. Еволюційний підхід. При побудові систем ШІ за даного підходу основна увага приділяється побудові початкової моделі, і правил, по яких вона може бути змінена (еволюціонувати). Причому модель може бути складена по самим різним методам, це може бути і НС і набір логічних правил і будь-яка інша модель. Після цього ми включаємо комп'ютер і він, на підставі перевірки моделей відбирає найкращі з них, на підставі яких по самим різним правилам генеруються нові моделі. Серед еволюційних алгоритмів класичним вважається генетичний алгоритм

4. Імітаційний підхід. Даний підхід є класичним для кібернетики з одним із її базових понять чорний ящик . Об'єкт, поведінка якого імітується, як раз і являє собою «чорний ящик». Нам не важливо, що у нього і у моделі всередині і як він функціонує, головне, щоб наша модель в аналогічних ситуаціях вела себе точно так само. Таким чином тут моделюється інша властивість людини - здатність копіювати те, що роблять інші, не вдаючись в подробиці, навіщо це потрібно. Найчастіше ця здатність заощаджує йому багато часу, особливо на початку його життя.

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

Багатообіцяючий новий підхід, званий посилення інтелекту, розглядає досягнення ІЇ у процесі еволюційної розробки як побічний ефект посилення людського інтелекту технологіями.

Напрямки досліджень

Аналізуючи історію ШІ, можна виділити таке велике напрям як моделювання міркувань. Довгі роки розвиток цієї науки рухалося саме по цьому шляху, і тепер це одна з найбільш розвинених областей у сучасному ІІ. Моделювання міркувань передбачає створення символьних систем, на вході яких поставлено певне завдання, а на виході потрібно її рішення. Як правило, пропонована завдання вже формалізована, тобто переведена в математичну форму, але або не має алгоритму рішення, або він занадто складний, трудомісткий і т. п. В цей напрямок входять: доказ теорем, ухвалення рішень і теорія ігор, планування і диспетчеризація, прогнозування.

Важливим напрямком є обробка природної мови, в рамках якого проводиться аналіз можливостей розуміння, обробки та генерації текстів на «людському» мовою. Зокрема, тут ще не вирішена проблема машинного перекладу текстів з однієї мови на іншу. У сучасному світі велику роль відіграє розробка методів інформаційного пошуку. По своїй природі, оригінальний тест Тюрінга пов'язаний з цим напрямком.

Згідно думку багатьох вчених, важливою властивістю інтелекту є здатність до навчання. Таким чином, на перший план виходить інженерія знань, що об'єднує завдання отримання знань з простої інформації, їх систематизації і використання. Досягнення в цій області зачіпають майже всі інші напрями досліджень ІІ. Тут також не можна не відзначити дві важливі підобласті. Перша з них - машинне навчання - стосується процесу самостійного отримання знань інтелектуальною системою в процесі її роботи. Друге пов'язане із створенням експертних систем - програм, що використовують спеціалізовані бази знань для отримання достовірних висновків щодо якої-небудь проблеми.

Великі і цікаві досягнення є в області моделювання біологічних систем. Строго кажучи, сюди можна віднести кілька незалежних напрямків. Нейронні мережі використовуються для вирішення нечітких і складних проблем, таких як разпознавание геометричних фігур або кластеризація об'єктів. Генетичний підхід заснований на ідеї, що якийсь алгоритм може стати більш ефективним, якщо запозичить кращі характеристики в інших алгоритмів («батьків»). Відносно новий підхід, де ставиться завдання створення автономної програми - агента, що взаємодіє із зовнішнім середовищем, називається агентным підходом. А якщо належним чином змусити масу «не дуже інтелектуальних агентів взаємодіяти разом, то можна отримати «мурашиний» інтелект.

Завдання розпізнавання образів вже частково вирішуються в рамках інших напрямків. Сюди відносяться розпізнавання символів, рукописного тексту, мови, аналіз текстів. Особливо варто згадати комп'ютерне зір, яке пов'язане з машинним навчанням і робототехнікою.

Взагалі, робототехніка і штучний інтелект часто асоціюється один з одним. Інтегрування цих двох наук, створення інтелектуальних роботів, можна вважати ще одним напрямком ІІ.

Осібно тримається машинне творчість, у зв'язку з тим, що природа людської творчості ще менш вивчена, ніж природа інтелекту. Тим не менш, ця область існує, і тут поставлені проблеми написання комп'ютером музики, літературних творів (часто - віршів або казок), художня творчість.

Нарешті, існує маса додатків штучного інтелекту, кожне з яких утворює майже самостійний напрям. В якості прикладів можна навести програмування інтелекту в комп'ютерних іграх, нелінійне управління, інтелектуальні системи безпеки.

Можна помітити, що багато областей досліджень перетинаються. Це властиво для будь-якої науки. Але в штучному інтелекті взаємозв'язок між, здавалося б, різними напрямками виражена особливо сильно, і це пов'язано з філософським суперечкою про сильному і слабкому ІІ.

Історія

На початку XVII століття Рене Декарт припустив, що тварина - якийсь складний механізм, тим самим сформулювавши механистическую теорію. В 1623 р. Вільгельм Шикард побудував першу механічну цифрову обчислювальну машину, за якою послідували машини Блеза Паскаля (1643) і Лейбніца (1671). Лейбніц також був першим, хто описав сучасну двійкову систему числення, хоча до нього цією системою періодично захоплювалися багато великі вчені. У XIX столітті Чарльз Беббідж і Ада Лавлейс працювали над програмованої механічної обчислювальної машиною.

В 1910-1913 рр. Бертран Рассел і А. Н. Вайтхад опублікували працю «Принципи математики», яка зробила революцію у формальній логіці. У 1941 Конрад Цузе побудував перший працюючий програмно-контрольований комп'ютер. Уоррен Маккалок і Валтер Піттс у 1943 опублікували A Logical Calculus of the Ideas Immanent in Nervous Activity, який заклав основи нейронних мереж.

Сучасне положення справ

У даний момент (2008) у створенні штучного інтелекту (в початковому значенні цього слова, експертні системи і шахові програми сюди не відносяться) спостерігається дефіцит ідей. Практично всі підходи були випробувані, але до виникнення штучного розуму ні одна дослідницька група так і не підійшла.

Деякі з найбільш вражаючих цивільних ІІ систем:

Deep Blue - переміг чемпіона світу з шахів. (Матч Каспаров проти супереом не приніс задоволення ні комп'ютерникам, ні шахістам і система не була визнана Каспаровим, хоча оригінальні компактні шахові програми невід'ємний елемент шахового творчості. Потім лінія суперкомп'ютерів IBM проявилася в проектах brute force BluGene (молекулярне моделювання) і моделювання системи пірамідальних клітин у швейцарському центрі Blue Brain. Ця історія - приклад заплутаних і засекречених відносин ІІ, бізнесу і національних стратегічних завдань.)
Mycin - одна з ранніх експертних систем, яка могла діагностувати невеликий набір захворювань, причому часто так само як і доктора.
20q - проект, заснований на ідеях ІІ, за мотивами класичної гри «20 питань». Став дуже популярним після появи в інтернеті на сайті 20q.net.
Розпізнавання мови. Системи такі як ViaVoice здатні обслуговувати споживачів.
Роботи в щорічному турнірі RoboCup змагаються у спрощеній формі футболу.

Застосування ІІ

Банки застосовують системи штучного інтелекту (СШІ) в страховій діяльності (актуарна математика) при грі на біржі і управлінні власністю. У серпні 2001 року роботи виграли у людей в імпровізованому змаганні по трейдингу (BBC News, 2001). Методи розпізнавання образів, (включаючи, як більш складні і спеціалізовані, так і нейронні мережі) широко використовують при оптичному та акустичному розпізнаванні (у тому числі тексту і мови), медичній діагностиці, спам-фільтрах, в системах ППО (визначення цілей), а також для забезпечення ряду інших завдань національної безпеки.

Розробники комп'ютерних ігор змушені застосовувати ІІ тій чи іншій ступеня опрацьованості. Стандартними завданнями ІІ в іграх є знаходження шляху в двомірному або тривимірному просторі, імітація поведінки бойової одиниці, розрахунок вірної економічної стратегії і так далі.

Перспективи ІІ

Проглядаються два напрямки розвитку ШІ:

перше полягає у вирішенні проблем, пов'язаних з наближенням спеціалізованих систем ШІ до можливостей людини та їх інтеграції, яка реалізована природою людини.
друге полягає в створенні Штучного Розуму, що представляє інтеграцію вже створених систем ШІ в єдину систему, здатну вирішувати проблеми людства.

Зв'язок з іншими науками

Штучний інтелект тісно пов'язаний з трансгуманизмом. А разом з нейрофізіологією та когнітивною психологією він утворює більш загальну науку, звану когнитологией. Окрему роль в штучному інтелекті грає філософія.

Філософські питання

Наука «про створення штучного розуму» не могла не привернути увагу філософів. З появою перших інтелектуальних систем були порушені фундаментальні питання про людину і знанні, а почасти про світоустрій. З одного боку, вони нерозривно пов'язані з цією наукою, а з іншого - привносять в неї певний хаос. Серед дослідників ШІ досі не існує якоїсь домінуючої точки зору на критерії інтелектуальності, систематизацію розв'язуваних цілей і завдань, немає навіть чіткого визначення науки.

Чи може машина мислити?

Найбільш гарячі суперечки в філософії штучного інтелекту викликає питання можливості мислення творіння людських рук. Питання «чи Може машина мислити?», який підштовхнув дослідників до створення науки про моделювання людського розуму, був поставлений Аланом Тюрінгом в 1950 році. Дві основні точки зору на це питання носять назви гіпотез сильного і слабкого штучного інтелекту.

Термін «сильний штучний інтелект» ввів Джон Серль, його ж словами підхід і характеризується:

«Більше того, така програма буде не просто моделлю розуму; вона в буквальному сенсі слова сама і буде розумом, в тому ж сенсі, в якому людський розум - це розум» .

Навпаки, прихильники слабкого ІІ воліють розглядати програми лише як інструмент, що дозволяє вирішувати ті чи інші завдання, які не вимагають повного спектру людських пізнавальних здібностей.

У своєму уявному експерименті «Китайська кімната», Джон Серль показує, що проходження тесту Тюрінга не є критерієм наявності у машини справжнього процесу мислення.

Мислення є процес обробки знаходиться в пам'яті інформації: аналіз, синтез і самопрограмированние.

Аналогічну позицію займає і Роджер Пенроуз, який у своїй книзі «Новий розум короля» аргументує неможливість одержання процесу мислення на основі формальних систем.

Що вважати інтелектом?

Існують різні точки зору на це питання. Аналітичний підхід передбачає аналіз вищої нервової діяльності людини до нижчого, неподільного рівня (функція вищої нервової діяльності, елементарна реакція на зовнішні подразники (стимули), роздратування синапсів сукупності пов'язаних функцією нейронів) і подальше відтворення цих функцій.

Деякі фахівці за інтелект приймають здатність раціонального, вмотивованого вибору, в умовах нестачі інформації. Тобто інтелектуальної просто вважається та програма діяльності (не обов'язково реалізована на сучасних ЕОМ), яка зможе вибрати з певної множини альтернатив, наприклад, куди йти у разі «наліво підеш ...», «направо підеш ...», «прямо підеш...»

Наука про знання

Також, з проблемами штучного інтелекту тісно пов'язана епістемологія - наука про знання в рамках філософії. Філософи, які займаються даною проблематикою, вирішують питання, схожі з тими, які вирішуються інженерами ІІ про те, як краще подавати і використовувати знання і інформацію.

Ставлення до ІЇ у суспільстві

ІЇ та релігія

Серед послідовників авраамічних релігій існує кілька точок зору на можливість створення штучного інтелекту на основі структурного підходу.

За однією з них мозок, роботу якого намагаються імітувати системи, на їх думку, не бере участь в процесі мислення, не є джерелом свідомості і будь-якої іншої розумової діяльності. Створення штучного інтелекту на основі структурного підходу неможливо.

Згідно з іншою точкою зору, мозок бере участь в процесі мислення, але у вигляді "передавача" інформації від душі. Мозок відповідальний за такі "прості" функції, як безумовні рефлекси, реакція на біль і тп. Створення штучного інтелекту на основі структурного підходу можливо, якщо конструйована система зможе виконувати "передавальні функції.

Обидві позиції не відповідають даним сучасної науки, тому що поняття душа не розглядається сучасною наукою в якості наукової категорії.

На думку багатьох буддистів ІІ можливий. Так, духовний лідер далай-лама XIV не виключає можливості існування свідомості на комп'ютерній основі.

Раэлиты активно підтримують розробки в галузі штучного інтелекту.

ІЇ та наукова фантастика

У науково-фантастичній літературі ІІ найчастіше зображується як сила, яка намагається повалити владу людини (Омниус, HAL 9000, Скайнет, Colossus , Матриця і реплікант) або обслуговує гуманоїд (C-3PO, Data, KITT і KARR, Двохсотлітній людина). Неминучість домінування над світом ІІ, який вийшов з під контролю, оспорюється такими фантастами як Айзек Азімов і Kevin Warwick.

Цікаве бачення майбутнього представлено в романі «Вибір по Тьюрингу» письменника-фантаста Гаррі Гаррісона і вченого Марвіна Мінскі. Автори міркують на тему втрати людяності у людини, мозок якої була вживлена ЕОМ, і придбання людяності машиною з ІІ, в пам'ять якої була скопійована інформація з головного мозку людини.

Деякі наукові фантасти, наприклад Вернор Віндж, також міркували над наслідками появи ІІ, яка, мабуть, викличе різкі драматичні зміни в суспільстві. Такий період називають технологічною сингулярністю.