м, тому так і називається - В«ExampleВ». Відношення між надбезліччю і підмножиною називається AKO (A Kind Of). Елемент підмножини називається гіпоніми, а надбезліччю - гіперонімом, саме ж відношення називається відношенням гіпонімії. Це відношення визначає, що кожен елемент першої множини входить і в друге (виконується ISA для кожного елемента), а також логічний зв'язок між самими підмножинами: що перше не більш другого і властивості першого безлічі успадковуються другим. Об'єкт, як правило, складається з декількох частин, або елементів. Важливим ставленням є HasPart, що описує частини/цілі об'єкти (відношення мероніміі). Мерон - це об'єкт, що є частиною для іншого. Холон - це об'єкт, який включає в себе інше. Наприклад, двигун - це Мерон для автомобіля, а будинок - холони для даху. Часто в семантичних мережах потрібно визначити відносини синонімії та антонімії. Використовуються також такі відносини:
- функціональні зв'язки (визначені зазвичай дієсловами В«виробляєВ», В«впливаєВ» тощо);
- кількісні (більше, менше, дорівнює);
- просторові (далеко від, близько до, за, під, над);
- тимчасові (раніше, пізніше, протягом
- атрибутивні (мати властивість, мати значення);
- логічні (і, або, не);
- лінгвістичні.
Для всіх семантичних мереж справедливо поділ за арності і
кількістю типів відносин.
За кількістю типів, мережі можуть бути однорідними і неоднорідними. Однорідні мережі володіють тільки одним типом відносин (такою є класифікація біологічних видів з єдиним ставленням AKO). У неоднорідних мережах кількість відносин більше двох. Класичні ілюстрації даної моделі подання знань представляють саме такі мережі. За арності, типовими є мережі з бінарними відносинами (зв'язують рівно два поняття). Бінарні відносини прості і зручні в застосуванні. На практиці, однак, можуть знадобитися відносини, що пов'язують більше двох об'єктів - N -арні. Недоліком даної моделі подання знань є складність організації процедури пошуку виведення на семантичній мережі. Для реалізації семантичних мереж існують спеціальні мережеві мови, наприклад NET, мова реалізації систем SIMER + MIR та ін Широко відомі експертні системи, що використовують семантичні мережі в якості мови представлення знань - PROSPECTOR, CASNET, TORUS. p> Фрейми
Фрейм - це абстрактний образ для представлення якогось стереотипу інформації.
У психології відоме поняття абстрактного образу. Наприклад,
проголошення вголос слова В«кімнатаВ» породжує у слухають образ
кімнати: В«житлове приміщення з чотирма стінами, підлогою, стелею, вікнами і дверима, площею 6-20 м2В». З цього опису нічого не можна прибрати (наприклад, прибравши вікна, ми отримаємо вже не кімнату, а комору), але в ньому є т.зв. слоти - незаповнені значення деяких атрибутів - наприклад, кількість вікон, колір стін, висота стелі, покриття підлоги та...
