штучного інтелекту. Ми прагнемо створювати агентів, але який специфікацією слід при цьому керуватися? Нижче описані чотири можливих варіанти.
Ідеальна раціональність. Ідеально раціональний агент в кожну мить діє таким чином, щоб максимізувати свою очікувану корисність з використанням інформації, отриманої ним з середовища. Але було показано, що обчислення, необхідні для досягнення ідеальної раціональності, в більшості варіантів середовища потребують занадто великих витрат часу, тому завдання забезпечення ідеальної раціональності не є реалістичною.
Обчислювальна раціональність. Це поняття раціональності використовувалося нами неявно при проектуванні логічних агентів та агентів, заснованих на прийнятті рішень. Обчислювально раціональний агент зрештою повертає те, що розглядався як раціональний вибір на початку етапу формування ним міркувань. Така властивість може становити інтерес, тільки якщо система використовується лише в демонстраційних цілях, а в більшості варіантів середовища правильну відповідь втрачає свою цінність, якщо він не був своєчасним. На практиці проектувальники систем штучного інтелекту змушені шукати компроміс між вимогами щодо забезпечення якості рішень та вимогами щодо зменшення витрат часу на отримання прийнятною загальної продуктивності; на жаль, теоретичні основи обчислювальної раціональності не дозволяють запропонувати досить обгрунтованого способу вироблення таких компромісів.
Обмежена раціональність. Герберт Саймон відкинув ідею ідеальної (або навіть наближено ідеальної) раціональності і запропонував використовувати поняття обмеженої раціональності - описову теорію прийняття рішень реальними агентами. Нижче наведена цитата з його роботи.
Здатність людського розуму формулювати і вирішувати складні завдання занадто мала в порівнянні з масштабами завдань, для яких потрібно шукати рішення, щоб здійснювати об'єктивно раціональне поведінка в реальному світі, або хоча б домагатися прийнятного наближення до такої об'єктивної раціональності.
Саймон висунув пропозицію, що принцип обмеженої раціональності головним чином заснований на принципі невибагливості (satisficing), тобто на тому, що проведення міркувань слід здійснювати досить довго лише для того, щоб запропонувати «цілком прийнятний» відповідь. За вказану вище роботу Саймон отримав Нобелівську премію з економіки, а пізніше випустив книгу, в якій детально висвітлив всі свої ідеї. Мабуть, поняття невибагливості може служити корисною моделлю людської поведінки в багатьох випадках. Але воно не є формальною специфікацією для інтелектуальних агентів, оскільки в теорії Саймона не дано визначення «цілком прийнятного» відповіді. Крім того, принцип невибагливості, мабуть, є лише одним з широкого спектру методів, що використовуються для здійснення дій в умовах обмежених ресурсів.
Обмежена оптимальність (Bounded Optimality - ВО). Обмежено оптимальний агент діє настільки добре, наскільки це можливо, з урахуванням його обчислювальних ресурсів. Це означає, що очікувана корисність програми агента для обмеженого оптимального агента є щонайменше такою ж високою, як і очікувана корисність будь-який інший агентської програми, що працює на тому ж комп'ютері.
Мабуть, найкращі перспективи створення потужного теоретичного фундаменту для штучного інтелекту відкриває тільки одна з цих чотирь...
