в дужках. Саме ім'я функції являє собою нечислової атом. Взагалі ж нечислової атом - це функціональний терм без аргументів. Будь терм можна представити у вигляді дерева, корені якого приписано ім'я зовнішньої функції, а гілкам відповідні набори аргументів. Наприклад, терм f (x, g (y, z)) задається наступним деревом:
В
Таке уявлення є канонічною формою: вона не залежить від способу запису термів. Канонічну форму корисно буває використовувати в тих випадках, коли потрібно уточнити уявлення термів (деякі терми можуть бути записані багатьма способами). Зокрема, для термів з одним або двома аргументами функціональне позначення можна замінити ім'ям операції, причому ім'я функції-операції записується як унарний префіксний (або постфікний) оператор, або як бінарний інфіксне оператор: ОР1 з а ор2 b замість ОР1 (с) ор2 ( а, b). При цьому іменам функцій-операцій (ОР1 і ор2) треба надати статус операторів з пріоритетом. Очевидно, що вирази а ор2 b і ор2 (а, b) ставлять одне і те ж об'єкт:
В
Нові імена функцій і предикатів можна записувати у вигляді операторів. Наприклад, a + b * c і + (a * (b, c)) один і той же терм; його дерево виглядає так:
В
Пріоритет В«+В» нижче, ніж у В«*В» (як звичайно). Підкреслимо, що a + b * c - терм Прологу, а не числовий оператор, що описує процедуру обчислення. br/>В
31. Прототипи. Схеми і схематичні кластери
Визначити якийсь тип можна ще шляхом демонстрації декількох прикладів індивідів В«якогось типуВ» і стверджуючи, що все, чим схожі індивіди, відноситься до обговорюваного типу. Прототип - це конкретизація типу або, інакше, типова конкретизація. Метод прототипів описує швидше типового індивіда якогось класу, ніж довільного представника цього класу з набором характерних властивостей. p align="justify"> Прототип вказує властивості, істинні в типовому, але не обов'язково в кожному окремому випадку. Він дозволяє гнучко визначати клас об'єктів. Прототип містить фіксовану частину (відповідну тому загальному, що є у всіх конкретизацій цього класу) і змінну частину (обов'язкову чи ні, свою для кожної конкретизації). p align="justify"> Схеми і схематичні кластери
Концептуальний граф служить для представлення знань. Його можна також використовувати для міркувань і обчислень. Для цього введемо поняття схеми, пов'язавши його з правдоподібними і мають сенс міркуваннями. Схему можна визначити, вводячи послідовно обмеження на концептуальний граф. p align="justify"> В· У довільному концептуальному графі не накладаються ніякі обмеження на розстановку вузлів.
В· Канонічно графи мають семантичні обмеження, представляючи щось В«семантично коректнеВ» або В«яснаВ».
В· Схеми включають В«специфічні знанняВ» про область міркувань (експертизи), представляючи все правдоподібне.
Поняття схеми увазі не тільки визначення, але і спосіб застосування. Для ілюстрації цього аспекту спочатку порівняємо визначення схеми та типу. Формальне визначення схеми дамо потім. Кожен концепт має рівно одне визначення його типу, що дає необхідні і достатні умови належності конкретизації певного типу. p align="justify"> Кожному типу можна зіставити кілька схем, кожна з яких представлятиме один із способів застосування концепту даного типу. Це призводить до поняття В«безлічі схемВ» як можливого джерела інформації, еквівалентної визначенням типу. А сам концепт можна визначити В«безліччю його формальних застосуваньВ». p align="justify"> Для формального опису концепту було введено поняття кластера або набору схем. Кожна з них вказує спосіб застосування даного концепту. Набір всіх можливостей застосування типу називається його схематичним кластером. p align="justify"> Кожну схему можна формалізувати за допомогою ? - виразів діючи так як при визначенні типу допомогою роду і відмінності. Нехай ? XF - представляє схему ? - вираз. Формальний параметр х представлятиме концепт того типу, який потрібно визначити, а тіло F вкаже один із способів застосування цього типу. Тут F - логічна формула або представляє її канонічний граф.
Визначимо схематичні кластери за допомогою ? - виразів. Схематичний кластер для класу t є безліч { ? x1F 1, ..., ? xpFp }? - виразів, де коже...
