трибути функцій у фреймах не обов'язково константи або конкретизації, але можуть також бути функціональними виразами. Зробимо ще крок і розглянемо ще одну можливість для атрибутів (представляють безліч пов'язаних з об'єктами характеристик) - бути процедурами або підпрограмами. Це приводить нас до поняття об'єктно-орієнтованих мов, призначених для автоматичних міркувань на основі об'єктного подання. p align="justify"> Мова KRL - об'єктно-орієнтована, заснований на представленні знань фреймами. У ньому всі знання описані в термінах UNITS-KRL. Обмежимося двома прикладами:
[Подорож UNIT Абстрактне
<спосіб (АБО АВІА Авто Поїзд)>
<призначення (Місто)>]
[Подорож UNIT Абстрактне
<візитер (Людина)>
<візит (Безліч з (Людина))>]
Першу частину можна інтерпретувати так. В«Подорож - абстрактне поняття, пов'язане з літаком, машиною або поїздом і має якесь місто пунктом призначення.В» Другу частину можна інтерпретувати аналогічно. KRL матеріалізує певний процес міркувань, керований правилом паросполучення. p align="justify"> Ієрархічні міркування, що використовують фрейми.
Операція паросполучення аналогічна уніфікації з логіки предикатів. Можна також зв'язати об'єктне уявлення з потужнішими правилами виведення, такими як теорема дедукції. p align="justify"> Розглянемо лише окремий випадок одного нерідко використовуваного закону дедукції, відповідно до якого за допомогою імплікації приписують властивості кожному елементу певної множини. Йдеться про властивість наслідування, який ми вже розглядали. Займемося ієрархією, де типи В«професор університетуВ» і В«професорВ» замінено відповідними множинами. Концептуальний граф, навколишній вузол Жак_2, представляється об'єктно і логічно наступним чином:
Об'єктні позначення
Жак_2
елем: (елем_із проф_унів)
зрост: 45_лет
адр: ул_буля_7
сем_пол: неодружений
Логічні позначення (Факт)
Елем (Жак_2, проф_унів)
Возр (Жак_2, 45_лет)
Адр (Жак_2, ул_буля_7)
Сем_пол (Жак_2, неодружений)
Ми бачили питання на кшталт В«Скільки років Жаку?В» або В«Хто проживає по вулиці Буля будинок 7?В» представіми фреймом метою або логічним висновком:
Об'єктні позначення Логічні позначення
(Ціль)
В· Жак_2
зрост: х Возр (Жак_2, х)
В· у
адр: ул_буля_7 Адр (у, ул_буля_7)
Ми вже знаємо, як отримати відповіді на ці питання, використовуючи операцію паросполучення (для об'єктних позначень) або уніфікацію (для логічних).
Далі розглянемо питання В«Який диплом у Жака?В», формалізований таким чином:
Об'єктні позначення Логічні позначення
(Ціль)
Жак_2
дипл: у Дипл (Жак_2, у)
Не можна отримати негайної відповіді на це питання. Доведеться звернутися до об'єктним і логічним позначенням, що описує властивості індивіда х з безлічі викладачів університету:
Об'єктні позначення Логічні позначення
(Правило)
{х ​​| проф_унів} Елем (х, проф-універ)
дипл: доктор (Дипл (х, доктор)
місце: унів Місце (х, універ))
Здійснимо паросполучення та уніфікацію цілей з правилами для отримання нової мети
Об'єктні позначення Логічні позначення
(Ціль)
Жак_2
елем: Елем (Жак_2,
(елем_із проф_унів) проф_унів)
Ця нова фраза точно відповідає фразі В«Жак - професор університетуВ», що є фактом. Відповідь В«Жак має ступінь доктораВ» також знайдений. Такий вид докази відповідає системі прямої індукції. p align="justify"> Якщо не можна відповісти на питання, розглядаючи властивості індивіда (Жак_2) або містить його безлічі (проф_унів), то звернемося до нового безлічі (проф), підмножиною якого є колишнє. Підмножина професорів університету пов'язано з безліччю професорів наступним чином:
Об'єктні позначення Логічні позначення
Проф_унів
елем: подмож в проф Підміна (проф_унів, проф)
Міркування з умовчаннями
Використовувані експертами в більшості областей правила лише приблизно точні і не завжди застосов...
