Когнітологічні моделі вилучення експертних знань для створення експертних систем
Модальність знань означає можливість його існування у різних категоріях, тобто у конструкціях існування та обов‘язковості. Таким чином, частина закономірностей можлива, інша обов‘язкова.
Можлива протиречність емпіричного знання — природній наслідок з основних законів діалектики. Вони часто є відправною точкою у роздумах експертів.
Неповнота знань пов‘язана з неможливістю повністю описати предметну область. Задача аналітика цю неповноту обмежити визначеними рамками повноти, тобто звузити границі предметної області або ввести ряд обмежень та допущень, що спростили б проблему.
Системність
Усі процеси та явища можна розглядати, як множину менших підмножин і навпаки, будь-які об‘єкти можна розглядати як елементи більш високих класів.
Об‘єктивність
Процес пізнання глибоко суб‘єктивний, тобто він суттєво залежить від особливостей самої людини. Тому, коректніше говорити про глибину розуміння, ніж про об‘єктивність знання. Розуміння — це складний та неоднозначний процес, що відбувається у глибинах людської свідомості й потребує мобілізації усіх інтелектуальних та емоційних здатностей людини. Люди, що швидко та успішно вирішують інтелектуальні задачі, більшу частину часу витрачають на розуміння її, в той час як погані вирішувачі швидко починають шукати розв‘язок й не можуть його знайти.
ІсторизмХоча більшість експертних систем дають горизонтальний зріз знань — без врахування часу, інженер по знанням мусить завжди розглядати процеси з урахуванням часових змін.
Методологічна структура знання може бути представлена як послідовність етапів, які розглянемо з позиції діяльності інженера по знаннях.
Опис та узагальнення фактів
Це сухий залишок бесід аналітика з експертом. Повнота ведення протоколів під час розмови та пунктуальна домашня робота над ними — залог продуктивного першого етапу пізнання.
Встановлення зв‘язків та закономірностей
У голові експерта зв‘язки встановлені, хоч часто і неявно. Задача інженера виявити каркас роздумів експерта. Реконструюючи роздуми експерта, інженер по знаннях може спиратися на дві найпопулярніші теорії мислення — логічну та ассоціативну. Логічними операціями є визначення, порівняння та розрізнення, аналіз, абстрагування, об‘єднання, класифікація, категоризація. Теорія асоциацій представляє мислення як ланцюжок ідей, пов‘язаних загальниими поняттями. Основними операціями такого мислення є асоціації, згадування, спроби та помилки, автоматичні реакції.
Будування ідеалізованої моделі
Для побудови моделі, що відображає представлення суб‘єкта про предметну область, потрібна спеціальна мова, за допомогою якої можна описувати та конструювати ті ідеалізовані моделі світу, які виникають у процесі мислення. Ця мова створюється поступово за допомогою категоріального апарату прийнятого у цій області, а також формально-знакових засобів математики і логіки. Для емпіричних предметних областей така мова поки-що не розроблена.
Пояснення та передбачення на основі моделей