Эвристические классификаторы

Один из наиболее разработанных видов данных экспертных систем, использующих представление знаний в области ИСКУССТВЕННОГО ИНТЕЛЛЕКТА должен поместитьнекоторую информацию в одну из категорий, принадлежащих некоторому фиксированному множеству категорий, используя несколько источников информации. Например, уведомить, следует ли принять за покупку предложенную кредитную карточку. Система располагает информацией владельце кредитной карточки, размером его счета, а также информацией о покупаемом предмете и особенностях учреждения, выпустившего эту карточку (например, имелись ли случаи мошенничества по кредитным карточкам этого учреждения).

 

http: //inf.susu.ac.ru/~pollak/expert/eclipsed/ps.htm

Продукционные Системы

Продукция - это просто правило. Продукции были сначала введены как формальный способ выражения языков в Информатике. Например, каждое правило контекстно-свободного языка, записанное в спецификации БЕКУСА-НАУРА названо продукцией. НОРМАЛЬНАЯ ФОРМА БЕКУСА - НАУРА обычно используется для описания синтаксиса языков программирования.

Продукционная система - это система, основанная на правилах типа НОРМАЛЬНОЙ ФОРМЫ БЕКУСА-НАУРА, в которой порядок правил не имеет значения. Продукционные системы представляют правила как совокупность независимых операторов, в отличие от условнай логики, используемой в логическом программировании или от процедурных языков программирования.

В любом языке, основанном на правилах продукции, порядок выполнения правила отличается от функциональных возможностей IF - THEN условий или подобных условных логических конструкций в продукционных языках третьего поколения (3GL). Это относится прежде всего к языкам типа КОБОЛ и C. Более того, любой язык, основанный на использовании продукций, который инициирует проверку правил, требуя загрузку правил или их условий для классов или атрибутов классов, не добавляет ничего такого, чего бы не было в таких языках как C++ или Smalltalk. Проверка IF - THEN условий для одного или более встроенных классов или их атрибутов, является не более чем оператором обращения к функции от функции, принадлежащей к определенному классу или типу данных. В действительности, объектно-ориентированный подход есть одна из форм представления блок-схем. Продукционные системы устраняют составление блок-схем:

1. Определяя набор соответствующих правил

2. Выбирая правила, которое нужно применить

3. Выполняя действие (записанное в части THEN ) выбранного правила

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

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

Единственным алгоритмом, чья эффективность при применении в продукционных системах, не зависит от количества правил является Rete алгоритм.

 

http: //inf.susu.ac.ru/~pollak/expert/eclipsed/RuleLanguages.htm

Языки представления Знаний в экспертных системах

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

· OPS5 Университета Carnegie в Mellon'е

· ART Inference Corporation

· CLIPS NASA

· ART - IM Inference Corporation

· Eclipse Haley Enterprise.

· ILOG правила ILOG, Inc

OPS5 Университета Carnegie

OPS5 OPS5 был первым системным языком, использованном в промышленных целях, основанным на Rete Алгоритме и первым языком ИСКУССТВЕННОГО ИНТЕЛЛЕКТА, который был успешно применен в коммерческой прикладной программе, когда доктор Джон Макдермотт использовал правила для конфигурирования компьютерных систем VAX для Digital Equipment Corporation. Для языка R1 был первоначально использован Лисп, но позже по причинам эффективности был перенесен в одну из версий OPS5, после. Вследствие этого R1 был переименован в XCON. XCON был чрезвычайно удачен и былиспользован при к разработке ряда экспертных систем, использующих OPS5. Некоторые из них осуществил Paul Haley.

 

ART Inference Corporation

В 1984 Paul Haley, объединенная Inference Corporation, где он стал Главным Научным руководителем направления, разрабатывающего Инструменты Автоматизации формулирования логических выводов (ART).

ART был рассширен Г. Халей до языка Rete для поддержки:

· Логического программирования

· Автоматической редукции цели на подцели и вывода от цели к фактам

· Увеличения возвможностей языка в процессе сопоставления с образцом

· Произвольных процедурных функций и предикатов

· Больших выразительных возможностей представления знаний

· Логических Кванторов (не только таких как " и" и " не" )

· И ряда других уточнений, не принадлежащих OPS5.

Хотя синтаксис языка ART более выразителен чем в языке OPS5, синтаксис ART был разработан как уточнение OPS5.

 

CLIPS NASA

К 1985 NASA стандартизировал свои разработки в области ИСКУССТВЕННОГО ИНТЕЛЛЕКТА на ART, но у него возникла необходимость в том, чтобы программы выполнялись на персональных компьютерах типа Macintosh и IBM. В результате Software Technology Branch в Космическом центре им. Джонсона имитировал возможность вывода от фактов к цели и синтаксис языка ART и ввел " Интегрированную Систему Продукции на Языке C" (то есть, CLIPS) в общественное применение. Правительственное финансирование для разработки или поддержки CLIPS было прекращено несколько лет назад

CLIPS CLIPS редко используется для коммерческих целей из-за отсутствия длительного финансирования и других практических, коммерческих соображений, особенно по сравнению с функциональными преимуществамиART - IM Inference CorporatinСледуя CLIPS'у NASA, Inference Corpotation воплотила вывод " от фактов к цели", объединив ART и CLIPS. Язык был назван ART - IM, впоследствии он был переименован в " ART*ENTERPRISE".

 

Eclips Haley Enterprise

В 1989 Paul Haley основал Haley Enterprise и разработал Eclipse

· Eclipse - единственный C / C ++ механизм логического вывода, основанный на С/С++, и который использует Rete Алгоритм для поддержки вывода выводо как вперед, так и назад.

· Eclipse поддерживает расширенную версию синтаксиса языка Clips.

· Провайдеры Eclipse Enterprises обеспечивают обширную поддержку ОБЩЕЙ ОБЪЕКТНОЙ МОДЕЛИ и используют 64 разрядных команды процессора Pentium

· Средство OCX вместе с Eclipse включено в Microsoft Windows, для поддержки ОБЩИХ ОБЪЕКТНЫХ МОДЕЛЕЙ и RAD разработку

· Rete ++ совместно с Eclipse интегрированы на Windows, UNIX, и других операционных системах.

· Средства, предлагаемые Enterprises, такие как OCX, Clips и Rete ++ обеспечивают поддержку COM на компьютерах, совместимыми с Pentium.

 

ILOG Правила ILOG, Inc.

ILOG правила кажутся версией C++ OPS5, включая модифицированный синтаксис, который выглядит скорее как C++, чем синтаксис OPS5, ART, CLIPS и Eclips, который подобен LISP.

Акцент в правилах ILOG делается на интегрирование вывода от фактов к цели языка OPS5 с функциональными возможностями классов C++. Тем не менее, для того, чтобы в правилах можно было применить Rete Алгоритм, правила ILOG используют существующие классы, которые однако необходимо изменить способом, не заданным Rete ++.

 

Правила поддержки бизнеса и Интеллектуальные Средства, использующие ОБЩУЮ ОБЪЕКТНУЮ МОДЕЛЬ

Haley Enterprise Haley Enterprise объявил о готовности ActiveAgentX - интеллектуального средства для автоматизации создания правил поддержки бизнеса, которое используют инструментальные средства разработки фирмы Microsoft, такие как Visual Basic и Visual J ++. ActiveAgentX полностью поддерживает компоненты объектных моделей фирмы Micrisoft. Объекты ActiveAgentX могут быть непосредственно интегрированы в любую прикладную программу, разработанную с использованием инструментальных средств сетевого программирования (RAD) в среде Microsof Windows 95 и Windows NT, включая Microsoft Visual Basic, Borland Delphi, и PowerBuilder.

ActiveAgentX преобразует правила ведения бизнеса непосредственно в продукционные правила. Продукционные правила являются инструментом деловой логики и не требуют от программистов создания систем предсказания или систем, содержащих сложные блок-схемы. Базирующийся на RETE Алгоритме , который был использован в системе логического вывода Eclipse, ActiveAgentX может наиболее эффективно выполнять тысячи таких правил.

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

Как COM объект, ActiveAgentX взаимодействует с объектами Microsoft Visual Basic и другими RAD средствами. ActiveAgentX могут взаимодействовать с любыми COM МОДЕЛЯМИ событий или OLE-ПРИЛОЖЕНИЯМИ (то есть осуществлять связь и внедрение объектов) при использовании в процедурных правилах. AgentX основан на 64 разрядной версии Eclipse и Rete++ Rete++ в среде Windows 95 и NT на платформе Pentium Intel или совместимом процессоре.

Haley Corporation Haley Corporation является признанным лидером в коммерческом использовании технологии искусственного интеллекта. Г. Халей одним из первых разработал несколько коммерческих экспертных систем. Он также читает лекции по Искусственному Интеллекту в Carnegie Mellon Университете, и в Stanford Университете

 

ECLIPSE - это лучший в мире, высокоэффективный, широко применимый, встроенный механизм логического вывода для Microsoft Windows, Unix, OS/2, Macintosh, DOS и других операционных систем.

Описание программы

· Eclipse - высокоэффективная продукционная система, которая использует расширенную версию синтаксических правил.

· Eclipse - единственный механизм логического вывода, , который использует Rete Алгоритмдля поддержки прямого и обратного вывода.

· Eclipse Eclipse включает обширный интерфейс программирования для ANSI C и Visual Basic.

· Eclipse для Windows 95 и NT включает средства для интегрирования с COM и сетевых разработок.

· Rete ++ включает Eclipse, написанный на языке C++.

· Enterprise Eclipse снабжает пользователей общирной документацией для использования технологии COM под Microsoft Windows и для финансовых или технических применений на всех платформах.

Exsys ® Developer

-это среда для разработки экспертных систем, основанных на правилах. Она снабжена мощной, гибкой, интуитивной средой для построения экспертных систем.

 

Exsys Developer снабжает автора двумя мощными методами для создания правил: интерфейсом, основанном на визуальном дереве решений и простым редактором правил. Дерево решений позволяет быстро создавать правила в графической среде, благодаря чему в одно и то же время можно просмотривать и разрабатывать логику проблемы. Создание и редактирование правил в редакторе правил позволяет более комплексно отобразить логику, которая не могла быть представлена в диаграмме, . Оба интерфейса позволяют автору создавать правила на Английском языке, в отличие от других сред разработки, которые требуют от пользователя знания специального языка создания сценария. Из-за уникальных параметров интерфейса Exsys Developer, системы могут быть построены быстро, правила легко поняты, и правила могут поддерживаться без помощи инженеров по созданию программных средств.

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

 

G2 - Стратегический Выбор для Интеллектуальных Прикладных программ

http: //inf.susu.ac.ru/~pollak/expert/G2/images/bG2_v5.JPGhttp: //inf.susu.ac.ru/~pollak/expert/G2/images/bG2_v5.JPG

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

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

· Непрерывному контролю над потенциальными проблемами прежде, чем они проявят неблагоприятное воздействие;

· Принятие комплексных оперативных решений на основе информации, полученной посредством рассуждений и анализа данных, содержащихся в интеллектуальной модели процесса;

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

· Поддержание оптимальных рабочих условий;

· Координирование действий и информации в выполнении сложных оперативных процессах.

Увеличение Производительности.

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

· Более быстрого комплексного использования новой системы;

· Сокращения времени разработки;

· Уменьшения проектного риска;

· Понижения расходов на сопровождение программы;

· Более простого интегрирования с другим программным обеспечением и системами

· Быстрого создания прототипа системы, чтобы продолжить проектирование совместно с конечным пользователем

⇐ Предыдущая1234Следующая ⇒

Поделиться: