Семантична мережа
Матеріал з Вікіпедії — вільної енциклопедії.
Семантична мережа — інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а ребра задають відносини між ними. Об'єктами можуть бути поняття, події, властивості, процеси[1].
Таким чином, семантична мережа є одним із способів представлення знань.
У назві сполучені терміни з двох наук: семантика у мовознавстві вивчає сенс одиниць мови, а мережа в математиці є різновидом графу — набору вершин, сполучених дугами (ребрами). У семантичній мережі роль вершин виконують поняття бази знань, а дуги (причому направлені) задають відношення між ними. Таким чином, семантична мережа відображає семантику предметної області у вигляді понять і відносин між ними.
У жодному випадку не можна змішувати поняття «Семантична мережа» (англ. semantic Network) і «Семантична павутина» (англ. semantic Web). Ця невідповідність виникає якраз через неточний переклад. Хоча ці поняття не еквівалентні, проте, вони пов'язані (див. нижче).
Зміст |
[ред.] Історія
Ідея систематизації на основі яких-небудь семантичних відносин пропонувалася ще ученими ранньої науки. Прикладом цього може служити біологічна класифікація Карла Ліннея 1735 р. Якщо розглядати її як семантичну мережу, то в даній класифікації використовується відношення підмножини, сучасне AKO.
Пращурами сучасних семантичних мереж можна вважати екзистенціальні графи, запропоновані Чарльзом Пірсом в 1909 г. Вони використовувалися для представлення логічних висловів у вигляді особливих діаграм. Пірс назвав цей спосіб «логікою майбутнього».
Важливим почином в дослідженні мереж стали роботи німецького психолога Отто Сальтисона 1913 і 1922 рр. В них, для організації структур понять і асоціацій, а також вивчення методів спадкоємства властивостей було використано графи і семантичні відносини. Дослідники дж. Андерсон (1973), д. Норман (1975) та інші використовували ці роботи для моделювання пам'яті людини та її інтелектуальних можливостей.
Комп'ютерні семантичні мережі були детально розроблені Річардом Річенсом в 1956 році в рамках проекту кембріджського центру вивчення мови по машинному перекладу. Процес машинного перекладу підрозділяється на 2 частини: переклад початкового тексту в проміжну форму представлення, а потім ця проміжна форма перекладається на потрібну мову. Такою проміжною формою якраз і були семантичні мережі. У 1961 р. з'явилася робота Мастермана, в якій він, зокрема, визначав базовий словник для 15000 понять. Ці дослідження були продовжені Робертом Симмонсом (1966), Уїлксом (1972) та іншими вченими.
Великий інтерес представляє робота Куїлліана (1967 р.).
[ред.] Структура
Математика дозволяє описати більшість явищ у навколишньому світі у вигляді логічних висловів. Семантичні мережі виникли як спроба візуалізації математичних формул. Основним спосом представлення для семантичної мережі є граф. Проте не варто забувати, що за графічним зображенням неодмінно стоїть строгий математичний запис, і що обидві ці форми є такими, що не конкурують, а доповнюють одна одну.
[ред.] Графічне представлення
Основною формою представлення семантичної мережі є граф. Поняття семантичної мережі записуються в овалах або прямокутниках і з'єднуються стрілками з підписами — дугами (див. мал.). Це найзручніша форма яка сприймається людиною.[Джерело?] Її недоліки виявляються, коли ми починаємо будувати складніші мережі або намагаємося врахувати особливості природної мови.
[ред.] Математичний запис
У математиці граф представляється множиною вершин V і множиною відносин між ними E. Використовуючи апарат математичної логіки, приходимо до висновку, що кожна вершина відповідає елементу предметної множини, а дуга — предикату.
[ред.] Класифікація семантичних мереж
Для всіх семантичних мереж справедливе розділення по арності і кількості типів відносин.
По кількості типів, мережі можуть бути однорідними і неоднорідними. Однорідні мережі мають тільки один тип відносин (стрілок), наприклад, такою є вищезазначена класифікація біологічних видів (з єдиним відношенням AKO). У неоднорідних мережах кількість типів відносин більше двох. Класичні ілюстрації даної моделі представлення знань представляють саме такі мережі. Неоднорідні мережі представляють більший інтерес для практичних цілей, але і більшу складність для досліджень.
По арності, типовими є мережі з бінарнимі відносинами (що зв'язують рівно два поняття). Бінарні відносини, дійсно, є простими і зручно виглядають на графі у вигляді стрілки між двома поняттями. Крім того, вони грають виняткову роль в математиці. На практиці, проте, можуть знадобитися відносини, що зв'язують більше двох об'єктів, — N-арні. При цьому виникає складність — як відобразити подібний зв'язок на графі, щоб не заплутатися. Концептуальні графи (див. нижче) знімають це ускладнення, представляючи кожне відношення у вигляді окремого вузла.
Крім концептуальних графів існують інші модифікації семантичних мереж, це є ще однією основою для класифікації (по реалізації). Див. детальніше у відповідному розділі нижче.
[ред.] Семантичні відносини
Кількість типів відносин в семантичній мережі визначається її розробником, виходячи з конкретних цілей. В реальному світі їх число прямує до нескінченності. Кожне відношення є, по суті, предикатом, простим або складним. Швидкість роботи з базою знань залежить від того, наскільки ефективно зроблені програми обробки потрібних відносин.
[ред.] Ієрархічні
Найчастіше виникає потреба в описі відносин між елементами, множинами і частинами об'єктів. Відношення між об'єктом і множиною, що позначає, що об'єкт належить цій множині, називається відношенням класифікації (ISA). Говорять, що множина (клас) класифікує свої екземпляри.[2] Назва походить від англійського «IS A». Іноді це відношення іменують також MemberOf або якось подібно. Зв'язок ISA припускає, що властивості об'єкту успадковуються від множини. Зворотнє до ISA відношення використовується для позначення прикладів, тому так і називається — «Example», або українською «Наприклад».
Відношення між надмножиною і підмножиною називається AKO — «A Kind Of» («різновид»). Елемент підмножини називається гипонімом, а надмножини — гиперонімом, а саме відношення називається відношенням гипонімії. Альтернативні назви — «SubsetOf» і «Підмножина». Це відношення визначає, що кожен елемент першої множини входить і в друге (виконується ISA для кожного елементу), а також логічний зв'язок між самими підмножинами: що перше не більше другого і властивості першої множени успадковуються другою.
Об'єкт, зазвичай, складається з декількох частин, або елементів. Наприклад, комп'ютер складається з системного блоку, монітора, клавіатури, миші і т. д. Важливим відношенням є HasPart, що описує частини/складові об'єкти (відношення меронімії). меронім — це об'єкт, що є частиною іншого. Двигун — це меронім для автомобіля. холонім — це об'єкт, який влючаєт в себе інше. Наприклад, біля будинку є дах. будинок — холонім для даху. Комп'ютер — холонім для монітора. Меронім і холонім — протилежні поняття.
Часто в семантичних мережах потрібно визначити відносини синонімії і антонімії. Ці зв'язки або дублюються явно в самій мережі, або в алгоритмічній складовій.
[ред.] Допоміжні
У семантичних мережах часто використовуються також наступні відносини [Гаврилова]:[Джерело?]
- функціональні зв'язки (визначені, зазвичай, дієсловами «виготовляє», «впливає».);
- кількісні (більше менше, рівно.);
- просторові (далеко від, близько від, за, під, над…);
- тимчасові (раніше, пізніше, під час);
- атрибутивні (мати властивість, мати значення);
- логічні (ТАК, АБО, НІ);
- лінгвістичні.
Цей список може скільки завгодно продовжуватися: в дійсності кількість відносин величезна. Наприклад, між поняттями може використовуватися відношення «абсолютно різні речі» або подібне: не_мають_відношення_між_собою(Сонце, Кухонний_чайник) .
[ред.] Використання семантичних мереж
[ред.] Семантична павутина
Концепція організації гіпертексту нагадує однорідну бінарну семантичну мережу, проте тут є істотна відмінність:
- Зв'язок, здійснюваний гіперпосиланням, не має семантики, тобто, не описує сенсу цього зв'язку. Призначення семантичної мережі полягає в тому, щоб описати взаємозв'язки об'єктів, а не додаткову інформацію по предметній області. Людина може розібратися, навіщо потрібне те або інше гіперпосилання, але комп'ютеру цей зв'язок не зрозумілий.
- Сторінки, що зв'язуються гіперпосиланнями, є документами, що описують, як правило, проблемну ситуацію в цілому. У семантичній мережі вершини (ті, що зв'язують відносини) є поняття або об'єкти реального світу.
Спроба створення семантичної мережі на основі всесвітньої павутини отримала назву семантичної павутини. Ця концепція має на увазі використання мови RDF (мови розмітки на основі XML) і покликана додати посиланням якийсь сенс, зрозумілий комп'ютерним системам. Це дозволить перетворити Інтернет на розподілену базу знань глобального маштабу.
[ред.] Посилання
- ↑ Roussopoulos N.D. A semantic network model of data bases. — TR No 104, Department of Computer Science, University of Toronto, 1976.
- ↑ http://www.rsdn.ru/article/patterns/oomethods.xml
