
- •4.1. Знання і деякі підходи до їх подання
- •4.2. Вербально-дедуктивне визначення знань
- •4.3. Експертні системи
- •4.4. Дані та знання
- •4.5. Зв'язки між інформаційними одиницями
- •4.6. Проблема винятків
- •4.7. Властивості знань
- •4.8. Неоднорідність знань. Області і рівні знань
- •4.9. База знань як об'єднання простіших одиниць
- •4.10. Бінарні предикати і тріада
- •4.11. Проблема неточних і неповних знань
- •5Л. Визначення та класифікація семантичних мереж
- •5.2. Семантичні мережі в пам'ті людини
- •5.3. Трирівнева архітектура семантичних мереж
- •5.4. Асиміляція нових знань на основі семантичних мереж
- •5.5. Різні способи задання семантичних мереж
- •5.6. Логічне виведення на семантичних мережах
- •5.7. Процедурні і роздалені семантичні мережі
- •Фрейми та слоти: базові поняття
- •Конкретизація, ієрархія та наслідуваніїя фреймів
- •6.3. Поповнення первинних описів на основі фреймових моделей
- •0.10 * (Кількість_уроків - 1)), (Коли, _ ), (Хто,_),
- •0.10 * (Кількість_уроків - 1)), (Коли, вчора), (Хто, Петро),
- •6.4. Мережі подібностей і відмінностей
- •6.5. Фрейми та об'єктно-орієнтоване програмування
- •6.6. Поняття про мову uml
- •7Л. Логічні побудови та логічні моделі
- •7.2. Короткий вступ до числення предикатів
- •7.3. Фразова форма запису логічних формул
- •7.4. Аналіз і доведення теорем
- •7.5. Побудова теорії певної області знань
- •7.6. Від формальної логіки до логічного програмування
- •Будь-який терм зіставляється сам з собою. Наприклад, дві фрази
- •Різні константи не зіставляються одна з одною, тому фрази
- •Змінна може бути замінена константою або іншим термом. Так, фрази
- •7.7. Мова Пролог і логічне програмування
- •7.8. Основні ідеї Прологу
- •7.9. Як працює Пролог
- •8.1. Характеристика продукіцйиих моделей
- •8.2. Продукції та мережі виведення
- •8.3. Типова схема роботи експертної системи на базі продукцій
- •8.4. Пряме та зворотне виведення
- •8.5. Типові дисципліїш виконання продукцій
- •8.6. Основні стратегії вирішешія конфліктів у продукіцйііих системах
5Л. Визначення та класифікація семантичних мереж
Семантичні мережі є зручним способом графічного подання знань. Особливий акцент при цьому робиться на зв'язках між різними інформаційними одиницями та між різними фрагментами знань. Важливим
є те, що вся інформація про дане поняття групується навколо вузла мережі, який відповідає цьому поняттю.
Я Семантичну мережу можна неформально уявляти у вигляді графу, й вершини якого, як правило, позначають об 'єкти предметної області, || а дуги відповідають зв 'язкам між ними.
Це визначення є неформальним і орієнтоване скоріше на людське розуміння, ніж на проектування і створення систем штучного інтелекту. Остання задача вимагає більш формальних визначень [129].
І Формально семантична мережа визначається як набір <І, С\, Сі, ..., Сп, Г>. Тут І—множина інформаційних одиниць, С\, Сі, ..., Сп— типи зв'язків між інформаційними одиницями, Г— відображення, що задає зв 'язки між інформаційними одиницями.
На відміну від неформального визначення, останнє вимагає жорсткої фіксації схеми бази знань, тобто набору можливих інформаційних одиниць і типів можливих зв'язків.
Існує значна кількість моделей знань на основі семантичних мереж; історично першою була модель Квілліана [223]. Наведемо приклад.
Є
Рис.
5.1. Приклад семшггичної мережі
47
Таке подання, зрозуміло, не є єдино можливим. У п. 5.5 обговорюється, які переваги і недоліки можуть бути пов'язані з різними формами задання баз знань у вигляді семантичних мереж.
Семантичні мережі є найбільш широким класом мережних моделей, в яких поєднані різні типи зв'язків. Часткові випадки семантичних мереж відповідають спеціальним типам зв'язків. Виокремлюють, зокрема, класифікуючі мережі, функціональні мережі та сценарії.
Класифікуючі мережі дозволяють задавати відношення ієрархії між інформаційними одиницями.
Функціональні мережі характеризуються наявністю функціональних відношень, які дозволяють описувати процедури обчислень одних інформаційних одиниць через інші. їх часто називають обчислювальними моделями, оскільки вони дозволяють описувати процедури обчислення одних інформаційних одиниць через інші. Функціональним мережам присвячена монографія [253], гарний опис функціональних мереж можна знайти також у [221].
У сценаріях використовуються відношення типу "причина — наслідок", "дія", "засіб дії" та ін.
5.2. Семантичні мережі в пам'ті людини
Є ряд свідчень на користь того, що знання в людській пам'яті зберігаються у вигляді структур, які нагадують семантичні мережі. Про це свідчать, зокрема, результати дослідів, що проводилися школою Жана Піаже [187].
Рис.
5.2. Перше зображення квадрата Але
потім вона намалювала зовсім іншу
фігуру:
Коли дівчинку попросили пояснити свій малюнок, вона вказала на три елементи: "жорсткі речі", "речі, що йдуть вгору — вниз" і "боковинки". Коли вона показала на початковому квадраті, що малося на увазі, з'ясувалося, що "жорсткі речі" відповідають кутам квадрата, "боковинки" — горизонтальним сторонам, а "речі, що йдуть вгору — вниз" — вертикальним.
Жан Піаже та його учні дають цьому таке пояснення. Людина зберігає зображення в своїй пам'яті не так, як воно сприймається органами чуттів, а у вигляді структурного опису. Так, семантична мережа, що задає структурний опис квадрата, могла б мати вигляд:
Легко побачити схожість цієї структури (особливо фрагмента, обведеного рамкою) з малюнком, зробленим дівчинкою. Очевидно, коли дівчинка робила другий малюнок, вона пропустила стадію реконструкції зображення і намалювала квадрат у вигляді структури, яка збереглася в її пам'яті.