є включення однієї множини в інше. Елем і подмн відображають приналежність множині. p align="justify"> Зв'язуючий вузол Це використовується для представлення відносини між першим типом і більш загальним другим. Нагадаємо, що предикат КОНКРІТ колись використовувався нами для подання приналежності індивіда типом. Це і конкр відображають приналежність типом. p align="justify"> Концепти в семантичних мережах володіють різними властивостями, що діляться, на аналітичні (властивості "типу") і синтетичні (властивості "безлічі"). Важливо враховувати це розходження при побудові мереж, щоб уникнути некоректних висновків. p align="justify"> Вистава В«сукупність - посиланняВ»
Існує графічне представлення (еквівалентне розглянутим раніше) з вузлами, що представляють типи і званими В«вузлами-сукупностямиВ» або В«родовими вузламиВ», котрі представляють конкретизації типів і званими В«вузлами-індивідамиВ» або В«вузлами-посиланнямиВ»
Семантична мережа утворюється послідовностями з трьох вузлів, з'єднаних так: за вузлом-посиланням (наприклад, представляє конкретизацію Кніга_22) слід зв'язуючий вузол КОНКРІТ, супроводжуваний вузлом сукупністю (наприклад, представляють тип В«книгаВ»).
Використовуючи метод Сови, ці три вузла можна згрупувати і представити одним В«вузлом-прямокутникомВ», складається з двох полів: з В«поля-сукупностіВ», що містить певний тип, і наступного за цим полем В«поля посилання В», наприклад з конкретизацією типу з першого поля (наступний малюнок). Тут поле посилання (праворуч від двокрапки) являє тип. Представлення [книга: Кніга_22] (або коротше, [книга: 22]) означає цілком певний об'єкт типу В«книгаВ». Представлення [книга: х] означає просто якийсь об'єкт типу В«книгаВ». Зазначимо, що наявність змінної в правому полі необов'язково. Наприклад, можна замінити уявлення [книга: х] еквівалентним йому поданням [книга] (малюнок). br/>В
Приклад
Фрази
В· Жак посилає (цілком певну) книгу Марі,
В· Жак посилає (якусь) книгу Марі
представляються двома графами, які можна виділити на наступному малюнку: перша фраза - графом без елементів з (2), друга фраза - графом без елементів з (1).
В
Приклад введення кванторів
Введемо графічне позначення кванторів на прикладі трьох фраз:
В· (1): Жак посилає (якусь) книгу кожній жінці,
В· (2): Жак посилає всяку книгу кожній жінці,
В· (3): Жак посилає (одну і ту ж) книгу кожній жінці.
Запишемо ці фрази в логіці предикатів
В· (1):
Одержувач (z, x) Об'єкт (z, y)
КОНКРІТ (z, посилка) КОНКРІТ (y, книга)
КОНКРІТ (х, жінка)],
В· (2):
Одержувач (z, x) Об'єкт (z, y)
КОНКРІТ (z, посилка) КОНКРІТ (y, книга)
КОНКРІТ (х, жінка)],
В· (3):
Одержувач (z, x) Об'єкт (z, y)
КОНКРІТ (z, посилка) КОНКРІТ (y, книга)
КОНКРІТ (х, жінка)],
Переклад з логічного мови на графічний здійснюється за такими правилами.
Насамперед концептуальний граф ділять на ієрархічне безліч зон, кожна із яких відповідає області одного або декількох кванторів. Наприклад, розглянемо логічну форму фрази (1). Відповідний граф зображений на наступному малюнку (елементи з (2) видалити). Для графічного зображення потрібно ввести позначення області дії кванторів спільності по перемінної х. З цією метою встановимо ієрархію прямокутників концептуального графа. На цьому і наступному за ним малюнках жирно виділені прямокутники найвищого порядку. Вони містять конкретизацію (КОНКРІТ) концепту сукупності В«формула під квантором спільностіВ» (на останніх малюнках, про які йде мова, цей концепт позначений Квант-форм). Кожна змінна під квантором спільності в цих формулах представлена ​​сполучною вузлом під знаком. p> Читач може перевірити, що з урахуванням цих угод щодо запису передостанній малюнок, про який йде мова, без елементів (2), зображує формулу (1), що він же, але разом з елементами, позначеними знаком (2), зображує формулу (2) і що останній малюнок, про який йде мова, представляє формулу (3).
В
В
24. Мова Prolog. Диз'юнкція. Заперечення
Диз'юнкція
Чистий Пролог дозволяє застосовувати тільки кон'юнкцію в питаннях і правилах. Мова, що використовується на практиці, багатший: у ньому допускаються диз'юнкція і заперечення в тілах правил і питаннях (тобто цілях, які досліджуються на досяжність). Розглянемо знов...
