У знаннях сила

Період модернізму: технології і додатки

Період, що я називаю періодом модернізму, продовжувався із середини 70-х до кінця 80-х років. Він характеризується значним прогресом в області експертних систем, так званої "зимової сплячки" в області "чистого" штучного інтелекту, інтерес до якого відновився з появою Всесвітньої павутини. Той час, коли готувалося до друку дійсне видання, я відношу уже до наступного періоду — періоду постмодернізму, від характеристики якого я тут утримаюся, оскільки сам є учасником. Але, не боячись помилитися, можна затверджувати, що все, що стається в ньому багато в чому визначається розвитком Internet-додатків, зокрема інтелектуальних агентів і порадників, що полегшують і спрощують витяг інформації при роботі з засобами електронної комерції. Успіхи і невдачі в області штучного інтелекту в цей період значною мірою залежать від можливості і бажання дослідників перебороти вплив традиційних концепцій, характерних для колишніх періодів, і зосередити зусилля на реальних проблемах нового інформаційного середовища.

У період модернізму зросла впевненість, що евристичні можливості "вирішувача" проблем визначаються представленням у явній формі відповідних знань, доступних програмі, а не застосуванням якогось витонченого механізму визначення чи взаємовпливу складних оцінних функцій. Значні зусилля були спрямовані на розробку методів розбивки знань, властивій людині, на модулі, які можна було б активізувати за заданою схемою (див. урізання 2.5). Уже при перших спробах емітувати процес дозволу проблем, характерний для людського розуму (наприклад, у роботі [Newel] and Simon, 1972]. Дослідники зіштовхнулися з обмеженими можливостями представлення знань і необхідністю спростити механізмїхвзаємовпливів, хоча більш пізні дослідження і допомогли деякою мірою перебороти ці труднощі.

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

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

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

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

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

Практичний досвід навчив нас, що найкращі результати при рішенні проблем різного роду можна одержати, тільки використовуючи методити, що відрізняються. Ці методи, що одержали найменування "евристична класифікація", "ієрархічна перевірка гіпотез" і "пропозиція, перевірка і виправлення", як правило, зводяться до різних стратегій керування послідовністю застосування правил. Ці методи будуть докладно розглянуті в розділі 11—15.