Page 139 - 6109

У об'єктах доцільно виділяти два типи зв'язок між элементами: зовнішні і
внутрішні. Внутрішні зв'язки об'єднують елементи в єдиний об'єкт і призначені
для виразу структури об'єкту. Зовнішні зв'язки відображають взаємозалежності,
що існують між об'єктами в області експертизи.
Зовнішні зв'язки бувають логічні і асоціативні. Логічні зв'язки виражають
семантичні стосунки між елементами знань. Асоціативні зв'язки призначені для
забезпечення взаємозв’язків, сприяючих прискоренню процесу пошуку
релевантних знань. Основною проблемою при роботі з великою базою знань є
проблема пошуку знань, релевантних вирішуваному завданню. Очевидно, що
впорядкування і структуризація знань можуть значно прискорити процес
пошуку. Знаходження бажаних об'єктів в загальному випадку доречно
розглядати як двохетапний процес. На першому етапі, що відповідає процесу
вибору по асоціативних зв'язках, здійснюється попередній вибір в базі знань
потенційних кандидатів як бажані об'єкти. На другому етапі шляхом виконання
операції зіставлення потенційних кандидатів з описами кандидатів
здійснюється остаточний вибір шуканих об'єктів. При організації подібного
механізму доступу виникають певні труднощі з вибором критерію придатності
кандидата, організації роботи в конфліктних ситуаціях і ін. Операція
зіставлення може використовуватися не тільки як засіб вибору потрібного
об'єкту з безлічі кандидатів, але і для класифікації, підтвердження,
декомпозиції і корекції. Для ідентифікації невідомого об'єкту він може бути
зіставлений з деякими відомими зразками. Це дозволить класифікувати
невідомий об'єкт як такий відомий зразок, при зіставленні з яким були отримані
кращі результати. Якщо здійснювати зіставлення деякого відомого об'єкту з
невідомим описом, то у разі успішного зіставлення буде здійснена часткова
декомпозиція опису.
Операції зіставлення вельми різноманітні. Зазвичай виділяють наступні їх
форми: синтаксичне, параметричне, семантичне і вимушене зіставлення.
У разі синтаксичного зіставлення співвідносять форми (зразки), а не зміст
об'єктів, Успішним є зіставлення, в результаті якого зразки виявляються
ідентичними. Зазвичай вважається, що змінна одного зразка може бути
ідентична будь-якій константі (або виразу) іншого зразка. Іноді на змінні, що
входять в зразок, накладають вимоги, що визначають тип констант, з якими
вони можуть зіставлятися Результат синтаксичного зіставлення є бінарним:
зразки зіставляються або не зіставляються.
У параметричному зіставленні вводиться параметр, що визначає ступінь
зіставлення.
У разі семантичного зіставлення співвідносяться не зразки об'єктів, а їх
функції.
У разі примушуваного зіставлення один зразок, що зіставляється,
розглядається з погляду іншого. На відміну від інших типів зіставлення тут
завжди може бути отриманий позитивний результат. Питання стоїть в силі
примушення і використанні спеціальних процедур, що пов'язуються з
об'єктами.

139