вівторок, 11 грудня 2018 р.

Перші кроки, або цікавий факт, що не увійшов до статті

З появою комп'ютерів почався розвиток наукових досліджень під загальною об'єднуючою назвою “штучний інтелект”. В 60-і роки провідними темами досліджень були евристичне програмування та використання формальної логіки. Це дозволяло програмувати шахову гру, доведення теорем та розв'язувати логічні задачі. Однак сподівання на ці методи виявилися перебільшеними. Формальна логіка дуже ідеалізує мислення людини, а пошук на дереві варіантів часто стає неефективним. Науковці дійшли розуміння необхідності ефективної репрезентації знань у машині. Як свідчить досвід розробки комп'ютерної системи CYC, навіть для відтворення здорового глузду десятирічного хлопчика довелося закодувати мільйон аксіом (правил). Тобто на програмування здорового глузду, яким володіє кожний психічно здоровий хлопчик, витратили приблизно стільки ж зусиль, як і на програмування “шахового розуму” на рівні чемпіону світу.

1 коментар: