ення може бути безпосередньо запрограмований. За допомогою цих програм з відомих раніше знань можуть бути отримані нові знання.
1.4 Механізми логічного висновку
При використанні продукционной моделі база знань складається з набору правил. Програма, що управляє перебором правил, називається машиною виводу. Механізм висновків пов'язує знання.
Два способи використання продукційних правил:
пряма ланцюжок міркувань;
зворотна ланцюжок міркувань.
Перший передбачає обробку інформації в прямому напрямку (метод зіставлення), коли зразком для пошуку служить ліва частина продукційного правила - умова, тобто завдання вирішується в напрямку від початкового стану до цільового. Це відповідає стратегії «від даних до мети» або стратегії управління даними.
При другому підході обробка інформації здійснюється у зворотному напрямку - метод «генерації» або висунення гіпотези і її перевірки (стратегія «від мети до даними»).
Таким чином, формалізовані експертні системи є одним з наочних методів рішення задачі вибору мобільного телефону, на основі аналізу його характеристик. Тому, побудова адекватних моделей, а також розробка методів і алгоритмів, що дозволяють встановити відповідність між параметрами математичних моделей і реальними системами, є актуальною науково-прикладною задачею.
Глава 2. Вибір середовища розробки ЕС
2.1 Інструментальні засоби проектування та розробки експертних систем
На проектування і створення однієї експертної системи раніше було потрібно 20-30 чоловік-років. В даний час є ряд засобів, що прискорюють їх створення. Ці кошти називають інструментальними або інструментарієм. Використання інструментальних засобів розробки експертних?? истем скорочує час, що витрачається на їх створення, в 3-5 разів.
Інструментальне засіб розробки експертних систем - це мова програмування, що використовується інженером знань або (і) програмістом для побудови експертної системи. Цей інструмент відрізняється від звичайних мов програмування тим, що забезпечує зручні способи представлення складних високорівневих понять [1].
За своїм призначенням і функціональним можливостям інструментальні програми, що застосовуються при проектуванні експертних систем, можна розділити на чотири досить великі категорії.
Оболонки експертних систем
Системи цього типу створюються, як правило, на основі якої-небудь експертної системи, досить добре зарекомендувала себе на практиці. При створенні оболонки з системи-прототипу видаляються компоненти, занадто специфічні для області її безпосереднього застосування, і залишаються ті, які не мають вузької спеціалізації. Прикладом може служити система EMYCIN, створена на основі минулої тривалу «обкатку» системи MYCIN. У EMYCIN збережений інтерпретатор і всі базові структури даних - таблиці знань і пов'язані з ними механізм індексації. Оболонка доповнена спеціальним мовою, який поліпшує читабельність програм, і засобами підтримки бібліотеки типових випадків і заключний, виконаних за ним експертною системою.
1. Мови програмування високого рівня
Інструментальні засоби цієї категорії позбавляють розробника від необхідності заглиблюватися в деталі реалізації системи - способи ефективного розподілу пам'яті, низькорівневі процедури доступу і маніпулювання даними. Одним з найбільш відомих представників таких мов є OPS5. Ця мова простий у вивченні і надає програмісту набагато ширші можливості, ніж типові спеціалізовані оболонки. Слід зазначити, що більшість подібних мов так і не було доведено до рівня комерційного продукту і являє собою скоріше інструмент для дослідників.
2. середу програмування, підтримуюча кілька стилів програмування
Засоби цієї категорії включають кілька програмних модулів, що дозволяє користувачеві комбінувати в процесі розробки експертної системи різні стилі програмування. Серед перших проектів такого роду була дослідницька програма LOOP, яка допускала використання двох типів подання знань: базується на системі правил і об'єктно-орієнтованого. На основі цієї архітектури в другій половині 1980-х років було розроблено декілька комерційних програмних продуктів, з яких найбільшу популярність здобули KEE, KnowledgeCraft і ART. Ці програми надають у розпорядження кваліфікованого користувача безліч опцій і для наступних розробок, таких як КАРРА і CLIPS, і стали свого роду стандартом. Однак освоїти ці мови програмістам далеко не так просто, як мови, віднесені до попередньої категорії.