ок, за яким здійснюється пошук в БЗ, а під В«дієюВ» (консеквентом) - операції, що виконуються при успішному результаті пошуку (вони можуть бути проміжними, виступаючими далі в якості умов і термінальними або цільовими, завершальними роботу системи).
Найчастіше висновок на такій базі знань буває прямий (від даних до
пошуку мети) або зворотний (від цілі для її підтвердження - до даних). Продукційна модель найчастіше застосовується в промислових експертних системах. Вона приваблює розробників своєю наочністю, високою модульність, легкістю внесення доповнень та змін і простотою механізму логічного висновку. p> Недоліком продукційної моделі є те, що при накопиченні
досить великої кількості (близько декількох сотень) продукцій вони починають суперечити один одному. Зростання суперечливості продукційної моделі може бути обмежений шляхом введення механізмів обмежень і повернень. Механізм винятків означає, що вводяться спеціальні правила-виключення. Їх відрізняє велика конкретність у порівнянні з
узагальненими правилами. За наявності винятку основне правило не застосовується. Механізм повернень означає, що логічний висновок може тривати навіть у тому випадку, якщо на якомусь етапі висновок привів до протиріччя: просто необхідно відмовитися від одного з прийнятих раніше тверджень і здійснити повернення до попереднього стану. Існує велика кількість програмних засобів, що реалізують продукційний підхід: мова OPS 5, оболонки ЕС - EXSYS Professional, Kappa, ЕКСПЕРТ, інструментальні системи Пієси і СПЕІС та ін
В
Мережева модель
Семантична мережа - це орієнтований граф, вершини якого відображають деякі поняття, а дуги - відносини між ними. Таким чином, семантична мережа відображає семантику предметної області у вигляді понять і відносин. Ідея систематизації на основі яких-небудь семантичних відносин не раз виникала в ранні періоди розвитку науки. Прабатьками сучасних семантичних мереж можна вважати екзистенційні графи, запропоновані Чарльзом Пірсом в 1909 р . Вони використовувалися для представлення логічних висловлювань у вигляді особливих діаграм. Пірс назвав цей спосіб В«логікою майбутньогоВ». Комп'ютерні семантичні мережі були детально розроблені Річардом Риченс в 1956 році в рамках проекту Кембриджського центру вивчення мови з машинного перекладу. Кількість типів відносин в семантичній мережі визначається її творцем виходячи з конкретних цілей. У реальному світі їх число прагне до нескінченності. Найбільш часто виникає потреба в описі відносин між елементами, множинами і частинами об'єктів. Відношення між об'єктом і безліччю, що позначає, що об'єкт належить цій безлічі, називається відношенням класифікації (ISA). Зв'язок ISA припускає, що властивості об'єкта успадковуються від безлічі. Зворотне до ISA відношення використовується для позначення прикладо...
