Виведення на семантичних сітках. Переваги і недоліки

Виведення логічного висновку на СС виконується на основі декількох методів порівняння графових структур. Усі такі методи можна поділити на 3 типи:

– порівняння семантичних графів вузол за вузлом;

– порівняння графів частина за частиною;

– топологічне порівняння.

При порівнянні вузол за вузлом вузли двох структур, що розглядаються, порівнюють один за одним, поки не буде знайдено відповідність на співпадання. Якщо знайдено неспівпадання, то здійснюється повернення до того місця, де було останнє співпадання, і відбувається порівняння іншими елементами. В методах, які здійснюють порівняння частина за частиною, всю загальну структуру розбивають на частини, і порівняння відбувається по частинах.

Топологічний метод порівняння передбачає паралельне порівняння. Встановлюються прості властивості вузлів структур, які порівнюються і порівнюються підмножини тих вузлів, які мають однакові властивості. Потім відбувається декомпозиція на дрібніші підмножини, поки для всіх вузлів обох структур не буде знайдено повну відповідність. Коли мова йде про порівняння СС, де вершини і дуги є семантично навантаженими, то процес порівняння графів ускладнюється, оскільки потрібно розглядати семантику вузлів.

Що має ЯК-40? Для відповіді на це запитання проводиться співставлення базової СС і пошукового графу. Спочатку треба відшукати вершину МАТИ. Якщо проводити подальше співставлення для питання типу “Чи є літак, який має двигун типу ДА?”, то пошуковий граф буде мати такий вигляд:

У такому вигляді відповідь на запитання не буде виданою, оскільки в запиті немає повідомлення, що ЯК-40 – це пасажирський літак. Якщо це ввести (вершину ЯК-40 і дугу, що показує, що ЯК-40 – це літак), то тоді вже можна співставити вершини МАТИ і пошуковому та базовому графах, а також вершину ДВИГУН і ДА. Тоді можна отримати відповідь: ”Так, такий літак існує, і це ЯК-40”.

Завдання на виконання лабораторної роботи.

1. Побудувати приклад семантичної сітки, в якій буде відображено родо-видові зв’язки() зв’язок є представником () є частиною (), а представляється семантичний зв’язок між об’єктами.

2. Навести приклади узагальнених, конкретних та агрегатних об’єктів для даної семантичної сітки.

Навести приклад відношень є родом, є видом, є представником, є частиною.

4. Побудувати предикатну семантичну сітку щодо деяких висловлювань про об’єкти проблемної області, а також предикатну семантичну сітку, яка з’єднює ці вислови за допомогою .

5. Навести приклади наслідування властивостей в семантичних сітках.