На дві попередні статті ми побачили, як робота Алана Тюрінга, Клода Шеннона та Джона фон Неймана уможливила створення комп’ютерів, здатних підтримувати штучний інтелект. Проте всеще потрібно було створити програми, здатні виконувати це завдання. Ось чому в цій публікації ми описуємо шлях програмного забезпечення від перших симуляцій розмови до поточних мовних моделей.
Алан Тюрінг був першим, хто визначив спосіб визначення успіху цього типу програм. Проблема в тому, що тест Тюрінга продемонстрував лише навички програмування, не те, що ми зіткнулися з тим, що можна назвати штучним інтелектом.
Шлях програмного забезпечення
Хоча визначення Марвіна Мінського вимагає, щоб вважатися штучним інтелектом, машина повинна виконувати те саме завдання, що й людина, вона вимагає здатності мислити, Тест Тьюринга лише вимагає, щоб людина не могла визначити, чи є її співрозмовник чи ні.
Хоча ELIZA, комп’ютерна програма, написана в середині 60-х років, не була призначена для проходження тесту Тьюрінга, вона заклали основи для ряду програм, які намагалися це зробити. Шоу взяло на себе роль психіатра, який ставить серію запитань пацієнту про загальні теми, такі як сім'я, друзі чи настрій. Згідно з відповідями, він продовжував слідувати заздалегідь наміченою лінією.
Ні ELIZA (як і будь-яке інше програмне забезпечення) не були б можливими без робіт вчителя математики-самоучки на ім’я Джордж Буль, який у XNUMX столітті почав вивчати переклад на математичні терміни процесу людського мислення. Для цього він проаналізував спосіб групування об’єктів у класи та те, що відбувається, коли ці класи об’єднуються з іншими. Потім він призначив символи для кожного з цих відносин.
Від формалізації до зворотного зв’язку
Якщо об’єкти набору змінюються за допомогою афірмацій і ми встановлюємо три можливі відношення між ними (І, АБО і НІ) ми вже маємо спосіб класифікувати їх в одну з двох груп (Правда чи Хибність).
Однак роботи Буля не підходили для всіх типів претензій. Потрібен був спосіб опису загальних понять. Тобто вони можуть бути істинними чи хибними залежно від обставин.
Щоб це зрозуміли. Логічні завдання дозволяють працювати з твердженням
Дієго є аргентинцем і пише Linux Adictos
Але ви нічого не можете зробити з:
X є... і пише в Z.
Для цього довелося чекати до 70-х років, коли німецький професор на ім'я Фреге ввів поняття предикатів. Предикат - це твердження, яке можна описати як істинне або хибне залежно від обставин.
Дієго, Аргентинець y Лінукс-залежнийs — це сутності, які не є ні істинними, ні хибними, але залежно від того, як вони поєднані в предикаті, вони зроблять це таким.
Freje додав два вирази з відповідними символами:
Для усіх (Вказує, що всі значення змінної відповідають умові)
Є таке... таке (Означає, що є принаймні один елемент, який задовольнятиме умову.
теорія зворотного зв'язку
Наступним великим внеском у створення штучного інтелекту був не математичний, а біологія. Норберт Вінер, засновник кібернетики, цікавився спільними моментами між технікою та біологією. Саме цей інтерес спонукав його проаналізувати, як теплокровні тварини зберігали свою температуру постійною, незважаючи на зміну температури навколишнього середовища. Вінер припустив, що в цьому та інших випадках спрацьовують механізми зворотного зв’язку. Іншими словами, при отриманні інформації вироблялася реакція на адаптацію до неї.
Ідучи далі, він дійшов висновку, що розумна поведінка є не що інше, як результат механізмів зворотного зв’язку. Іншими словами, ми можемо зробити такий висновок Інтелект (природний чи штучний) полягає у зборі інформації, її обробці, дії на основі результату та повторенні процесу.