Page 52 - 6109
P. 52

Успадкованими  називаються  такі  властивості,  які  можна  вивести  так  само.
               Ясно,  що  деякі  характеристики  студентів  університету  можна  описати,
               виходячи  з  приналежності  до  студентства;  деякі  характеристики  студентів
               виводяться  з  того  факту,  що  вона  міститься  в  сукупності  всіх  людей.
               Міркування ефективності спонукають нас не пов'язувати з Павлом всі загальні
               властивості  студентів  університету,  взагалі  студентів  і,  нарешті,  всіх  людей.
               Вельми  загальна  властивість,  як,  наприклад,  «У  Павла  дві  руки  і  дві  ноги»,
               зіставляється  вузлу,  що  характеризує  всіх  людей.  Це  дає  можливість  не
               проголошувати наявність вказаної властивості окремо для кожного індивіда.

                      5.2.6 Решітки типів; ієрархії типів
                      Ієрархія  типів  визначає  частковий  порядок  на  множині  міток  (ярликів)

               типів. Позначимо його символом . Нехай t1 і t2 – мітки типів. Якщо t1 t2, то
               t1 – підтип типу t2, а t2 – надтип типу t1. Типи «викладач» і «студент» мають
               багато  загальних  надтипів:  «працівник  розумової  праці»,  «людина»,  «вищий
               ссавець».  Типи  «професор»  і  «співробітник  університету»  мають  загальний
               підтип «професор університету».
                      Для  перетворення  ієрархічної  форми  решітку  треба  ввести  дві  особливі
               мітки типів відповідно у найвищій і найнижчій точкак ієрархії – універсальний
               тип U (надтип всіх типів) і абсурдний тип А (підтип всіх типів). Ієрархія типів
               дасть решітку типів зі всіма властивостями решітки:
                      –  будь-яка пара міток t1 і t2 має найменший загальний надтип;
                      – будь-яка пара міток t1 і t2 має найбільший загальний підтип;
                      – для будь-якого типу t виконується співвідношення A  t  U.
                      Дане відношення порядку представляється функціональним відношенням
               Це. Конкр означає приналежність індивіда типу.

                      5.2.7 Решітки множин і решітки типів
                      Можна  також  ввести  відношення  порядку  для  множин  (підмножина
               множини) за допомогою предиката Підмн або зв'язуючого вузла з тим же ім'ям.
               При  одноелементній  підмножині  Підмн  замінюється  на  Елем.  Ієрархія  типів
               дозволяє  впорядковано  класифікувати  властивості  типів,  а  ієрархія  множин  –
               властивості  множин.  Введемо  на  концептуальних  графах  декілька  функцій  і
               операторів, що діють  над множиною типів. Перш за все – функція тип. Вона
               відображає  множину  концептів  на  множині  Т,  елементи  якого  називаються
               мітками  (ярликами)  типу.  Концепти  с1  і  с2  мають  один  тип,  якщо  тип(c1)  =
               тип(с2).  Денотатом  типу  t  називається  множина  всіх  тих  сутностей,  яка  є
               конкретизаціями якогось концепту типу t. Оператор, що зіставляє типу t його
               денотат,  позначається  через  Денот.  Тип  „студента  університету”  є  підтип
               студента.  Отже,  денотат  Денот(студент_університету)  є  підмножиною

               Денот(студент).
                      Кожній конкретизації (наприклад, Павло) зіставляється два види вузлів:
               вузол  опису  типу  конкретизації  і  вузол  опису  множини,  якій  належить  ця
               конкретизація.  Таким  чином,  маємо  три  види  вузлів:  вузол,  що  представляє
               індивіда  (конкретизацію),  який  через  проміжні  зв'язуючі  вузли  сполучений  з
               вузлами  типу  (Конкр)  і  множини  (Елем).  Природно  ввести  четвертий  вид:

                                                                                                            52
   47   48   49   50   51   52   53   54   55   56   57