а (або що виходить з нього) з'єднана з вузлом концептом. Однак деякі комбінації вузлів безглузді. Наприклад, можна зобразити графом фразу В«видалити останнє слово наступного рядкаВ» (якогось тексту). З позицій граматики ця фраза синтаксично і семантично коректна. Навпаки фраза В«видалити останній рядок наступного словаВ» синтаксично коректна, але абсурдна (семантично некоректна). Щоб виключити графи нереальних (неможливих) ситуацій області міркувань, Сова визначив канонічні (семантично коректні) графи дозволених комбінацій слів. Кожен складає уявлення про світ, виразіми канонічними графами, виходячи з особистого досвіду. p align="justify"> Таким чином, можливий шлях побудови таких графів наступний: мозок виробляє систему концептів, базуючись на вступників відчуттях, і так розставляє сформовані концепти, щоб вони відображали реальну ситуацію. Отже, можна вважати, що мозок будує канонічні графи, що представляють, взагалі кажучи, очевидності (іншими словами тавтології числення предикатів). Нові канонічні графи будуються з наявних за певними правилами побудови. Ці правила формують породжує граматику для концептуальних графів точно так само, як це робиться за допомогою правил переписування Хомського у разі граматик, що породжують для синтаксичних структур природних мов. p align="justify"> Правила побудови
Сова запропонував чотири правила побудови для конструювання нового канонічного графа g з наявних графів g1 і g2 (які можуть збігатися):
Правило кон'юнкції: Якщо вузол-концепт з1 в g1 ідентичний вузлу-концепту с2 в g2, то g виходить видаленням с2 і з'єднанням з з1 всіх зв'язують вузлів, які були пов'язані з с2 в g2.
Правило спрощення. Якщо концептуальний граф g містить два ідентичних (з'єднаних з одними і тими ж вузлами-концептами) зв'язують вузла, то можна видалити один з них разом з пов'язаними з ним стрілками. p align="justify"> Правило копіювання: граф g є копія графа g1.
Правило обмеження: Для будь-якого концепту з концептуального графа g тип (с) можна замінити якимось підтипом. Якщо з - концепт сукупності, то її посилання можна замінити індивідуальним покажчиком (якийсь конкретизацією). Такі заміни дозволені лише тоді, коли посилання для с відповідає типу (с). p align="justify"> Проілюструємо ці правила на концептуальних графах представлених на наступному малюнку. Граф без елементів з (2) - для фрази В«Жак терміново посилає книгу комусьВ» Граф без елементів з (1) - для фрази В«Жак посилає поштою книгу МаріВ». Застосування правила кон'юнкції до цих двох графах дає весь граф зображений на малюнку. Можна було б далі застосувати до останнього графу правило обмеження, замінюючи позначену х сукупність В«комусьВ» менше сукупністю В«жінкаВ». Однак перш треба переконатися у властивості В«Марі - жінкаВ». Попередні правила є фактично правилами судження: обмеження звужує концепти, а кон'юнкція додає умови на графах. Аналогічно можна визначити правила розширення, які представляють собою правила, зворотні до правил судження. br/>В
Успадковані властивості
Форма різних концептів, типів і множин в багатьох додатках ієрархічна. Класифікація тварин за родами, видами, домами, загонам і т.д. - Класичний приклад ієрархії. Інший приклад - безліч слів у словнику. Книги, транспортні засоби та споруди утворюють ієрархічно впорядковані множини. Можна ієрархічно класифікувати і абстрактні концепти дій, станів, властивостей, переконань. Використовувані в звичайних міркуваннях класифікації, як правило, складніше біологічних: індивід належить, взагалі кажучи, не одному типу і не одному безлічі. Однак у більшості випадків для ШІ використовуються порівняно прості ієрархії. p align="justify"> Спочатку проілюструємо ієрархію типів на прикладі, а потім дамо формальне визначення. Якщо відомо, що Жак (представлений конкретизацією Жак_2) - професор університету, то можна зробити висновок про наявність у нього докторського ступеня і про те, що він працює в університеті. Інформація В«Жак - професор університетуВ» надала нам цілий ланцюжок відомостей про Жаке. Успадкованими називають такі властивостей, які можна вивести подібним чином. Особливих причин детально зупинятися на них немає. Ясно, що деякі характеристики професорів університету можна описати виходячи з належності до професури; деякі характеристики професури виносяться з того факту, що вони містяться в сукупності працівників розумової праці, і, в кінцевому рахунку, всіх людей. Міркування ефективності спонукають нас не пов'язувати з Жаком всі загальні професорів університету, взагалі професорів і, нарешті, всіх людей. Вельми загальна властивість, як наприклад, В«У Жака дві руки і дві ногиВ», зіставляється вузлу, що характеризує всіх людей. Це дає можливість не проголошувати наявність зазначеної властивості окремо, для кожного індивіда. br/>
28...
