14511

Экспертные системы. Классификация экспертных систем

Лекция

Информатика, кибернетика и программирование

Экспертные системы. В нашей стране современное состояние разработок в области экспертных систем можно охарактеризовать как стадию всевозрастающего интереса среди широких слоев экономистов финансистов преподавателей инженеров медиков психологов програм

Русский

2015-01-29

81.89 KB

116 чел.

Лекция 3: Экспертные системы.

В нашей стране современное состояние разработок в области экспертных систем можно охарактеризовать как стадию всевозрастающего интереса среди широких слоев экономистов, финансистов, преподавателей, инженеров, медиков, психологов, программистов, лингвистов. К сожалению, этот интерес имеет пока достаточно слабое материальное подкрепление - явная нехватка учебников и специальной литературы, отсутствие символьных процессоров и рабочих станций искусственного интеллекта, ограниченное финансирование исследований в этой области, слабый отечественный рынок программных продуктов для разработки экспертных систем.

Поэтому распространяются "подделки" под экспертные системы в виде многочисленных диалоговых систем и интерактивных пакетов прикладных программ, которые дискредитируют в глазах пользователей это чрезвычайно перспективное направление. Процесс создания экспертной системы требует участия высококвалифицированных специалистов в области искусственного интеллекта, которых пока выпускает небольшое количество высших учебных заведений страны.

Современные экспертные системы широко используются для тиражирования опытам знаний ведущих специалистов практически во всех сферах экономики. Традиционно знания существуют в двух видах - коллективный опыт и личный опыт.

Если большая часть знаний в предметной области представлена в виде коллективного опыта (например, высшая математика), эта предметная область не нуждается в экспертных системах.

Если в предметной области большая часть знаний является личным опытом специалистов высокого уровня (экспертов), если эти знания по каким-либо причинам слабо структурированы, такая предметная область скорее всего нуждается в экспертной системе

  1.  ОБОБЩЕННАЯ СТРУКТУРА ЭКСПЕРТНОЙ СИСТЕМЫ.

Экспертные системы (ЭС) - это сложные программные комплексы, аккумулирующие знания специалистов в конкретных предметных областях н тиражирующие этот эмпирический опыт для консультаций менее квалифицированных пользователей.

Обобщенная структура экспертной системы представлена на рис. 16.5. Следует учесть, что реальные экспертные системы могут иметь более сложную структуру, однако блоки, изображенные на рисунке, непременно присутствуют в любой действительно экспертной системе, поскольку являют собой негласный канон на структуру современной экспертной системы.

Определим основные термины в рамках данного модуля.


 


Рис. Структура экспертной системы

Пользователь - специалист предметной области, для которого предназначена система, Обычно его квалификация недостаточно высока, и поэтому он нуждается в помощи и поддержке своей деятельности со стороны ЭС.

Инженер по знаниям - специалист по искусственному интеллекту, выступающий в роли промежуточного буфера между экспертом и базой знаний. Синонимы: когнитолог, инженер-интерпретатор, аналитик.

Интерфейс пользователя - комплекс программ, реализующих диалог пользователя с ЭС как на стадии ввода информации, так и получения результатов.

База знаний (БЗ) - ядро ЭС, совокупность знаний предметной области, записанная на машинный носитель в форме, понятной эксперту и пользователю (обычно на некотором языке, приближенном к естественному). Параллельно такому "человеческому" представлению существует БЗ во внутреннем "машинном" представлении.

Решатель - программа, моделирующая ход рассуждении эксперта на основании знаний, имеющихся в БЗ. Синонимы: дедуктивная машина, блок логического вывода.

Подсистема объяснений - программа, позволяющая пользователю получить ответы на вопросы; "Как была получена та или иная рекомендация?" и "Почему система приняла такое решение?" Ответ на вопрос "как" - это трассировка всего процесса получения решения с указанием использованных фрагментов БЗ, т.е. всех шагов цепи умозаключений. Ответ на вопрос "почему"- ссылка на умозаключение, непосредственно предшествовавшее полученному решению, т.е. отход на один шаг назад.

Интеллектуальный редактор БЗ - программа, представляющая инженеру по знаниям возможность создавать БЗ в диалоговом режиме- Включает в себя систему вложенных меню, шаблонов языка представления знаний, подсказок ("help" - режим) и других сервисных средств, облегчающих работу с базой.

В коллектив разработчиков ЭС входят как минимум четыре человека:

  1.  эксперт;
  2.  инженер по знаниям;
  3.  программист;
  4.  пользователь.

Возглавляет коллектив инженер по знаниям, это ключевая фигура при разработке систем, основанных на знаниях.

2. КЛАССИФИКАЦИЯ ЭКСПЕРТНЫХ СИСТЕМ

Схема классификации

Класс "экспертные системы" сегодня объединяет несколько тысяч различных программных комплексов, которые можно классифицировать по различным критериям. Полезными могут оказаться следующие классификации



Рис. Классификация экспертных систем.

 

Классификация по решаемой задаче

Интерпретация данных. Это одна из традиционных задач для экспертных систем. Под интерпретацией понимается определение смысла данных, результаты которого должны быть согласованными и корректными. Обычно предусматривается многовариантный анализ данных.

  1.  обнаружение и идентификация различных типов океанских судов - SIAP;
  2.  определение основных свойств личности по результатам психодиагностического тестирования в системах АВТАНТЕСТ и МИКРОЛЮШЕР и др.

Диагностика. Под диагностикой понимается обнаружение неисправности в некоторой системе. Неисправность - это отклонение от нормы. Такая трактовка позволяет с единых теоретических позиций рассматривать и неисправность оборудования в технических системах, и заболевания живых организмов, и всевозможные природные аномалии. Важной спецификой является необходимость понимания функциональной структуры ("анатомии") диагностирующей системы.

  1.  диагностика и терапия сужения коронарных сосудов - ANGY;
  2.  диагностика ошибок в аппаратуре и математическом обеспечении ЭВМ - система CRIB и др.

Мониторинг. Основная задача мониторинга - непрерывная интерпретация данных в реальном масштабе времени и сигнализация о выходе тех или иных параметров за допустимые пределы. Главные проблемы - "пропуск" тревожной ситуации и инверсная задача "ложного" срабатывания. Сложность этих проблем в размытости симптомов тревожных ситуаций и необходимость учета временного контекста.

  1.  контроль за работой электростанций СПРИНТ, помощь диспетчерам атомного реактора - REACTOR:
  2.  контроль аварийных датчиков на химическом заводе - FALCON и др.

Проектирование. Проектирование состоит в подготовке спецификаций на создание "объектов" с заранее определенными свойствами. Под спецификацией понимается весь набор необходимых документов чертеж, пояснительная записка и т.д. Основные проблемы здесь - получение четкого структурного описания знаний об объекте и проблема "следа". Для организации эффективного проектирования и, в еще большей степени, перепроектирования необходимо формировать не только сами проектные решения, но и мотивы их принятия. Таким образом, в задачах проектирования тесно связываются два основных процесса, выполняемых в рамках соответствующей ЭС: процесс вывода решения и процесс объяснения.

  1.  проектирование конфигураций ЭВМ VAX ― 1/780 в системе XCON (или R1), проектирование БИС - CADHELP;
  2.  синтез электрических цепей - SYN и др.

Прогнозирование. Прогнозирующие системы логически выводят вероятные следствия из заданных ситуаций. В прогнозирующей системе обычно используется параметрическая динамическая модель, в которой значения параметров "подгоняются" под заданную ситуацию. Выводимые из этой модели следствия составляют основу для прогнозов с вероятностными оценками.

  1.  предсказание погоды - система WILLARD:
  2.  оценки будущего урожая - PI.ANT;
  3.  прогнозы в экономике - ЕСОN и др.

Планирование. Под планированием понимается нахождение планов действий, относящихся к объектам, способным выполнять некоторые функции. В таких ЭС используются модели поведения реальных объектов с тем, чтобы логически вывести последствия планируемой деятельности.

  1.  планирование поведения робота - STRIPS,
  2.  планирование промышленных заказов - 1SIS,
  3.  планирование эксперимента - MOLGEN и др.

Обучение. Системы обучения диагностируют ошибки при изучении какой-либо дисциплины с помощью ЭВМ и подсказывают правильные решения. Они аккумулируют знания о гипотетическом "ученике" и его характерных ошибках, затем в работе способны диагностировать слабости в знаниях обучаемых и находить соответствующие средства для их ликвидации. Кроме того, они планируют акт общения с учеником в зависимости от успехов ученика с целью передачи знаний.

  1.  обучение языку программирования Лисп в системе "Учитель Лиспа";
  2.  система PROUST - обучение языку Паскаль и др.

 

Классификация по связи с реальным временем


Статические ЭС разрабатываются в предметных областях, в которых база знаний и интерпретируемые данные не меняются во времени. Они стабильны.

 Пример Диагностика неисправностей в автомобиле.

Квазидинамические ЭС интерпретируют ситуацию, которая меняется с некоторым фиксированным интервалом времени.

Пример. Микробиологические ЭС, в которых снимаются лабораторные измерения с технологического процесса один раз в 4 - 5 (производство лизина, например) и анализируется динамика полученных показателей по отношению к предыдущему измерению.

Динамические ЭС работают в сопряжении с датчиками объектов в режиме реального времени с непрерывной интерпретацией поступаемых данных.

Управление гибкими производственными комплексами, мониторинга реанимационных палатах и т.д. Пример инструментария для разработки динамических систем - G2..

Классификация по типу ЭВМ


На сегодняшний день существуют:

  1.  ЭС для уникальных стратегически важных задач на суперЭВМ (Эльбрус, CRA'. CONVEX и др.);
  2.  ЭС на ЭВМ средней производительности (типа ЕС ЭВМ, mainframe);
  3.  ЭС на символьных процессорах и рабочих станциях (SUN, APOLLO);
  4.  ЭС на мини- и супермини-ЭВМ (VAX, micro-VAX и др.);
  5.  ЭС на персональных компьютерах (IBM PC, MAC II и подобные).

Классификация по степени интеграции с другими программами


Автономные ЭС работают непосредственно в режиме консультаций с пользователем для специфически "экспертных" задач, для решения которых не требуется привлекать традиционные методы обработки данных (расчеты, моделирование и т. д.).

Гибридные ЭС представляют программный комплекс, агрегирующий стандартные пакеты прикладных программ (например, математическую статистику, линейное программирование или системы управления базами данных) и средства манипулирования знаниями. Это может быть интеллектуальная надстройка над ППП или интегрированная среда для решения сложной задачи с элементами экспертных знаний.

Несмотря на внешнюю привлекательность гибридного подхода, следует отметить, что разработка таких систем являет собой задачу, на порядок более сложную, чем разработка автономной ЭС. Стыковка не просто разных пакетов, а разных методологий (что происходит в гибридных системах) порождает целый комплекс теоретических и практических трудностей.


3. Этапы разработки ЭС

Разработка ЭС имеет существенные отличия от разработки обычного программного продукта. Опыт создания ЭС показал, что использование при их разработке методологии, принятой в традиционном программировании, либо чрезмерно затягивает процесс создания ЭС, либо вообще приводит к отрицательному результату.

Использовать ЭС следует только тогда, когда разработка ЭС возможна, оправдана и методы инженерии знаний соответствуют решаемой задаче. Чтобы разработка ЭС была возможной для данного приложения, необходимо одновременное выполнение по крайней мере следующих требований:

1) существуют эксперты в данной области, которые решают задачу значительно лучше, чем начинающие специалисты;

2) эксперты сходятся в оценке предлагаемого решения, иначе нельзя будет оценить качество разработанной ЭС;

3) эксперты способны вербализовать (выразить на естественном языке) и объяснить используемые ими методы, в противном случае трудно рассчитывать на то, что знания экспертов будут "извлечены" и вложены в ЭС;

4) решение задачи требует только рассуждений, а не действий;

5) задача не должна быть слишком трудной (т.е. ее решение должно занимать у эксперта несколько часов или дней, а не недель);

6) задача хотя и не должна быть выражена в формальном виде, но все же должна относиться к достаточно "понятной" и структурированной области, т.е. должны быть выделены основные понятия, отношения и известные (хотя бы эксперту) способы получения решения задачи;

7) решение задачи не должно в значительной степени использовать "здравый смысл" (т.е. широкий спектр общих сведений о мире и о способе его функционирования, которые знает и умеет использовать любой нормальный человек), так как подобные знания пока не удается (в достаточном количестве) вложить в системы искусственного интеллекта.

Использование ЭС в данном приложении может быть возможно, но не оправдано. Применение ЭС может быть оправдано одним из следующих факторов:

решение задачи принесет значительный эффект, например экономический;

использование человека-эксперта невозможно либо из-за недостаточного количества экспертов, либо из-за необходимости выполнять экспертизу одновременно в различных местах;

использование ЭС целесообразно в тех случаях, когда при передаче информации эксперту происходит недопустимая потеря времени или информации;

использование ЭС целесообразно при необходимости решать задачу в окружении, враждебном для человека.

Приложение соответствует методам ЭС, если решаемая задача обладает совокупностью следующих характеристик:

1) задача может быть естественным образом решена посредством манипуляции с символами (т.е. с помощью символических рассуждений), а не манипуляций с числами, как принято в математических методах и в традиционном программировании;

2) задача должна иметь эвристическую, а не алгоритмическую природу, т.е. ее решение должно требовать применения эвристических правил. Задачи, которые могут быть гарантированно решены (с соблюдением заданных ограничений) с помощью некоторых формальных процедур, не подходят для применения ЭС;

3) задача должна быть достаточно сложна, чтобы оправдать затраты на разработку ЭС. Однако она не должна быть чрезмерно сложной (решение занимает у эксперта часы, а не недели), чтобы ЭС могла ее решать;

4) задача должна быть достаточно узкой, чтобы решаться методами ЭС, и практически значимой.

При разработке ЭС, как правило, используется концепция "быстрого прототипа". Суть этой концепции состоит в том, что разработчики не пытаются сразу построить конечный продукт. На начальном этапе они создают прототип (прототипы) ЭС. Прототипы должны удовлетворять двум противоречивым требованиям: с одной стороны, они должны решать типичные задачи конкретного приложения, а с другой - время и трудоемкость их разработки должны быть весьма незначительны, чтобы можно было максимально запараллелить процесс накопления и отладки знаний (осуществляемый экспертом) с процессом выбора (разработки) программных средств (осуществляемым инженером по знаниям и программистом). Для удовлетворения указанным требованиям, как правило, при создании прототипа используются разнообразные средства, ускоряющие процесс проектирования.

Прототип должен продемонстрировать пригодность методов инженерии знаний для данного приложения. В случае успеха эксперт с помощью инженера по знаниям расширяет знания прототипа о проблемной области. При неудаче может потребоваться разработка нового прототипа или разработчики могут прийти к выводу о непригодности методов ЭС для данного приложения. По мере увеличения знаний прототип может достигнуть такого состояния, когда он успешно решает все задачи данного приложения. Преобразование прототипа ЭС в конечный продукт обычно приводит к перепрограммированию ЭС на языках низкого уровня, обеспечивающих как увеличение быстродействия ЭС, так и уменьшение требуемой памяти. Трудоемкость и время создания ЭС в значительной степени зависят от типа используемого инструментария.

В ходе работ по созданию ЭС сложилась определенная технология их разработки, включающая шесть следующих этапов (рис. 1.4):

идентификацию, концептуализацию, формализацию, выполнение, тестирование, опытную эксплуатацию. На этапе идентификации определяются задачи, которые подлежат решению, выявляются цели разработки, определяются эксперты и типы пользователей.

 

На этапе концептуализации проводится содержательный анализ проблемной области, выявляются используемые понятия и их взаимосвязи, определяются методы решения задач.

На этапе формализации выбираются ИС и определяются способы представления всех видов знаний, формализуются основные понятия, определяются способы интерпретации знаний, моделируется работа системы, оценивается адекватность целям системы зафиксированных понятий, методов решений, средств представления и манипулирования знаниями.

На этапе выполнения осуществляется наполнение экспертом базы знаний. В связи с тем, что основой ЭС являются знания, данный этап является наиболее важным и наиболее трудоемким этапом разработки ЭС. Процесс приобретения знаний разделяют на извлечение знаний из эксперта, организацию знаний, обеспечивающую эффективную работу системы, и представление знаний в виде, понятном ЭС. Процесс приобретения знаний осуществляется инженером по знаниям на основе анализа деятельности эксперта по решению реальных задач.

4. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ПОСТРОЕНИЯ ЭКСПЕРТНЫХ СИСТЕМ

Традиционные языки программирования

Языки искусственного интеллекта

Это прежде всего Лисп (LISP) и Пролог (Prolog) [8] - наиболее распространенные языки, предназначенные для решения задач искусственного интеллекта. Есть и менее распространенные языки искусственного интеллекта, например РЕФАЛ, разработанный в России. Универсальность этих языков меньшая, нежели традиционных языков, но ее потерю языки искусственного интеллекта компенсируют богатыми возможностями по работе с символьными и логическими данными, что крайне важно для задач искусственного интеллекта. На основе языков искусственного интеллекта создаются специализированные компьютеры (например, Лисп-машины), предназначенные для решения задач искусственного интеллекта. Недостаток этих языков - неприменимость для создания гибридных экспертных систем.

Специальный программный инструментарий

В эту группу программных средств искусственного интеллекта входят специальные инструментарии общего назначения. Как правило, это библиотеки и надстройки над языком искусственного интеллекта Лисп: KEE (Knowledge Engineering Environment), FRL (Frame Representation Language), KRL (Knowledge Represantation Language), ARTS и др. [1,4,7,8,10], позволяющие пользователям работать с заготовками экспертных систем на более высоком уровне, нежели это возможно в обычных языках искусственного интеллекта.

"Оболочки"

Под "оболочками : (shells) понимают "пустые" версии существующих экспертных систем, т.е. готовые экспертные системы без базы знаний. Примером такой оболочки может служить EMYCIN (Empty MYCIN - пустой MYC1N) [8], которая представляет собой незаполненную экспертную систему MYCIN. Достоинство оболочек в том, что они вообще не требуют работы программистов для создания готовой экспертной системы. Требуется только специалисты) в предметной области для заполнения базы знаний. Однако если некоторая предметная область плохо укладывается в модель, используемую в некоторой оболочке, заполнить базу знаний в этом случае весьма не просто.

КОММЕРЧЕСКИЕ ОБОЛОЧКИ ЭКСПЕРТНЫХ СИСТЕМ

ACQUIRE- - система обнаружения знаний и оболочка экспертной системы. Это - законченная среда для разработки и поддержки интеллектуальных прикладных программ. Система содержит в себя методологию пошагового представления знаний, что позволяет специалистам в проблемной области непосредственно участвовать в процессе приобретения, структурирования и кодирования знания. (Прямое участие специалиста в проблемной области улучшает качество, законченность и точность приобретенного знания, снижает время разработки и эксплуатационные расходы). Особенностью оболочки является структурированный подход к приобретению знаний; модель приобретения знаний основана на распознавании образов; знания представлены как объекты, продукционные правила и системы правил в табличной форме; оболочка позволяет выполнять обработку неопределенных качественных знаний; содержит средства вывода и документацию баз знаний в среде гипертекста. Web страница находится по адресу http://vvv.com/ai/

ACQUIRE - SDK - рограммное Средство разработки, снабженное встроенными библиотеками для Мs-Dos, и SCO Unix; DLL'S для Asmetrix TooBook, Windows, Windows NT, Windows 95 и WIN 32. Полный пакет (система обнаружения знания и оболочка экспертной системы) стоит $ 995 для Windows 3.1 и включает в себя справочник, обучающую программу. Дополнительную информацию можно получить по адресу http://vvv.com/ai/ Пример прикладной программы ACQUIRE приведен на странице http://vvv.com/ai/demos/whale.html

ACTIVATION FRAMEWORK работает на персональных компьютерах (под управлением операционных систем DOS, Windows) и на автоматизированных рабочих станциях UNIX. Это - не традиционная оболочка экспертной системы, а скорее инструмент для формирования прикладных программ обработки данных в реальном времени. Система конкурирует с оболочкой G2 фирмы GENSYM email rtis@world.std.com.

ActiveAgentX может применяться в системах поддержки принятия решений, содержащих правила , которые могут быть автоматически получены по корпоративным сетям при использовании WEB-браузеров Microsoft Windows 95 или NT. ActiveAgentX может быть также встроен внутрь Java аплетов, которые используются браузером Microsoft Internet Explorer или автономно, как прикладная программа Java, написанная на языке Microsoft Java или Visual J ++. При использовании в сети WWW ActiveAgentX предоставляет вполне развитые средства создания экспертных систем, которые используют интерактивные средства представления интеллектуальной информации на машинах клиента или в Web-браузерах. пакет создан в Haley Corporation. WEB - страница фирмы имеет адрес http://www.haley.com/

AION. Система разработки программ (ADS) выполняется на различных платформах, включая DOS, OS/2, SunOS, Microsoft Windows, и VMS. Она включает в себя объектно-ориентированное представление знаний, прямой, обратный, двунаправленный поиск решения, а также правила сопоставления с образцом, графику, запросы на\из других языков (C, Паскале, ...), а также графический интерфейс пользователя.

ANGOSS KNOWLEDGE SEEKER - то инструмент, основанный на данных, которые могут использоваться для получения базы знаний, состоящей из правил, связанных с базой данных причинно-следственными связями. Версия DOS стоит $ 799 и версия под Windows $ 899.

ART*Enterprise - самая последняя из сред разработки, основанных на правилах, ведущих начало от систем ИИ середины 1980-ых. Это - среда разработки прикладных программ широкого применения, объединяющая в себе правила, объектно-ориентированную систему, которая содержит такие особенности, которые в настоящее время не представлены ни в C++, ни в языке Smalltalk; и содержит большую совокупность классов объектов для разработки на различных платформах (от Windows до OS/2 и Unix),поддерживает доступ к базам данных (основанный SQL- и ODBC-запросах), и мультизадачный режим доступа. ART*ENTERPRISE среда поддерживает обратный поиск решения от фактов к цели; можно также реализовать поиск решения от цели к фактам. WEB-адрес http://www.brightware.com/

ARITY Expert Development Package - это экспертная система, которая интегрирует продукционное и фреймовое представления знаний с различного рода коэффициентами уверенности. OS/2 версия стоит $495 и DOS версия - $295. Компания CAM Sofware предлагает два инструментальных средства - экспертные системы DClass и LogicTree. email 73677.2614@compuserve.com.

CAM Software содержит два инструмента для создания экспертных систем: DClass и LogicTree Система DClass - использует дерево решений, предназначена для построения прикладных программ. LogicTree - система принятия решений, разработанная для использования профессионалами – непрограммистами

COMDALE/C, COMDALE/X и ProcessVision. COMDALE/C - экспертная система реального времени, предназначенная для наблюдения и контроля над процессами в условиях производства. . + COMDALE/C позволяет вырабатывать рекомендации, заключения об управляющих воздействиях в непрерывном процессе принятия решения. Она обрабатывает неопределенные знания и данные, и имеет открытую архитектуру. Другие особенности включают: объектно-ориентированную конфигурацию; возможности организации работы в сети; обработку прерываний; хранение и обработку данных; поддерживает работу с базой данных в реальном масштабе времени, и интерфейсы с системами передачи данных, такими как PLCs и другими устройствами ввода-вывода. + COMDALE/X - консультационная экспертная система, которая работает в режиме реального времени. Для принятия решения система организует диалог с пользователем. COMDALE/X совместно с системой COMDALE/C используется как инструмент разработки экспертных систем реального времени. COMDALE/X позволяет включить гипертекст в экспертную систему, что позволяет создавать hyper-справочники с удобным интерфейсом.

+ PROCESS Vision - пакет программ для управления процессами в реальном времени, базируется на открытой и модульной архитектуре. ProcessVision содержит графический интерфейс оператора; объектно-ориентированный дисплей, выполняет проверку правильности показаний датчиков и поддерживает связь с неограниченным количеством производственной контрольно-измерительной аппаратурой в одной глобальной среде. email info@comdale.com. WEB страница компании имеет адрес http://www.comdale.com/

C - PRS (Процедурно - ориентированная система рассуждений, написанная на языке C) реализует процедурное представление знаний. Это позволяет пользователю выражать и представить условные последовательности комплексных действий и гарантировать их выполнение в реальном времени в среде прикладной программы. Система C - PRS полезна в процессе контроля и управления технологическими процессами. PRS технология применялась в различных задачах и запросах в реальном времени, например, для контроля над несколькими спутниковыми системами NASA, в системах диспетчерского управления сетей электросвязи (Телесвязь Австралия), при управлении подвижными роботами (SRI, LAAS), в системе контроля над полетами и в системе обнаружения самолетов (Grumman). C - PRS работает на многочисленных платформах и операционных системах, включая SPARC, DECstation, Sony News, Hewlett Packard, VxWorks, и другие.

CPR CPR (Прикладная система, основанная на правилах) содержит библиотеку классов C++ и Help! CPR - службу поддержки клиентов и прикладную программу, основанную на знаниях, которая использует CPR. Адрес: The Haley Enterprise, Inc., 413 Orchard Street, Sewickley, PA 15143, телефон 800-233-2622 (412-741-6420), факс 412-741-6457, email info@haley.com. Смотрите WEB - страницу по адресу http://www.haley.com/

Crystal. Работает на персональных компьютерах и снабжен интеллектуальным интерфейсом. Поддерживает интерфейс с dBase, Lotus-1-2-3, ASCII-файлами, программами, написанными на языке С. Имеется возможность создания гибридных ЭС. В состав оболочки включена обширная библиотека встроенных функций. Интерфейс разработчика: меню, редактор баз знаний, графические средства, стердства подготовки текстовых файлов и экранов, стердства трассиловки и отладки. В базу знаний может входить не более 300 правил. Возможно построение иерархических баз знаний, взаимодействующих через файлы импорта и экспорта. Вследствие этого не накладывается ограничений на размер базы знаний.

The Easy Reasoner (TM) - Поисковая система, основанная на поиске подходящих рассуждений в адаптивной ассоциативной памяти. Система отыскивает в памяти событие, подобное новому событию, используя " Запрос на пример". Поддерживает базы данных xBase, ODBC, SQL. Система автоматически фильтрует помехи для упрощения решающих деревьев; эффективно отыскивает события, подобные новому в больших базах данных; поддерживает составные индексы в базе данных; классифицирует новую информацию, используя любое решающее дерево в автоматическом или интерактивном режиме. Выполняет адаптивное, контекстно-зависимое, заданное по умолчанию рассуждение; вычисляет адаптивную оценку, используя решающие деревья; восстанавливает (отыскивает) подобные записи по контексту; различает различные формы записи английских слов; автоматически определяет объем информации в слове. Easy Reasoner под 16- разрядный Windows стоит $ 249, Easy Reasoner под 32 разрядный Windows, стоит $ 499, версия для OS/2 стоит $ 499. WEB - страница фирмы имеет адрес http://www.haley.com/

ECLIPSE работает на персональных компьютерах (DOS, Windows), а также имеются версии для систем V Unix и POSIX. Синтаксис языка, используемого в пакете, совместим с языком системы CLIPS, разработанной для NASA. Отличия заключаются в управлении данными путем сопоставления с образцом, использовании прямого и обратного вывода, в поддержке множества целей, объектно-ориентированном представлении знаний и интегрировании с dBase. WEB - страница фирмы имеет адрес http://www.haley.com/ email info@haley.com. Стоимость пакета, работающего в среде 16 разрядного Windows - $499 и $999 для 32 разрядного Windows или OS/2 Стоимость пакета для работы в среде UNIX составляет $1,999.

Esteem - инструмент для работы в среде Windows, который интегрирует условные рассуждения с правилами.

EXSYS DEVELOPER работает в среде МС-ДОС, MS WINDOWS, Macintosh, SunOS, Solaris, Unix и Vax. Система поддерживает обратный вывод от фактов к цели, линейное программирование, нечеткую логику, нейронные сети, и имеет SQL интерфейс. Для получения дополнительной информации, посетите их страницу http://www.exsysinfo.com/Wren/wren.html. Демонстрационный пример приведен на странице http://inf.susu.ac.ru/~pollak/expert/commercial/www.multilogic.com. Email info@exsysinfo.com.

FLEX - гибридная экспертная система, работающая на различных платформах. Система предлагает фреймовое, процедурное и продукционное представление знаний. FLEX чередует прямой и обратный методы поиска решений, множественное наследование свойств, присоединенные процедуры, автоматическую систему вопросов и ответов. Правила, фреймы и вопросы написаны на естественном англо-подобном языке. Язык спецификаций (KSL) позволяет разрабатывать легко читаемые и простые в поддержке базы знаний. FLEX написан на языке Пролог. FLEX использовался в многочисленных коммерческих экспертных системах, например, в финансовых системах типа Администратор начисления пенсии. Цена системы для работы на персональном компьютере в среде Windows в пределах $1,000. Дополнительную информацию можно получить по http://www.lpa.co.uk/ Email: lpa@cix.compulink.co.uk.

G2 Фирма Gensym предлагает графическую, объектно-ориентированную среду для создания интеллектуальных прикладных программ, которые контролируют, диагностируют, и управляют динамическими событиями в сетевых и моделируемых средах. G2 для создания правил, моделей, и процедур использует структурированный естественный язык. Экспертная система G2 является основой всех прикладных программ фирмы Gensym. Программы включают в себя G2, видеоадаптер, который позволяет использовать визуальную среду программирования для создания интеллектуальных прикладных программ управления. NeurOn-Line и другие программы фирмы позволяют пользователям легко создавать нейросетевые прикладные программы. G2 совмещает выполнение правил и процедур в текущий момент времени со способностями рассуждений спустя некоторое время. РУКОВОДСТВО по G2 позволяет пользователям, легко создавать графические интерфейсы и системы диагностирования в реальном масштабе времени. Компания Telewindows Gensym's создала мощную более универсальную среду клиент/сервер, которая позволяет пользователям совместно использовать прикладные программы на G2. Gensym также предлагает мосты (программы) для связи с другими программам (на C и АДА) и системы передачи и обработки данных о движущихся объектах в реальном времени, включая реляционные базы данных, распределенные системы управления, и программируемые логические системы. Домашняя страница фирмы расположена по адресу http://www.gensym.com./

GBB - поддерживает фреймовые рабочие области, содержит высокоэффективный транслятор, фреймовые базы данных и библиотеку, которые поддерживают многомерные алгоритмы поиска целей;KS языки представлений знаний; Универсальные оболочки управления и утилиты администрирования порядком выполнения операторов; интерактивные, графические дисплеи для контроля и исследования; компоненты управления и рабочие области. Эти компоненты составляют инфраструктуру, необходимую для формирования прикладных программ. WWW страница имеет адрес: http://inf.susu.ac.ru/~pollak/expert/commercial/. Страница содержит демонстрационную версию. Адрес Blackboard Technology Group, Inc., 401 Main Street, Amherst, MA 01002, телефон 800-KSS-8990 or 413-256-8990, факс 413-256-3179. E-mail gbb-user-request@bn.cs.umass.edu.

GURU - оболочка экспертной системы, в который предлагается широкое разнообразие инструментальных средств обработки информации, объединенных с возможностями, основанными на знаниях, такими, вывод решения от фактов к цели, вывода решения от цели к фактам, смешанное формирование цепочки вывода, многозначные переменные и нечеткие рассуждения. email info@mdbs.com.

HUGIN - пакет программ для конструирования моделей, основанных на системах экспертных оценок в областях, характеризующихся существенной неопределенностью. Hugin система содержит удобную для использования дедуктивную систему вывода, основанную на вероятностных оценках, которую можно применить к сложным сетям с причинно-следственными вероятностными связями между объектами. WWW- страница HUGIN доступна по адресу http://inf.susu.ac.ru/~pollak/expert/commercial/ .Страница содержит демонстрационный пример экспертной системы. Email: info@hugin.dk.

Icarus - инструмент разработки экспертных систем для персональных компьютеров. Он включает интерфейс с Lotus и dBASE файлами, прямой и обратный выводы и Байесовские коэффициенты доверия. Адрес: Icarus, 11300 Rockville Pike, Rockville, MD 02852-3088, телефон 301-881-9350, факс 301-881-2542.

ILOG RULES - содержит высоко эффективный механизм логического вывода, основанный на правилах. Это - инструмент вывода от фактов к цели, написанный на языке C++ ( следовательно это объектно-ориентированный и поддерживающий передачу наследственных характеристик механизм). Система также снабжена библиотекой C++. Она выполняется фактически на любой Unix платформе, а также на персональных компьютерах, работающих в среде DOS или OS/2. Система позволяет транслировать правила в C / C ++ код, и строить объектно-ориентированную модель данных в C++. C / C ++ код может быть включен в условия правил и действия, связанные с правилами. e-mail info@ilog.com, info@ilog.fr. http://www.ilog.fr/

KEE, ProKappa, Kappa - это - средства разработки экспертных систем, которые выполняются на персональных компьютерах, автоматизированных рабочих станциях и Лисп-машинах. Особенностями сред являются: асинхронная передача данных; рассуждения, основанные на правилах.

Knowledge Craft - комплект инструментов для разработки экспертных систем, используемых в календарном планировании проекта, и конфигурации прикладных программ.

OPERATION EXPERT - графическое программное средство для определения повреждений в Интеллектуальных сетях связи. Система создана на основе программных средств фирмы Gensym (оболочки G2). Система использует модель сети и связанные с ней прикладные программы для отображения объектов и для описания их поведения и характеристик. Систем аподдерживает архитектуру клиент-сервер, учитывает параллельную обработку данных в реальном масштабе времени.

PROSPECT EXPLORER -экспертная система, использующая нейросетевые вычислительные технологии для помощи геологам в обнаружении горных аномалий. MIT - пакет программ для улучшения эффективности и снижения затрат в процессе выделения минералов. Использует различные факторы, начиная от параметров процесса выделения минерала и кончая климатическими факторами для создания нейросетевых моделей процесса. Программы созданы фирмой NMS (Австралия).Дополнительная информация:neuralmining@bigpond.com.

ReThink фиры Gensym - программный инструмент для графического проектирования, моделирования и оперативного управления бизнес - процессами. Опирается на пакет G2.


 

А также другие работы, которые могут Вас заинтересовать

41249. Учет запасов за МСФО 212 KB
  Признание и первоначальная оценка запасов. Общий подход к учету запасов и требования по раскрытию информации о них в финансовой отчетности приведены в МСБУ 2 Запасы. МСБУ 2 также не применяется к оценке запасов удерживаемых: а производителями продукции сельского хозяйства и лесничества сельскохозяйственной продукции после сбора урожая полезных ископаемых и минеральных продуктов в случае когда они оцениваются по чистой стоимости реализации согласно практике существующей в определенных отраслях; б продавцамипосредниками товаров...
41250. Технология литья по выплавляемым моделям. Составляющие литейного модельного комплекта 203 KB
  Литейное производство – отрасль машиностроения, занимающаяся изготовлением фасонных заготовок или деталей путем заливки расплавленного металла в специальную форму, полость которой имеет конфигурацию заготовки (детали).
41251. ПОРЯДОК ПРОВЕДЕННЯ ЕКОЛОГІЧНОЇ ЕКСПЕРТИЗИ 71 KB
  Процедура проведення екологічної експертизи передбачає: перевірку наявності та повноти необхідних матеріалів іреквізитів на об'єкти екологічної експертизи та створення екологоекспертних комісій груп відповідно до вимог законодавствапідготовча стадія; аналітичне опрацювання матеріалів екологічної експертизи вразі необхідності натурні обстеження і проведення на їх основіпорівняльного аналізу і часткових оцінок ступеня екологічної безпеки достатності та ефективності екологічних...
41253. Формне обладнання для виготовлення форм спеціальних видів друку 66.5 KB
  Пневматична установка для натягування трафаретної тканини. Механічні установки для натягування трафаретної тканини. На поверхню ситової тканини наносять фотополімерний прошарок який є основою пробільних елементів. Таким чином для виготовлення трафаретної форми необхідно виконати такі технологічні операції: натягування ситової тканини на трафаретну раму; нанесення емульсійного прошарку на поверхню ситової тканини; експонування ситової трафаретної рами; проявлення промивання і сушка ситової тканини трафаретної рами.
41254. Загальні положення об’ємного (титриметричного) аналізу 70.5 KB
  Класифікація методів об’ємного аналізу за способом титрування Точність титрування Визначення нормальності робочих титрованих розчинів Обчислення в об’ємному методі аналізу Сутність і особливості об’ємного аналізу. Цей процес називають титруванням. Проте необхідно мати на увазі деякі обмеження можливості застосування об’ємного аналізу: 1 взаємодія повинна іти в певних стехіометричних співвідношеннях; 2 реакції повинні іти швидко інакше титрування здійснювати важко а іноді неможливо. На цій основі об’ємні методи поділяються на...
41255. Визначення концентрації іонів водню в розчинах кислот, основ і солей. Буферні розчини 95.5 KB
  Так для 003н розчинуHCl знаходимо pН= . Слабкі кислоти Для кислоти складу НА константа дисоціації дорівнює але Cкисл =[HА] і [H]= [А] тому Зручно користовуватися величиною рКкисл= lg Ккисл Приклад: Багатоосновні кислоти Розглядаємо константи ступінчатої дисоціації наприклад вугільної карбонатної кислоти: Н2СО3 Н НСО3 НСО3 Н СО32 рК1=65 рК2=102 Отже друга константа дисоціації в 5000 раз менша першої тому друга ступінь дисоціації не має практичного впливу на величину...
41256. Загальні положення об’ємного титриметричного аналізу. Сутність методу нейтралізації 121.5 KB
  Криві титрування кислот і основ. Вибір індикаторів кислотноосновного титрування. В останньому випадку титрування можливе тому що в результаті гідролізу у розчині є вільна кислота або основа. 2 наведенні інтервали переходу та відповідні кольори для деяких найбільш вживаних в аналізі індикаторів Таблиця 2 індикатор Інтервал переходу рТ Кольори Тимолсиній 13 2 червонийжовтий Метилоранжевий 35 4 червонийжовтий Метилчервоний 46 5 червонийжовтий Лакмус 68 7 червоний синій Фенолфталеїн 810 9 безбарвнийчервоний Тимолфталеїн 911 10...
41257. Приклади практичних визначень методом нейтралізації 331 KB
  Визначення кальцинованої харчової та каустичної соди та їх сумішей. Визначення карбонатної твердості води. Титриметричне визначення кислотності рідких вуглеводневих палив. Це пов'язано з тим що така кислота летка і визначення її концентрації за густиною є неточним.