- 4. Решта мають місце тільки в окремих типах СШІ: 5-й - в ЕС; 6-й - у РЕЗ та РЛС; 7, 8, 9-й - у ІПСШ і РЛС. p align="justify"> Є системи, здатні діагностувати захворювання, планувати синтез складних синтетичних сполук, вирішувати диференціальні рівняння в символьному вигляді, аналізувати електронні схеми, розуміти обмежений обсяг людської мови і природного мовного тексту. Можна сказати, що такі системи мають у, деякою мірою, штучним інтелектом. p align="justify"> При реалізації інтелектуальних функцій неодмінно присутня інформація, звана знаннями. Іншими словами, інтелектуальні системи є в той же час системами обробки знань. p align="justify"> Знання - основа інтелектуальної системи.
2. Основні моделі подання знань
Центральною проблемою обробки знань, а також створення БЗ (і ІВС взагалі) є проблема подання знань.
Проблема подання знань - це проблема представлення взаємозв'язків у конкретної предметної області у формі, зрозумілій системі штучного інтелекту. Представлення знань - це їх формалізація та структурування, за допомогою яких відображаються характерні ознаки знань: внутрішня інтерпретованість, структурованість, зв'язність, семантична метрика і активність. p align="justify"> При проектуванні моделі подання знань слід враховувати такі фактори, як - однорідність подання і простота розуміння. Однорідність подання призводить до спрощення механізму керування логічним висновком і управлінням знаннями. Простота розуміння передбачає доступність розуміння подання знань та експертам, і користувачем системи. Спосіб представлення знань визначає, яким чином знання описуються в пам'яті ЕОМ, а також які можливості БЗ. Для того, щоб ЕОМ мала можливість маніпулювання знаннями про проблемної області, вони повинні бути представлені у вигляді моделі. p align="justify"> Модель представлення знань повинна бути зрозумілою користувачеві і забезпечувати однорідність подання знань, за рахунок чого спрощуються управління знаннями та логічний висновок, а також задовольняти ряду інших вимог. Найбільшого поширення набули чотири моделі: модель семантичної мережі, фреймову, продукційна і логічні. p align="justify"> В основі використання МПЗ лежить аксіоматичний метод. Аксіоматичний метод у будь-якій науці полягає в тому, що виділяється деякий невеликий безліч істинних тверджень, спираючись на які можна вивести всі істинні твердження даної науки. Класичним прикладом аксіоматичного методу є аксіоматична побудова геометрій Евкліда і Лобачевського, кожна з яких базується на ряді постулатів. Слід зазначити, що одну і ту ж теорію можна будувати, виходячи з різного набору аксіом. p align="justify"> Таким чином, необхідно:
) Побудувати алфавіт теорії, тобто задати рахункове безліч символів і визначити безліч об'єктів мови - виразів.
) Виділити підмножина таких виразів, які будемо називати формулами (зазвичай маєть...