TROPIC-экспертная система архитектуры

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Ташкентский университет информационных технологий имени Мухаммада Ал-Хоразмий

Самостоятельная работа

по предмету «Искусственный интеллект и нейронные сети»

Тема: "TROPIC-экспертная система архитектуры"

Нигманбекова Э.

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

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

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

* базу знаний;

* рабочую память, называемую также базой данных;

* решатель (интерпретатор);

* систему объяснений;

* компоненты приобретения знаний;

* интерфейс с пользователем.

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

База данных (рабочая память) служит для хранения текущих данных решаемой задачи.

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

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

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

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

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

1. Невозможна строгая математическая постановка задачи.

2. Не существует алгоритмического решения задачи или оно существует, но ограничения ресурсов (время, память) не позволяют получать его за приемлемые сроки.

3. Неполнота и противоречивость данных и знаний о предметной области.

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

Формализованное описание (ФО) - это совокупность описаний эвристик (правил), свойств и закономерностей предметной области на языке, понятном конечному пользователю, пригодная для хранения и обработки на ЭВМ [6]. ФО строятся в соответствии со строгими правилами, соблюдение которых гарантирует возможность извлечения из них алгоритма решения задачи и выполнение этого алгоритма на ЭВМ с помощью универсальной (для заданного класса задач) процедуры.

От других программ ЭС отличаются по следующим признакам:

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

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

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

4) самосознание - ЭС должна включать в себя механизм объяснения того, каким образом она приходит к решению задачи.

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

Рассмотрим архитектуру ЭС в функциональном аспекте (с точки зрения декомпозиции системы на функционально независимые подсистемы). Архитектура ЭС, с точки зрения функционального аспекта, представлена на рис. 5.1.

Рис. 1. Архитектура экспертной системы (функциональный аспект)

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

Описание задачи (запроса) пользователя на выбранном ЯПЗ поступает в подсистему логического вывода (ПЛВ или решатель), которая, используя формализованные знания и данные, генерирует рекомендации по решению искомой задачи. Основу базы знаний ЭС составляют правила. В ПЛВ реализуется некоторая стратегия выбора актуальных правил, тесно связанная с методом представления знаний в ЭС и характером решаемых задач.

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

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

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

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

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

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

Продукционная модель содержит в себе: рабочую память (хранилище данных), базу правил (программу), механизм вывода (управление). Продукционные правила - наиболее простой способ, представления знаний. Он основан на представлении знаний в форме правил, структурированных в соответствии с образцом «ЕСЛИ - ТО». Часть правила «ЕСЛИ» называется посылкой, а «ТО» - выводом или действием. Правило в общем виде записывается так:

ЕСЛИ A1, A2,…, An, ТО В.

Такая запись означает, что «если все условия от A1 до Аn являются истинными, то В также истинно» или «когда все условия от А1 до Аn выполняются, то следует выполнить действие В».

Например, рассмотрим следующее правило

ЕСЛИ (1) у является отцом х

(2) z является братом у

ТО z является дядей х

В данном случае число условий п = 2.

В случае п = 0 продукция описывает знание, состоящее только из вывода, т.е. факт. Примером такого знания является факт «атомная масса железа 55,847 а.е.м».

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

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

ЕСЛИ (1) z является отцом х

(2) z является отцом у

(3) х и у не являются одним и тем же человеком

ТО х и у являются братьями

Иван является отцом Сергея

Иван является отцом Павла

Сергей является отцом Николая

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

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

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

Рис. 2. Пример семантической сети

экспертный программа архитектура

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

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

Например,

Фрейм: человек

Класс: Животное

Структурный элемент: Голова, шея, руки, ноги,…

Рост: 30-220 см

Масса: 1 - 200 кг

Хвост: Нет

Фрейм аналогии: Обезьяна

Несмотря на различия в моделях представления знаний, они могут сочетаться друг с другом и часто используются как гибридные представления. Для представления знаний разработаны специальные языки: ALICE, APES, APLICOT, FIT, DUCK, LISP, PROLOG и ряд других.

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

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

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

Размещено на Allbest.ru