Формалізовані знання задаються у вигляді строгих суджень, які утворюють формальну систему. F =, A-алфавіт, або набір символів, з яких будується пропозицію формальної системи. P-синтаксичні правила побудови пропозиції, X-аксіома (тотожне правильна пропозиція), I-семантичні правила (правило побудови нових пропозицій з аксіом (теорем)).
Аксіоматична теорія ймовірності як приклад формальної системи (формалізованих знань)
При обчисленні ймовірності, P задається перерахуванням її властивостей. Ці властивості визначаються основними властивостями частоти. 1) неотрицательность (m / n> = 0), 2) if подія m з'являється при кожному випробуванні, то воно достовірно при будь-якому n (m / n = 1), 3) if m1 / n випробувань тягнуть за собою подія => A , a m2 / n => B, причому в одному з n випробувань обидва події не з'явилися одночасно, то частота m / n появи події, відповідного, або A, або B = сумі двох частот. m / n = m1 / n + m2 / n.
Імовірність випадкової події А - чисельна міра можливості настання цієї події при деякому випробуванні, що задовольняють аксіомам: 1) для кожного випадкового події А Р (А)> = 0; 2) для достовірного події має місце Р (А) = 1; 3) if А і В несумісні (А∩В = Ø) => Р (АUВ) = Р (А) + Р (В).
Безлічі - сукупність елементів, для яких можна вказати 2 правила: 1-е правило повинно показувати чи входить даний елемент конкретної сукупності чи ні. 2-е правило дозволяє розрізняти елементи всередині сукупності ін. Від ін. Безліч не може містити два однакових елемента.
Формалізовані знання зручні тим, що придатні для алгоритмізації. Однак, за сучасними уявленнями формалізовані знання занадто «точні» або занадто «жорстокі» для опису реального світу. Людське сприйняття навколишнього світу набагато складніше того, що можна описати алгоритмом.
Неформалізовані знання зазвичай представлені в описово-словесній формі і зазвичай не використовують будь-якої математичний апарат. Важко застосовувати їх автоматично. Такі знання зазвичай не коректні, приблизні і т.д. і часто засновані виключно на інтуїції і досвіді фахівців.
Завдання, засновані на використанні неформалізованих знаннях, називаються неформалізованими завданнями.
До неформалізовані завдань відносяться завдання, що володіють хоча б 1-им з властивостей:
- алгоритмічне рішення не відомо;
- завдання не м.б. визначена в звичайно числовий формі завдання, при чому правило дії над символами до кінця не визначено.
- мета рішення завдання можна висловити точно у вигляді цільової функції.
Призначення експертних систем полягає у вирішенні досить важких для експертів завдань на основі накопичуваної бази знань, що відбиває досвід роботи експертів в даній проблемній області. Гідність застосування ЕС полягає в можливості прийняття рішень в унікальних ситуаціях, для яких алгоритм заздалегідь не відомий і формується за вихідними даними у вигляді ланцюжка міркувань (правил прийняття рішень) з бази знань. Причому рішення задач передбачається здійснювати в умовах неповноти, недостовірності, багатозначності вихідної інформації і якісних оцінок процесів.
ЕС може виконувати наступні ролі:
- консультанта для недосвідчених або непрофесійних користувачів;
- асистента;
- партнера експерта з питань.
ЕС використовуються в багатьох областях, серед яких лідирує сегмент додатків в бізнесі