Member (X. | | _|).

тember (X, | | _| Y): - тeтber (X;Y )

Для розв’язання зазначеної НФЗ використовується одна з переваг Пролога - можливість застосувати операцію повернення. Якщо встановлено, що поточний шлях прийшов у тупик, то можна повернутися в останню точку (вузол), від якої можливі інші відгалуження, і пройти по альтернативному можливому шляху. Якщо спроба виявиться також невдалою, повернення буде здійснюватися доти, поки не будуть переглянуті всі варіанти, а спроби знайти шлях як і раніше будуть невдалими.

Пролог-європейська мова, хоча поступово він починає завойовувати визнання в США. Особливо популярний ПРОЛОГ у Франції, в Угорщині і Японії. Реалізовано кілька ефективних Прологів-систем для різних ЕОМ (DEC-10, VАХ-11, IВМ-360), у тому числі й для мікро ЕОМ Аррle. Ці системи включають як інтерпретатор, так і компілятор. Новітні системи перебороли багато істотних недоліків мови ПРОЛОГ: уведені засоби модульності й можливість вказівки спрямованості відносин. У японському проекті ЕОМ «5-го покоління» ПРОЛОГ займає таке ж «важливе» місце, як і ЛІСП. Передбачається включення спецпроцесора для ПРОЛОГа як однієї із центральних компонентів ЕОМ 5-го покоління.

Поряд з мовою ПРОЛОГ до мов ІС, заснованим на логіку, ставляться мови АРЕS, АРLICOT, DUСК, F1Т и ін..

Мова АРES. Він представляє користувачеві засобу для написання ЕС мовою Micro-Prolog. Його основні властивості включають обробку достовірної інформації, засобу пояснення й розширення мови ПРОЛОГ, що забезпечують можливості діалогу для інтерфейсів з користувачем. Правила й факти в БЗ виражені у вигляді пропозицій мовою ПРОЛОГ. АРЕХ підтримує модулі обробки ймовірностей байєсовського типу й обумовлені користувачем. Він реалізований мовою Мiсrо- ПРОЛОГі працює на самих різних персональних комп'ютерах.

Мова APLICOT. Мова характеризується гнучкою схемою логічного керування, що реалізує як прямі ланцюжки, так і зворотні ланцюжки міркування, обробкою коефіцієнтів упевненості й режимів пояснення. Підтримуюче середовище складається з пакета утіліт мови ПРОЛОГ, таких як ітеративний редактор правил і пропозицій. APLICOTреалізований.

Мова DUCK. Вона характеризується комбінацією чотирьох парадигм ІС логічного програмування, заснованих на правилах немонотонного міркування й дедуктивного пошуку. DUCKвикористає нотацію, засновану на обчислюванні предикатів 1-го порядку, де умови й дії правил є предикатами. DUCKпроволить немонотонне міркування, використовуючи повернення, що направляє залежності, яке у свою чергу використовує систему підтримки значень істинності даних. NISP підтримує схеми керування за допомогою прямих й зворотних ланцюжків міркувань. Він реалізований на NISP, діалекті мови ЛІСП, і працює на DEC VАХ з операційними системами UNIХ або VМХ або на АРМ Symbolic 3600 й Ароllо..

Мова FIТ. Вона має сукупність деяких реляційних властивостей мови ПРОЛОГ і функціональні властивості мови ЛІСП. Ця мова складається з ядра й інтерактивного інтерфейсу користувача. Її основні властивості включають орієнтований на «пошук завширшки» нехронологічний паралелізм і здатність визначати алгоритми як функції або відносини, а потім динамічно використати функції як відносини або відносини як функції FIТвиводить неупорядковані значення логічних кон’юнкцій, використовуючи одночасне обчислення (AND - паралелізм). FIТреалізована на чисто функціональній підмножині мови UCI-LISP і працює на комп'ютерній системі DЕС-10.

ПРОЛОГ у цей час є найбільш ефективною програмною реалізацією обчислення предикатів 1-го порядку в логічному програмуванні з додатковими можливостями пошуку «спочатку в глибину» і перебору із процедурою повернення, убудованими в мову. Перебір з поверненнями є стратегією, при якій, якщо лінія міркувань виявиться невідповідної, то вона може повернутися по лінії міркувань назад доти, поки не буде знайдений альтернативний підхід. ПРОЛОГ також представляє прямий метод здійснення зворотної побудови ланцюжка, хоча інші стратегії керування й схеми подання знань легко програмуються в його середовищі. Перевагою мови ПРОЛОГ є те, що він орієнтований на «символічні обчислення», тому що він має ефективні методи для символічних операцій. Найбільш потужним при порівнянні є вбудована в ПРОЛОГ операція зіставлення зі зразком.

Мовою ПРОЛОГ створена «оболонка» І С, що включає всі типи подання даних і стратегії керування. Система називається «Р-Shell» і доводить ефективність мови ПРОЛОГ як засобу побудови системи, заснованих на знаннях. ПРОЛОГ надає обмежене середовище програмування в порівнянні з іншими існуючими МІП. Для зм’якшення цього обмеження деякі версії мови ПРОЛОГ забезпечують проста взаємодія, даючи можливість при необхідності додавати спільність. Так, наприклад, «LPA-Sigma-PROLOG» забезпечує проста взаємодія з мовою СІ, процедури можуть викликатися безпосередньо як примітиви мови ПРОЛОГ. Ця можливість додавати примітиви забезпечує потенціал для створення потужного й найвищою мірою спеціалізованого набору засобів мовою ПРОЛОГ для конкретного використання.

ПРОЛОГ пропонує опис НФЗ у вигляді ніяк неструктурованої сукупності відносин. Це зручно, коли ця сукупність не занадто велика. Але коли для опису завдання потрібні сотні або тисячі відносин, програма стає неймовірно складною для розуміння, що позначається на її кодифікованості й надійності. Крім того, виникають певні проблеми, пов'язані з ефективністю.

Інструментальний комплекс для створення експертних систем реального часу (на прикладі інтегрального середовища G2-GENSYM CORP., США)

Історія розвитку інструментальних засобів (ІЗ)для створення експертних систем (ЕС) реального часу почалася в 1985 р., коли фірма Lisp Machine Inc. Випустила систему Picon для символьних ЕОМ Symbolics. Успіх цього ІЗ привів до того, що група провідних розробників Picon в 1986 р. утворила комерційну фірму Gensym, яка значно розвила ідеї закладені в Picon, в 1988 р. вийшла на ринок з ІЗ під назвою G2, версія 1.0. В даний час функціонує версія 4.2 і готовиться до випуску версія 5.0.

Основне призначення програмних засобів фірми Gensym (США) – допомогти підприємствам зберігати і використовувати знання і досвід їх найбільш талановитих і кваліфікованих співробітників в інтелектуальних системах реального часу, що підвищують якість продукції, надійність і безпеку виробництва та знижують виробничі витрати. Про успіхи даної фірми свідчить те, що сьогодні їй належать 50% світового ринку експертних систем, що використовуються в системах управління.

Класи задач, для яких призначена G2 і подібні їй системи:

· моніторинг в реальному масштабі часу;

· системи управління верхнього рівня;

· системи виявлення несправностей;

· діагностика;

· побудова розкладу;

· планування;

· оптимізація;

· системи – радники оператора;

· системи проектування.

Інструментальні засоби фірми Gensym є еволюційним кроком в розвитку традиційних експертних систем від статичних предметних галузей до динамічних. Немалу долю успіху фірмі Gensym забезпечують основні принципи, яких вона дотримується в своїх нових розробках:

· прблемно/предметна орієнтація;

· відповідність стандартам;

· незалежність від обчислювальної платформи;

· сумісність знизу-вгору з попередніми версіями;

· універсальні можливості, що не залежать від вирішуваної задачі;

· забезпечення прикладної основи для прикладних систем;

· зручне середовище розробки;

· пошук нових шляхів розвитку технології;

· розподілена архітектура клієнт-сервер;

· висока продуктивність.

Основною перевагою оболонки систем G2 для українських користувачів є можливість застосовувати її як інтегруючий компонент, що дозволяє за рахунок відкритості інтерфейсів і підтримки широкого спектру обчислювальних платформ легко об’єднати уже існуючі, розрізнені засоби автоматизації в єдину комплексну систему управління, що охоплює всі аспекти виробничої діяльності – від формування портфеля замовлень до управління технологічним процесом і вигрузки готової продукції. Це особливо важливо для вітчизняних підприємств, у яких парк технічних і програмних засобів формувався здебільшого безсистемно під впливом різких коливань в економіці.

Крім системи G2, як базового засобу розробки, фірма Gensym пропонує комплекс проблемно / предметно-орієнтованих розширень для швидкої реалізації складних динамічних систем на основі спеціалізованих графічних язиків, що включають параметричні операторні блоки для представлення елементів технологічного процесу і типових задач обробки інформації. Набір інструментальних середовищ фірми Gensym, згрупований за проблемними орієнтаціями, охоплює всі стадії виробничого процесу і виглядає наступним чином:

· інтелектуальне управління виробництвом - G2, G2 Diagnostic Assistant (GDA), NeurOn-Line (NOL), Statistical Process Control (SPC), BatchDesign_Kit;

· оперативне планування – G2, G2 Scheduling Toolkit (GST), Dynamic Scheduling Packadge (DSP);

· розробка і моделювання виробничих процесів – G2, ReThink, BatchDesign_Kit;

· управління операціями і корпоративними мережами – G2, Fault Expert.

Незважаючи на те, що перша версія системи G2 з’явилася не так давно – в 1988 р., її навіть в багатій Америці ніхто не назве дешевою. G2 можна назвати бестселером на ринку програмних продуктів. На початок 1996 р. в світі було встановлено більше 5000 її копій. Фірма Gensym обслуговує більш ніж 30 галузей, від аерокосмічних досліджень до виробництва харчових продуктів. Список користувачів G2 виглядає як довідник Who-Is-Who в світовій промисловості. 25 найбільших індустріальних світових корпорацій використовують G2. На базі G2 написано більше 500 діючих додатків.

Чим же пояснюється успіх інструментального комплексу G2? Перш за все G2 – динамічна система в повному розумінні цього слова. G2 – це об’єктно-орієнтоване інтегроване для розробки і супроводу застосувань в реальному часі, що використовують бази знань. G2 функціонує на більшості існуючих платформ. База знань G2 зберігається в звичайному ASCII-файлі, який однозначно інтерпретується на будь-якій із підтримуючих платформ. Переніс застосування не потребує його перекомпіляції і заключається в простому переписуванні файлів. Функціональні можливості і зовнішній вигляд застосування не зазнають при цьому ніяких змін.

Нижче будуть розглянуті основні компоненти G2: база знань, машина виводу, підсистема модулювання і планувальник.

Дата добавления: 2015-07-20