го з прийнятих раніше тверджень і здійснити повернення до попереднього стану. Існує велика кількість програмних засобів, що реалізують продукційний підхід: мова OPS 5, оболонки ЕС - EXSYS Professional, Kappa, ЕКСПЕРТ, інструментальні системи Пієси і СПЕІС та ін
Мережева модель
Семантична мережа - це орієнтований граф, вершини якого відображають деякі поняття, а дуги - відносини між ними. Таким чином, семантична мережа відображає семантику предметної області у вигляді понять і відносин. Ідея систематизації на основі яких-небудь семантичних відносин не раз виникала в ранні періоди розвитку науки. Прабатьками сучасних семантичних мереж можна вважати екзистенційні графи, запропоновані Чарльзом Пірсом в 1909 р. Вони використовувалися для представлення логічних висловлювань у вигляді особливих діаграм. Пірс назвав цей спосіб «логікою майбутнього». Комп'ютерні семантичні мережі були детально розроблені Річардом Річенс в 1956 році в рамках проекту Кембриджського центру вивчення мови з машинного перекладу. Кількість типів відносин в семантичній мережі визначається її творцем виходячи з конкретних цілей. У реальному світі їх число прагне до нескінченності. Найбільш часто виникає потреба в описі відносин між елементами, множинами і частинами об'єктів. Відношення між об'єктом і безліччю, що позначає, що об'єкт належить цій безлічі, називається відношенням класифікації (ISA). Зв'язок ISA припускає, що властивості об'єкта успадковуються від множини. Протилежне до ISA ставлення використовується для позначення прикладом, тому так і називається - «Example». Відношення між надбезліччю і підмножиною називається AKO (A Kind Of). Елемент підмножини називається гіпоніми, а надбезліччю - гіперонімом, саме ж відношення називається відношенням гіпонімії. Це відношення визначає, що кожен елемент першої множини входить і в друге (виконується ISA для кожного елемента), а також логічний зв'язок між самими підмножинами: що перше не більш другого і властивості першого безлічі успадковуються другим. Об'єкт, як правило, складається з декількох частин, або елементів. Важливим ставленням є HasPart, що описує частини / цілі об'єкти (відношення мероніміі). Мерон - це об'єкт, що є частиною для іншого. Холон - це об'єкт, який включає в себе інше. Наприклад, двигун - це Мерон для автомобіля, а будинок - Холонів для даху. Часто в семантичних мережах потрібно визначити відносини синонімії та антонімії. Використовуються також такі відносини:
- Функціональні зв'язки (визначені зазвичай дієсловами «виробляє», «впливає» тощо);
- Кількісні (більше, менше, дорівнює);
- Просторові (далеко від, близько до, за, під, над);
- Тимчасові (раніше, пізніше, протягом
- Атрибутивні (мати властивість, мати значення);
- Логічні (і, або, не);
- Лінгвістичні.
Для всіх семантичних мереж справедливо поділ за арності та кількістю типів відносин.
За кількістю типів, мережі можуть бути однорідними і неоднорідними. Однорідні мережі володіють тільки одним типом відносин (такою є класифікація біологічних видів з єдиним ставленням AKO). У неоднорідних мережах кількість відносин більше двох. Класичні ілюстрації даної моделі подання знань представляють саме такі мережі. За арності, типовими є мережі з бінарними відносинами (що зв'язують рівно два поняття). Бінарні відносини прості й зручні в застосуванні. На практиці, однак, можу...
