Моделирование процессов принятия решений на основе системы интеллектуального имитационного моделирования РДО (Еремеев А., Шутова П.), страница 2

Зачет_1 : Зачеты trace 1 * * *

Зачет_2 : Зачеты 2 2 38 Свободен

$End

При этом начальное состояние системы принято следующим. На первом зачете студентов в очереди нет, количество опрошенных равно 0 (по умолчанию), состояние экзаменатора – Свободен (по умолчанию). Видимо, этот зачет еще не начался. Второй зачет уже подходит к концу, и в очереди осталось 2 студента, опрошено уже 38 студентов, экзаменатор – Свободен.

Примечание. Обратите внимание на то, что временные ресурсы не описываются. Они создаются и уничтожаются динамически.

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

2.3. Объект образцов операций

Знания о процессах в СДС содержатся в объекте образцов. Каждый образец представляет собой формализацию модифицированного продукционного правила, обычного продукционного правила или нерегулярного события. Образцы совместно с операциями составляют процедурную часть программы на языке РДО.

Общий формат образцов имеет вид:

$Pattern <имя_образца> : <тип_образца> [ trace | no_trace ]

[ $Parameters

{ <описание_параметра_образца> } ]

$Relevant_resources

{ <описание_релевантного_ресурса_образца> }

[<способ_выбора>]

$Time= <выражение_времени>

$Body

<тело_образца>

$End

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

• operation  образец, описывающий операцию и представляющий собой модифицированное продукционное правило;

• irregular_event  образец, описывающий нерегулярное событие;

• rule  образец, описывающий продукционное правило;

• keyboard  образец, описывающий клавиатурную операцию (такая операция может быть выполнена, если одновременно нажата определенная клавиша или кнопка мыши, и выполняются предусловия операции).

После типа образца может быть указан признак трассировки. Описание параметров образца имеет следующий формат:

{<имя_параметра> : <тип_параметра> [ = <значение_по_умолчанию>]}

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

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

Параметры в образце любого типа могут отсутствовать, в этом случае зарезервированное слово $Parameters не указывают.

Описание релевантных ресурсов образца для образцов типа операция и клавиатурная операция имеет следующий формат:

<имя_релевантного_ресурса> : <описатель> <статус_конвертора_начала> <статус_конвертора_конца>

Описание релевантных ресурсов образца для образцов типов irregular_event и rule имеет следующий формат:

<имя_релевантного_ресурса> : <описатель> <статус_конвертора>

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

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

Статус конвертора описывает, что происходит с релевантным ресурсом в целом при выполнении предусловия. Статус конвертора начала описывает, что происходит в начале операции, статус конвертора конца  в конце операции. В данной версии языка определены следующие статусы конверторов и соответствующие ключевые слова:

• Keep  релевантный ресурс сохраняется, но его состояние (значения параметров) изменяется;

• Create  релевантный ресурс создается;

• Erase  релевантный ресурс уничтожается;

• NonExist  релевантный ресурс не существует;

• NoChange  состояние релевантного ресурса не изменяется.

Статусы Create, Erase и NonExist допустимы только для ресурсов временного вида. Статус Create допустим только в том случае, если описатель есть имя типа ресурса. Статусы NonExist и NoChange недопустимы в образцах типа нерегулярное событие. В образцах типа irregular_event статусы Keep и Erase допустимы только в случае, если описатель  имя типа ресурса. Статус NonExist недопустим в образцах типа rule. В образцах operation и keyboard возможны следующие сочетания статусов начала и конца (табл. 2.2):

Способ выбора определяет, какие ресурсы будут использованы в качестве релевантных в том случае, если описатель релевантного ресурса есть имя типа, и существует более одного ресурса, удовлетворяющего предусловию. В РДО-языке определены следующие способы выбора:

• first  использовать первый попавшийся ресурс, удовлетворяющий предусловиям;

• with_max <арифметическое_выражение>  использовать такую комбинацию релевантных ресурсов, для которой значение указанного арифметического выражения максимально;

• with_min <арифметическое_выражение>  использовать такую комбинацию релевантных ресурсов, для которой значение указанного арифметического выражения минимально.

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

Таблица 2.2

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

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

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

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

Тело образца имеет формат:

{ <имя_релевантного_ресурса>
<правило_использования> }

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

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

Предусловие начала операций и правил записывают в следующем формате:

Choice from <логическое_выражение> или Choice NoCheck

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

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

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

Если способ выбора указан после описания релевантных ресурсов образца, то в теле образца он должен отсутствовать для всех релевантных ресурсов.

Конвертор параметра релевантного ресурса имеет формат:

<имя_параметра> set <арифметическое_выражение> или

<имя_параметра> NoChange

Арифметическое выражение должно иметь тот же тип, что и параметр, которому присваивается значение. Для вещественного параметра выражение может иметь целый тип. Зарезервированное слово NoChange указывает, что значение данного параметра не изменяется.

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

Суммируя вышесказанное, приведем форматы всех типов образцов.