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

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

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

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

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

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

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

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

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

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

1. Для побудови семантичної мережі використати приклад предметної області, який було використано для побудови інформаційної моделі предметної області в лабораторній роботі №3.

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

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

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

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

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

Приклад виконання завдання.

У результаті проведеного обстеження предметної області “Оплата комунальних послуг” отримано такий перелік реквізитів, які відносяться до інформаційних об’єктів Ощадна_каса, Клієнт, Комунальна_послуга, Оплата_комунальної_послуги:

• номер комунальної послуги;

• адреса ощадної каси;

• телефон ощадної каси;

• номер клієнта;

• прізвище та ініціали клієнта;

• домашня адреса клієнта;

• назва комунальної послуги;

• номер рахунку, на який оплачується комунальна послуга;

• дата оплати;

• місяць, за який оплачується послуга;

• сума оплати.

– семантичний зв’язок

– родово-видовий зв’язок

– зв’язок “бути представником”

– зв’язок “бути частиною”