Page 62 - 6109

абстрактне поняття, що пов'язане з літаком, машиною або поїздом і має якесь
місто пунктом призначення». Другу частину можна інтерпретувати аналогічно.
KRL матеріалізує деякий процес міркувань, керований правилом
паропоєднання.

6.4.1 Ієрархічні міркування, що використовують фрейми
Операція паропоєднання аналогічна уніфікації з логіки предикатів.
Можна також пов'язати об'єктне представлення з могутнішими правилами
висновку, такими як теорема дедукції. Нільсон і Сова запропонували загальні
операції дедукції, що використовують об'єктний формалізм і що базуються на
логічній імплікації і правилі modus ponens. Розглянемо лише окремий випадок
одного нерідко використовуваного закону дедукції, відповідно до якого за
допомогою імплікації приписуються властивості кожному елементу певної
множини. Йдеться про властивість спадкоємства. Повернемося до ієрархії,
приведеної на рис.5.6, де типи «професор університету» і «професор» замінені
відповідними множинами. Концептуальний граф, що оточує вузол Степан_2,
представляється об'єктно і логічно таким чином:

Об'єктні позначення Логічні позначення
Степан_2 Елем (Степан_2, проф_унів) 
елем : (елем_із проф_унів) Вік (Степан_2, 60_років) 
вік: 60 Адр(Степан_2, Північний_бульвар_3)
адр: Північний_бульвар_3

Ми бачили, що питання на зразок «Скільки років Степану?» або «Хто
проживає на Північному бульварі будинок, 3?» представляються фреймом-
метою або логічним висновком:
Об'єктні позначення Логічні позначення
Степан_2 (Мета)
вік: х Вік(Степан_2, х)
у Адр(у, Північний_бульвар_3)
адр: Північний_бульвар_3

Раніше було показано, як одержати відповіді на ці питання,
використовуючи операцію паропоєднання (для об'єктних позначень) або
уніфікацію (для логічних).
Далі розглянемо питання «Який диплом у Степана?», формалізований
наступним чином:

Об'єктні позначення Логічні позначення
Степан_2 (Мета) (6.1)
дипл: y Дипл(Степан_2, y)

Не можна одержати негайної відповіді на це питання. Доведеться
звернутися до об'єктних і логічних позначень, що описують властивості
індивіда х з множини викладачів університету (рис.5.6):
Об'єктні позначення Логічні позначення
{ х | проф__унів} (Правило)
дипл: доктор Елем (х, проф_унів)  (6.2)
місце : унів (Дипл (х, доктор) 

62