2. Продукционные модели. Механизм функционирования систем продукции. Прямая и обратная цепочки рассуждений в системе продукций. (Представления знаний в ис)

Это модели, которые представлены с помощью правил следующего вида: ЕСЛИ–ТО. Такая модель позволяет, во–первых, простой и точный механизм использования знаний, во–вторых, представить знания с высокой однородностью, которое описывается по единому синтаксису.

(t1,...,tn )/ t, где ti – посылки, t – заключение

Системы продукции состоят из трех элементов:

1) Набор правил, которые используются, как база знаний

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

3) Механизм логического вывода (рис. 1)

Механизм функционирования систем продукции

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

Прямая цепочка рассуждений в системе продукций

1) Механизм вывода анализирует правила, начиная с первого и определяет наличие образца «намерение–отдых» в рабочей памяти и отсутствие «дорога–ухабистая»

2) Условная часть правила №1 считается ложной и механизм вывода переходит к правилу №2

3) Условная часть правила №2 истинна и механизм вывода переходит к заключительной части «дорога–ухабистая»

4) Заключительная часть правила №2 заносится в рабочую память

5) После просмотра всех правил производится их вторичное применение, начиная с первого за исключением тех, которые уже применялись.

6) При повторном сопоставлении правила №1 его условная часть становится истинной и механизм вывода выполняет его заключительную часть

7) Заключительная часть правила №1 заносится в рабочую область, и это правило исключается из дальнейшего согласования «использовать–джип»

8) Правил для сопоставления не остается и система останавливается.

Обратный вывод – способ, при котором на основании фактов исследуется возможность применения правил. Исходная ситуация – «использовать–джип»

1) Определяется правило, в котором в заключительной части содержится целевой факт.

2) Т.к. образец «намерение–отдых» условной части занесен в рабочую память, то для достижения цели необходимо подтвердить «дорога–ухабистая»

3) Образец «дорога–ухабистая» принимается за новую цель и необходимо найти правила, подтверждающие этот факт.

4) Применяется правило №2. Это правило истинно

5) Рабочая память пополняется образцом «дорога–ухабистая»

3. Выявление объектов и классов ис. Типы объектов и классов по положению их в ис. (пис)

Вариант использования Use Case соответствует реализации одного из требований к системе. Отображается в среде Rational Rose в виде овала

Объекты, это программные сущности, включающие в себя некоторые данные и поведение, методы (сервисы, согласно методологии MSFW).

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

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

Однако выявление объектов является и самостоятельной задачей определяющей особенности программной реализации классов.

При проектировании системы на этапе логического проектирования согласно методологии RUP и MSF определение объектов опережает определение классов, однако на некоторых этапах проектирования эти процессы могут идти параллельно.

Обычно при использовании среды Rationl Rose используется следующая последовательность шагов: 1) Выявляется объект. Объект включается в модель; 2) На основе выявленных объектов определяются классы в системе. Классы включаются в модель; 3) Существующие ранее определенные объекты системы связываются с определенными классами в системе. Корректируются атрибуты и операции объекта так чтобы они соответствовали атрибутам и операциям класса; 4) Объекты и классы могут добавляются в модель ИС при ее дальнейшей доработки.

Как объекты, так и классы системы, в зависимости от типа выполняемых функций подразделяются на три группы: 1) Объекты, (классы) сущности; 2) Объекты(классы) граничные; 3) Объекты, классы управляющие.

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

Выявление объектов сущностей на основе анализа сценариев вариантов использования.

Для выявления объектов можно проанализировать сценарии описывающие потоки событий вариантов использования.

Каждое действие в сценарии описывается как тройка.

[<существительное1>] <глагол><существительное2>.

Где <глагол> определяет выполняемое действие,

<существительное2> - указывает на объект на которой это действие направлено или который является результатом этого действия,

<существительное1> - указывает на объект который выполняет данное действие.

<существительное2> и <существительное1> в описании действий в сценарии могут быть актерами, объектами или их атрибутами. Отделение объектов от их атрибутов можно произвести на основании наличия у них поведения. Объекты обычно обладают некоторым поведением, то есть составом операций.

Выявление объектов сущностей при построении диаграмм деятельности

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

Объекты на диаграмме деятельности отображаются в виде потоков объектов.

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

Однако необходимо отметить, что не все объекты могут быть выявлены на основе сценариев или диаграмм деятельности.

Таким образом при построении диаграммы деятельности необходимо проследить: *на какой объект влияет действие; *данные какого объекта использует действие; *или выполнением операции какого объекта является данное действие.

Граничные объекты и классы обеспечивают взаимодействие между внешней средой и внутренними элементами системы. Они соответствуют формам приложения, отчеты, средства доступа к одних объектов системы к другим.

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

Управляющие объекты и классы.

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

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

Билет №34