"justify"> будь-яка пара міток t1 і t2 має найменший спільний надтип,
В· будь-яка пара міток t1 і t2 має найбільший спільний підтип,
В· для будь-якого типу t виконується співвідношення А t U.
Дане відношення порядку представляється функціональним відношенням Це. Конкр означає приналежність індивіда типом. p align="justify"> Грати множин та решітки типів
Можна також ввести відношення порядку для множин (підмножина безлічі) за допомогою предиката подмн або зв'язує вузла з тим же ім'ям. При Одноелементний підмножині подмн замінюється на Елем. Ієрархія типів дозволила впорядковано класифікувати властивості типів, а ієрархія множин - властивості множин. Наступний малюнок ілюструє відмінність складових частин двох ієрархій. Введемо на концептуальних графах (у дусі класики) кілька функцій і операторів, діючих над безліччю типів. Перш за все - функція тип. Вона відображає безліч концептів на безліч Т, елементи якого називаються мітками (ярликами) типу. Концепти С1 і С2 мають один загальний тип, якщо тип (з1) = тип (с2). Денотатом типу t називається безліч всіх тих сутностей, які є конкретизація деякого концепту типу t. Оператор, сопоставляющий типом t його денотат, позначається через Денот. Тип профессор_універсітета є підтип типу професор. Отже, денотат Денот (профессор_універсітета) є підмножиною Денот (професор). br/>В
Кожній конкретизації (наприклад, Жак_2) порівнянно два види вузлів: вузол опису типу конкретизації і вузол опису множини, якому належить ця конкретизація. Таким чином, маємо три види вузлів: вузол, який представляє індивіда (конкретизацію), який через проміжні зв'язують вузли з'єднаний з вузлами типу (КОНКРІТ) і безлічі (Елем). Природно ввести четвертий вид: {x | тип} - для довільного індивіда {х} певного типу (тип). p align="justify"> Професор х (про який більше нічого не відомо) позначений {х | проф}. Цей вузол з'єднаний з вузлом, що представляє безліч професорів, через зв'язуючий вузол Елем. З іншого боку, він з'єднаний з вузлом, що представляє тип професора, через зв'язуючий вузол Абст. Оператор Абст визначає тип (абстрактний концепт) за описом якого-небудь елементу цього типу. Нарешті, можна визначити оператор В«прототіп_дляВ», який можна вважати приблизно зворотним оператору Абст. Оператор В«прототіп_дляВ» (прототипом) представляється зв'язує вузлом, який з'єднує тип з описом цього типу, які даються В«прототипомВ». Останній дозволяє стисло описати світ, розділений за типами об'єктів. Опис, що дається прототипом, можна розглядати як опис деякого типового представника безлічі. Отже, прототип - різновид міфічної константи. Вузол прототипу відрізняється від вузла {x | тип}, який доставляє безліч загальних властивостей об'єктів одного типу або одного безлічі. У цьому сенсі оператори Абст і прототипом не є взаємно зворотними. p align="justify"> З абстрактним концептом В«професора університетуВ» пов'язане властивість володіння докторським ступенем. З іншого боку, цілком імовірно, що кожен індивід з безлічі В«професорів університетуВ» має докторський ступінь. Отже, відповідні ієрархії типів і множин, наведені на цьому малюнку ізоморфні (кожному елементу однієї системи відповідає один елемент іншої системи, а кожній операції в одній системі - операція в іншій). p align="justify"> Визначення типу допомогою роду і відмінності.
Фраза В«Жак посилає книгу МаріВ». Відповідний запис її логічною формулою така:
Відправник (посилка: 8, чоловік: Жак_2)
Одержувач (посилка: 8, жінка: Марі_4) Об'єкт (посилка: 8, книга: 22) (6)
У такому поданні кожне значення аргументу типізовану, тобто йому приписана якась мітка типу. Визначення типу повинно задавати безліч необхідних і достатніх умов, що характеризують той факт, що даний об'єкт є об'єктом типу. p> Можна визначити мітки типів, використовуючи так званий Аристотель підхід, - через рід (genus) у відмінність (differentia). Тип визначається вихідним типом рід і висловлюванням, званим відмінність і відокремлює новий тип від початкового. Наприклад, Посилка - В«подія (рід), яке відбувається, коли дві людини, відправник і одержувач, забезпечують переміщення предмета поштою (відмінність)В». Формально:
Тип Посилка (х) є (рід)
КОНКРІТ (х, подія)
(відмінність)
Визначення типів можна формалізувати за допомогою?-виразів. Нехай t-мітка типу,? XF -?-Вираз. Тоді тип t (x) є F, де тіло F цього?-Вирази є розходженням мітки t, а t (x) - її родом. На наступному малюнку наведено визначення типу ресторану з використанням концептуального графа. br/>В
30. Мова Prolog. Оператори. Синтаксис операторів
Нагадаємо, що функціональний терм - це ім'я функції з аргументами ...
