4.1.3. Використання метафор для виявлення «прихованих» структур знань

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

Крім цього, зазначимо ряд недоліків методів психосеман­тики з погляду практичної інженерії знань.

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

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

3. Єдині відносини, які виявляють процедури психосеман­тики, — це «далеко — близько» за деякою шкалою. Для про­ектування й побудови баз знань виявлення відношень є на по­рядок складнішим завданням, ніж виявлення понять. Тому семантичні простори, отримані в результаті градуювання й кластеризації, треба піддавати подальшому опрацюванню на предмет визначення відношень, особливо функціональних і каузальних.

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

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

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

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

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

Наприклад, можна виділити такі три рівні:

1) знання, призначені для викладу або доказу (аргумен­тації), наприклад, на міждисциплінарному рівні або для попу­лярної лекції (вербальні);

2) знання, які застосовуються в реальній практиці, — знання ще вербалізовані, але вже такі, що не рефлектуються;

3) власне досвід, тобто знання, що лежать на найбільш гли­бокому, неусвідомлюваному рівні, відповідальні за ті рішення експерта, які зовні (у тому числі й для нього самого) вигляда­ють як миттєве осяяння або «інсайт», інтуїтивний творчий акт (інтуїтивні).

Класична методика психосемантичного експерименту та­кож не дозволяє виділити з його результатів інтуїтивний рівень. Це видно із самої тестової процедури. Чи просять ви­пробувану особу оцінити подібність-розходження стимулів прямо або ж пропонують оцінити їхню відповідність деяким «конструктам» — у будь-якому разі випробуваний вільно або мимоволі настроюється на необхідність доказовості своєї відповіді в термінах об'єктивних властивостей стимулів.

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

У рамках цього підходу вдалося експериментально довести наступні тези:

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

• метафора має на меті скоріше не повідомити що-небудь про певний об'єкт (тобто відповісти на запитання «що це?»), а закликати до певного відношення до нього, вказати на якусь парадигму, що говорить про те, як варто поводитися стосовно заданого об'єкту;

• суб'єктивному зрушенню у відношенні до основного об'єкту (наприклад, до мови програмування) сприяє також і зрушення у сприйнятті об'єкту порівняння (наприклад, до конкретної тварини) у силу вищевказаної специфіки власти­востей, які фільтрують метафорою; тому об'єкт порівняння виступає в метафорі не за своїм прямим призначенням, тобто це не просто «лев» як представник фауни, а втілення сили, спритності й могутності;

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

На ці тези спирається запропонована модифікація класич­ної методики зіставлення об'єктів, застосована, наприклад, в оцінних решітках Келлі. Під час здійснення експери­менту була використана система MEDIS. Ця система до­зволяє планувати, здійснювати експеримент і опрацьовувати дані довільного психосемантичного експерименту. Крім кла­сичної парадигми багатовимірного градуювання, система MEDIS містить у собі деякі можливості тесту репертуарних решіток. Зокрема вона дозволяє працювати зі стимулами двох видів — так званими елементами й конструктами (з єдиним винятком: конструкти в системі MEDIS — на відміну від кла­сичного тесту репертуарних решіток — монополярні). Природ­но, вибір базового інструментарію істотно вплинув на описува­ну експериментальну реалізацію методики. Як предметна область був обраний світ мов програмування. У простір базо­вих понять ( що виступали в методиці як елементи) було вклю­чено декілька більш-менш популярних мов програмування, що належать до таких класів:

• мови штучного інтелекту;

• традиційні процедурні мови;

• так звані «макромови», зазвичай реалізовані в оболонках операційних систем, текстових редакторах тощо.

Як метафоричні простори обрані світ тварин і світ транс­порту. Об'єкти цих світів виступали в методиці як монополярні конструкти. На першому етапі експерименту кожний з респондентів виконував класичне попарне суб'єктивне гра­дуювання елементів. На запитання «Чи є що-небудь спільне між даними мовами програмування?», респондентові пропо­нувалося відповісти однією з наступних альтернатив:

ТАК!	1	Об'єкти дуже близькі
Так	2	Між об'єктами є щось спільне
???	3	Невизначена відповідь
Ні	4	Об'єкти різні
НІ!	5	Об'єкти зовсім несумісні

Дані цього етапу (окремо для кожного з респондентів) піддавалися опрацюванню методами багатовимірного градую­вання (див. вище).

Результатом такого опрацювання є деякий евклідів простір невеликого числа вимірів, у якому вихідні оцінки розходжень відображені геометричними відстанями між точками. Чим краще ці відстані відповідають вихідним розходженням, тим адекватнішими вважається результат опрацювання в цілому. При цьому буквальний збіг відстаней і числових кодів відповідей, природно, не є обов'язковим (хоча таке й можливе в деяких модельних експериментах). Важливішою виявляєть­ся рангова відповідність відстаней вихідним оцінкам. А саме, в ідеальному випадку всі відстані між точками, що відповіда­ють, наприклад, відповідям «ТАК!» у вихідних даних, повинні бути менші (хоча б і на частки відсотка масштабу шкали) від всіх відстаней, що відповідають відповідям «Так», і т. д.

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

Геометричну модель градуювання можна інтерпретувати по-різному:

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

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

Основна експериментальна процедура — попарне порів­няння деяких об'єктів і вираження ступеня їхньої подібності (відмінності) на числовій осі або виділення пар близьких об'єктів із поданої тріади — сама по собі накладає велику кількість обмежень на структуру, яку виявляють, а саме:

1) через вибір стимульного матеріалу (вибір об'єктів зали­шається за інженером зі знань);

2) через недосконалість шкали вимірів;

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

Це пов'язано із психологічною установкою самого експери­менту, під час якого експерта ніби перевіряють, екзаменують і він, природно, прагне давати правильні відповіді.

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

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