Page 55 - 6109

5.3 Міркувань, що використовують семантичні мережі

Одна з ключових проблем організації пам'яті – ефективне управління
даними і запитами. При ієрархічній організації індивідуальні властивості
пов'язані з іменами індивідів. Наприклад, індивідуальні властивості людини
(вік, адреса, сімейний стан і т. д.) можна пов’язати з ім'ям Степан. Крім того,
спадкова властивість пов'язує Степана з (абстрактним) концептом професор
університету. Стрілки, що виходять з вузла Степан можна представити набором
(кон'юнкцією) бінарних предикатів (рис. 5.6):
Вік(Степан, 60) 

Адреса (Степан, Південний_бульвар_3) 
Конкр(Степан, проф_унів).
Прац_розум Співроб.
праці універ.

Зарплата Має Професор Є
Є Є

Проф_викл.
Є Є
склад

Доктор Дипл Проф_унів Місце універ.

К
Конкр. онкр.
Конкр. онкр. К

Півн,_буль- Адр Степан Вік 60_років ІФНТУНГ
вар_3

Рисунок 5.6 – Фрагмент семантичної мережі

Ці предикати указують, що Степанові 60 років, що він проживає на
Південному бульварі будинок 3, неодружений і належить типу професорів
університету.
Різні імена предикатів, пов'язані з вузлами-індивідами, утворюють першу
множину гіпотез (деякої теореми). Наприклад, питання про адресу Павла
виражається предикатом Адреса(Степан, х). Цей предикат складе мету
(висновок) теореми, достовірні гіпотези якої – названі вище властивості
Степана. Доказ зводиться до пошуку конкретизації для х, що дозволяє отримати
названий висновок з гіпотез. Перевірка показує, що таким є
Південний_бульвар_3.
Інакше піде справа з питанням: «Який диплом у Степана?», бо ми не
знаходимо гіпотези вигляду
Диплом(Степан, …).
Але якщо скористатися зв'язком Конкр, можна одержати відповідну
гіпотезу. Пов'язана з вузлом проф_унів частина графа представима логічною
формулою:

55