Page 56 - 6109

Конкр(х, проф_унів)  (Диплом(х, доктор)  Місце (х, унів)  Це(х, проф)
 Це(х, співроб_унів))
Якщо додати цю логічну формулу до множини (індивідуальних) гіпотез,
то можна, використовуючи звичайну техніку доведення теорем, вивести, що
Степан має докторський ступінь. Таким чином, нова множин гіпотез і
поставлене питання складають формулювання логічної теореми. Виходячи з
цього формулювання і застосовуючи звичайний механізм доказу, одержуємо
відповідь на питання.
Механізм доведення теорем в ієрархічному середовищі можна
змоделювати таким чином. Питання (що становить висновок або мету
доводжуваної теореми) має наступну загальну форму.
Вербально: Яке значення якогось індивіда по відношенню до деякої
властивості?
Логічно: Властивість_і(індивід_j, х).
Очікувана відповідь – конкретизація, що представляє деяке значення для
х.
Спочатку спробуємо довести цю теорему, користуючись лише
гіпотезами, прямо пов'язаними з вузлом індивід_j у відповідному графі. Ці
гіпотези мають наступну форму.
Вербально: Значення якогось індивіда по відношенню до деякої
властивості є ...
Логічно: Властивість_і(індивід_j, значення_і).
Якщо так довести не вдається, використовуємо зв'язок Конкр, що
виходить вузла, який представляє індивіда і вказує на нову множину гіпотез,
яка має наступний загальний вигляд.
Вербально: Якщо індивід належить типу t, то він має додаткову множину
значень по відношенню до додаткової множини властивостей.

Логічно: х[Конкр(х, тип_t)   Властивість_і(х, значення_і)].
З цієї логічної формули і предиката Конкр(індивід_ j, тип_t) виводимо
нову множину властивостей щодо даного індивіда. Якщо ці нові гіпотези
дозволяють довести нашу теорему, то доказ закінчений. Якщо ж ні, то зв'язок
Це вкаже на тип вище, який в свою чергу дасть нову множину гіпотез. Ця
процедура з послідовною множиною гіпотез свідомо ефективніша за загальний
метод доведення теорем, що не використовує ієрархічної структури даних.
Семантичні мережі належать до моделей, використовуваних фахівцями з
БД. Вони відображають структуру якоїсь області і реалізацію цієї структури на
ЕОМ. У наш час семантичні мережі використовуються в системах
розпізнавання природних мов. Вони вмонтовані також в складніші формалізми,
де служать для підтримки опису і класифікації суті (експертні системи).
Переваги концептуальних графів – в можливості прямого узагальнення на
модальні системи і інші формалізми, які важко представити логікою першого
порядку.

56