
- •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.6. Логічне виведення на семантичних мережах
Основний механізм логічного виведення на семантичних мережах пов'язаний з відношенням успадкування на основі зв'язків "Є" (див. п. 4.8). Це означає, що властивості, задані для надкласів, передаються донизу за транзитивним ланцюжком відношень "Є".
Як приклад розглянемо набір тверджень
Усі ластівки — птахи.
Юкко — ластівка.
Цьому набору тверджень може відповідати така елементарна семантична мережа:
Рис.
5.11. Наслідування за семантичною мережею
Тоді з семантичної мережі можна вивести твердження: Юкко — птах. Проілюструємо на прикладі аналогічної семантичної мережі механізм обробки винятків, описаний в п. 4.6 (у разі виникнення суперечностей підклас успадковує відповідну властивість лише від найближчого попередника).
Рис.
5.12. Наслідування та обробка винятків
55
Відповідь на запитання "Юкко літає?" отримується таким чином. Загальна властивість "літає", задана для класу "Птах", передається за ланцюжком відношень "Є" (про можливі порушення транзитивності див. у п. 4.5). У результаті система повинна відповісти: "Так, Юкко літає ".
Механізм блокування наслідування вступає в дію при відповіді на запитання "Вакс літає? " "Бакс " є екземпляром класу "Пінгвін ", для якого властивість "літає" перевизначена. Це перевизначення блокує передачу відповідної властивості від надкласу "Птах", і "Бакс" наслідує її лише від класу "Пінгвін " — найближчого класу, для якого властивість "Літає " визначена або перевизначена. Звідси — система повинна відповісти: "Ні, Бакс не літає".
У семантичних мережах можна також вводити зв'язки, що задають імплікацію, явно.
Слід відмітити, що формалізм семантичних мереж є зручним для задання знань і не дуже зручним для формалізації логічного виведення. Деякі конкретні методи логічного виведення на семантичних мережах описані в [33, 129, 223]. Багато з них базуються на механізмах дедуктивного виведення, характерних для логічних моделей і продукційних систем (насамперед — метод резолюцій). Ряд методик використовує зіставлення зі зразком — воно характерніше для фреймових моделей (див. розд. 6). Але існують і методики, специфічні для семантичних мереж як графових моделей. В основі цих методик лежить інтерпретація логічного виведення та пошуку потрібної інформації в базі знань, заданій семантичною мережею, як пошуку на графі. Наприклад, у [223] коротко описаний спосіб виведення, що називається перехресним пошуком. Відповідь на запитання формується на основі пошуку шляхів між об'єктами, які фігурують у запитанні, та їх аналізу.
Наприклад, при аналізі мережі, зображеної на рис. 5.12, на запитання "Що спільного між Баксом та Юкко? " система може відповісти "Обидва вони птахи, але різних видів ".
5.7. Процедурні і роздалені семантичні мережі
Чимало досліджень присвячено уніфікації формальних описів семантичних мереж на основі введення єдиної семантики. Зокрема, запропоновані процедурні семантичні мережі [223].
Процедурна семантична мережа конструюється на основі класу (поняття), а вершини та дуги задані як об'єкти. Процедури визначають такі основні операції над дугами:
встановлення зв'язку;
анулювання зв'язку;
підрахунок кількості вершин, з'єднаних даною дугою;
перевірка наявності дуги між заданими вершинами.
Ряд процедур визначає основні дії над вершинами, наприклад:
визначення екземпляра класу;
анулювання екземпляра;
підрахунок кількості екземплярів класу;
перевірка належності екземпляра класу.
Апарат розділених семантичних мереж [223] призначений для задання кванторів існування і таких кванторів загальності, для яких немає задовільного опису на основі зв'язків "Є". Кожний квантор пов'язується з певною підмережею, тобто вводиться ієрархія підмереж.
КОНТРОЛЬНІ ЗАПИТАННЯ
Дайте неформальне визначення семантичної мережі.
Дайте формалізоване визначення семантичної мережі.
Намалюйте семантичну мережу, що описує деякий набір фактів з довільної предметної області.
Охарактеризуйте трирівневу архітектуру семантичних мереж.
Що таке концептуальний граф?
Який елемент семантичної мережі відповідає тріаді "об'єкт — атрибут — значення"?
Опишіть процес асиміляції нової інформації в рамках моделі семантичних мереж.
Охарактеризуйте повну і модальну асиміляцію нової інформації.
Охарактеризуйте відомі підходи до логічного виведення на семантичних мережах. Який з них є основним?
Як пов'язане логічне виведення на семантичних мережах з відношенням "Є"?
Опишіть механізм блокування наслідування за наявності винятків. Наведіть приклади.
Охарактеризуйте поняття перехресного пошуку на семантичних мережах.
Що таке розділені семантичні мережі?
Що таке процедурні семантичні мережі?
ТЕМИ ДЛЯ ОБГОВОРЕННЯ
Чи можна хоча б приблизно вважати, що людина запам'ятовує інформацію у вигляді структур, подібних до семантичних мереж?
Охарактеризуйте на довільному прикладі різні способи подання концептуальних одиниць за допомогою семантичних мереж. У чому полягають переваги і недоліки цих способів?
Розділ 6
ФРЕЙМОВІ МОДЕЛІ
Вовчика попросили пофарбувати вікна.
Через три годили він повертається і запитує директора ніколи: — Іване Петровичу, а рами теж фарбувати?
Анекдот