«Температура в приміщенні підвищується»;
продукційних уявлення знань з людської точки зору є прямим описом логічних висновків при вирішенні конкретних завдань. Сукупність знань про конкретну предметну область в цьому випадку представляється відповідним набором продукційних правил, який утворює базу знань. При побудові продукційних правил допустимо використання логічних операторів І, АБО, наприклад:
· ЯКЩО «Температура в реакторі перевищує 120 ° C» І «Температура холодоагенту перевищує 90 ° C» ТО «Припинити подачу палива»;
· ЯКЩО «Температура в реакторі перевищує 90 ° C» АБО «Температура холодоагенту перевищує 60 ° C» ТО «Знизити подачу палива на 40%».
Недоліком мови продукційних правил можна вважати відсутність явних зв'язків між правилами і цілями, до досягнення яких необхідно прагне. Таким чином, для активізації одного з продукційних правил необхідно перевірка всієї продукционной бази знань, що при великих обсягах інформації призводить до істотних витрат тимчасових і технічних ресурсів інтелектуальної системи. Можливість вирішення цієї проблеми полягає у розробці перспективних продукційних баз знань, в яких одні продукційні правила можуть активувати і дезактивувати інші продукційні правила, впливаючи на кількість які перебираються правил в поточному циклі і, отже, на вибір шляху досягнення мети управління.
Відмінною рисою і основною перевагою продукционной бази знань є простота аналізу, доповнення, модифікації та анулювання певних продукційних правил. Крім цього, подання знань в такому синтаксично однотипному вигляді істотно полегшує технічну реалізацію системи використання знань. Внаслідок цього в даний час продукційні бази знань набули найбільшого поширення в інтелектуальних технічних системах.
) Мова семантичних мереж.
Знаннями можна назвати опису відносин між абстрактними поняттями і сутностями, які є конкретними об'єктами реального світу. Спочатку семантичні мережі розроблялися як моделі довготривалої людської пам'яті в психології, але згодом ця модель перекочувала в інженерію знань. У семантичній мережі абстрактні поняття і відносини між ними описуються у вигляді вузлів і дуг. Сутності і поняття в такій мережі є вузлами, а відносини між ними - дугами. Атрибути семантичних мереж можна розділити на лінгвістичні (об'єкт, умова, місце, інструмент, мета тощо), атрибутивні (форма, розмір, колір тощо), характеристичні (рід, час, нахил і т.п. ), логічні (так, ні, заперечення, об'єднання тощо.).
Рис.1.5. Семантичне подання знань біолога
Припустимо, фрагмент знань іхтіолога про біології риб можна описати наступною семантичної мережею (рис.1.5). В якості іншого прикладу розглянемо уявлення знань, що містяться у висловленні: «Робот свердлить отвір у деталі за допомогою свердла 10» (рис.1.6).
Рис.1.6. Семантичне подання технічного знання
Недолік семантичних мереж - дублювання інформації при побудові мереж і змішання груп знань, що відносяться до різних ситуацій. Наприклад, семантична мережа, представлена ??на рис.1.5, має дубляж поняття «море», а ставлення «температура» може використовуватися не тільки для опису середовища перебування тварин. Виходом з даної ситуації стала намітилася останнім часом тенденція до побудови розділених семантичних мереж.
Основною перевагою семантичних мереж є те, що вони імітують розуміння і використання людиною природної мови, що дозволяє застосовувати їх при технічному моделюванні міркувань, доказі теорем, побудові незаданих явно причинно-наслідкових зв'язків і лінгвістичних конструкцій, т. е. семантичні мережі дозволяють реалізувати пристрої, що імітують розумові акти більш високого рівня в порівнянні з продукційними правилами. Представлення знань у вигляді семантичних мереж широко використовується в інтелектуальних системах інтерпретації природної мови та автоматичного машинного перекладу, в діалогових питально-відповідних системах природного людино-машинного спілкування, в блоках логічної інтерпретації систем технічного зору.
) Мова логіки предикатів.
Логіка предикатів є розділом математики - математичною логікою, що має велику історію. Дана область математики традиційно становила математичний фундамент, що закладається в основу формального опису систем. Як приклад побудови та виведення знань на мові логіки предикатів достатньо навести відомий силогізм Сократа: Всі люди - смертні, людина - один з людей, Сократ - людина, отже Сократ - смертний.
Основні положення логіки предикатів полягають у наступному. Припустимо, є деякий безліч об'єктів, що становлять предметну область, знання про яку необхідно описати. Довільні елементи цієї множини назив...