андами, а дані використовуються цими командами лише в разі потреби. Для ІС ця ситуація не прийнятна. Як і у людини, в ІС актуалізації тих чи інших дій сприяють знання, наявні в системі. Таким чином, виконання програм в ІС повинно ініціюватися поточним станом інформаційної бази. Поява в базі фактів або описів подій, встановлення зв'язків може стати джерелом активності системи.
Перераховані п`ять особливостей інформаційних одиниць визначають ту межу, за якою дані перетворюються в знання, а бази даних переростають в бази знань (БЗ). Сукупність засобів, що забезпечують роботу з знаннями, утворює систему управління базою знань (СУБЗ). В даний час не існує баз знань, в яких повною мірою були б реалізовані внутрішня интерпретируемость, структуризація, зв'язність, введена семантична міра і забезпечена активність знань.
.6 Етапи розробки експертних систем
Критерії, яким повинна відповідати поставлена ??задача:
Додаток відповідає методам ЕС, якщо розв'язувана задача володіє сукупністю наступних характеристик:
) завдання може бути природним чином вирішена за допомогою маніпуляції з символами (тобто з допомогою символічних міркувань), а не маніпуляцій з числами, як прийнято в математичних методах і в традиційному програмуванні;
) задача повинна мати евристичну, а не алгоритмічну природу, тобто її рішення має вимагати застосування евристичних правил. Завдання, які можуть бути гарантовано вирішені (з дотриманням заданих обмежень) за допомогою деяких формальних процедур, не підходять для застосування ЕС;
) завдання повинне бути достатньо складна, щоб виправдати витрати на розробку ЕС. Однак вона не повинна бути надмірно складною (рішення займає у експерта годинник, а не тижні), щоб ЕС могла її вирішувати;
) завдання повинне бути достатньо вузькою, щоб вирішуватися методами ЕС, і практично значущою.
При розробці ЕС, як правило, використовується концепція «швидкого прототипу». Суть цієї концепції полягає в тому, що розробники не намагаються відразу побудувати кінцевий продукт. На початковому етапі вони створюють прототип (прототипи) ЕС. Прототипи повинні задовольняти двом суперечливим вимогам: з одного боку, вони повинні вирішувати типові завдання конкретного додатка, а з іншого - час і трудомісткість їх розробки повинні бути вельми незначні, щоб можна було максимально запараллелить процес накопичення і відладки знань (здійснюваний експертом) з процесом вибору (розробки) програмних засобів (здійснюваним інженером по знаннях і програмістом). Для задоволення зазначеним вимогам, як правило, при створенні прототипу використовуються різноманітні засоби, що прискорюють процес проектування.
2. Обгрунтування вибору моделі подання знань
.1 продукційна модель
продукційна модель найбільш поширена в додатках. Модель реалізується правилами-продукціям:
якщо lt; умова gt; то lt; висновок gt; .
В якості умови може виступати будь-яка сукупність суджень, з'єднаних логічними зв'язками і (), або ().
Приклад. Продукцією буде наступне правило:
якщо (курс долара-зростає) (сезон-осінь) (число продавців-убуває)
то (прогноз цін на ринку житла - зростання рублевих цін на квартири).
Такого роду правила і знання про ціни, пропозицію та попит на ринку житла можуть стати базою для бази знань про ринок житла та експертної системи для ріелтерської групи (фірми).
Існують дві основні стратегії виведення на безлічі правил-продукцій:
прямий висновок (висновок від вихідних даних-фактів, аксіом - до мети, по шляху виведення поповнюючи вихідну базу знань новими отриманими дійсними фактами; процес закінчується лише тоді, коли виведений факт, еквівалентний шуканого);
зворотний висновок (висновок від цільового факту до даних, на черговому кроці відшукується черговий факт, у заключній частині міститься факт, еквівалентний вихідному фактом; процес закінчується тоді, коли для кожного факту, виведеного на черговому кроці, що не буде знайдено правило, має цей факт в якості висновку, а посилками - вихідні або виведені на попередніх кроках факти).
Обидві наведені стратегії виведення мають недоліки, гідності та модифікації.
Приклад. Якщо все безліч правил-продукцій розбито на групи за певною ознакою (структуровано), то замість повного або випадкового перебору всіх правил при прямому і зворотному виведенні здійснюється цілеспрямований перехід від однієї групи...
