ся добре розроблена процедура, що дозволяє з даного висловом визначити, чи є воно формулою).
) З нескінченного безлічі істинних формул (тавтологію) виділимо невелику групу (1 Г· 10) так званих аксіом теорії ( як правило, завжди є можливість ефективно з'ясувати, чи є дана формула аксіомою). За аксіоми беруться деякі тавтології, з яких за формальними правилами виводяться всі інші тавтології.
) Вказати кінцеве безліч відносин між формулами, які називають правилами виведення. Правила виведення зіставляють деяким послідовностям формул нові формули. Записують правила виведення у формі фігури, де формули, що стоять над рисою називаються посилками, а формули, які стоять під рисою, називається наслідком посилок по даному правилу виводу. За допомогою правил висновку з аксіом виходять нові істинні формули, звані теоремами. p align="justify"> Доказ теорем перетворюється в послідовність таких формул, і побудова формальних доказів можна доручити ЕОМ.
2.1 Логічна МПЗ
Логічна модель використовується для представлення знань в системі логіки предикатів першого порядку і виведення висновків за допомогою силогізму. Основна перевага використання логіки предикатів для представлення знань полягає в тому, що володіє добре зрозумілими математичними властивостями потужний механізм виведення може бути безпосередньо запрограмований. За допомогою цих програм з відомих раніше знань можуть бути отримані нові знання. Наведені нижче приклади є логічними моделями подання фактів за допомогою предикатів і носять назву атомарної формули. p align="justify"> ЛЮБОВ (Віктор, Ірина): Віктор любить Ірину
СТОЛИЦЯ (Москва): Москва - столиця
Наступні приклади є правильно побудованими логічними формулами, що включають квантори існування () і спільності ().
: якийсь дельфін наділений розумовими здібностями
: всі слони мають сіре забарвлення
Відмінними рисами логічних моделей, зокрема наведених вище моделей подання знань, є єдиність теоретичного обгрунтування і можливість реалізації системи формально точних визначень і висновків. З цих причин чимало дослідників у галузі штучного інтелекту вибрали для себе предметом вивчення саме логічні моделі. Однак для логічних моделей характерний ряд сумнівних моментів, а оскільки більшість дослідників у галузі штучного інтелекту - люди з неформальним мисленням, то більша частина досягнень в області систем з базами знань донедавна належала так званої групи дослідників нелогічного напрямки. Крім того, на відміну від першої категорії дослідників, які майже не займаються теоретичними дослідженнями, друга категорія надає їм велике значення. br/>
2.2 Продукційна МПЗ
У моделі правил знання пр...