Подобная спецификация нужна для так называемого мастера расширений табличной формы вероятностных распределений. Расширения бывают трёх видов: а) арифметические и булевские функции, б) конструкции «if-then-else» и в) вероятностные распределения: дискретные (Пуассона, биномиальное, геометрическое) для состояний численного типа и дискретизированные непрерывные (нормальное, экспоненциальное, бета-, гамма-, Вейбулла и равномерное) для состояний интервального типа. Поскольку непрерывные распределения определены на интервале [– ∞, ∞] или [0, ∞], то необходимо, чтобы левая граница первого интервала и правая последнего были соответствующими. Бесконечность обозначается словом «infinity». Аргументами функций могут быть и родительские вершины. Родители типа «labeled» не могут быть представлены в формулах, но могут участвовать в операторах сравнения в конструкции «if-then-else», при этом имена состояний следует заключать в кавычки <“name”> (кириллица не воспринимается). Чтобы специфицировать расширение, нужно переключиться в данный режим опцией меню «Тable->Expression» и вызвать по команде «Тable->Build Expression» мастер построения расширений, в диалоге с которым можно построить корректные конструкции разного уровня сложности.
Переход к развёрнутому представлению (видны интерфейсные вершины) вершин экземпляров и обратно к сжатому осуществляется опциями меню «View->Expand/Collapse Instance Nodes» для всех сразу и по отдельности подведением курсора к контуру выделенной вершины с последующим кликом.
Компиляция и переход в режим исполнения (RunMode). Компиляция сети и переход в режим исполнения при отсутствии ошибок происходят по команде меню «Network->Run» или пиктограммой-молнией.
2. Режим исполнения (Run Mode)
Просмотр результатов. Текущие значения параметров маргинальных распределений вершин шансов и полезности решений выводятся в совокупности в левой секции окна Run Mode в виде древовидного списка или по отдельности для каждой вершины в окошке, так называемом «Monitor Window». В меню «View->Belief Precision» можно установить количество знаков после запятой. Список раскрывается полностью и сворачивается по командам «View->Expand/Collapse Node List». Навигация по списку осуществляется как непосредственно через компонент вида Tree View, так и выделением вершин на схеме графа. «Monitor Window» открывается командой «View->Monitor Window» или одноимённой командой всплывающего меню, активизируемого над выделенной вершиной. Для непрерывных вершин здесь можно вывести график маргинальной плотности вероятности, установить границы видимого интервала оси Ox в обе стороны от математического ожидания в единицах СКО и с помощью ползунка регулировать масштаб графика по вертикали. Всякий раз по мере изменения информации графики нужно обновлять вручную по команде «View->Update All Monitor Graphs» вместе или по отдельности кнопкой окна-монитора. Закрывается «Monitor Window» правым кликом по заголовку.
Ввод и обработка свидетельств. Ввод свидетельства производится следующим образом. Твёрдое свидетельство о состоянии вершины шансов или решений, а также о значении непрерывной вершины вводится двойным кликом по строчке нужного состояния или математического ожидания в списке либо в окне-мониторе. В случае непрерывной вершины будет выведено окно ввода значения. Мягкое свидетельство для вершин шансов требует команды главного меню «Network->Enter Likelihood», вызывающего форму ввода весовых коэффициентов. Неудачный дизайн или ошибка реализации делает эту опцию доступной лишь в случае, если открыта какая-то одна вершина в списке, поэтому рекомендуется использовать всплывающее меню, чтобы не сворачивать список. Отменить свидетельство позволяет команда «Network->Retract Evidence» главного или всплывающего меню.
Для распространения (обработки) полученных свидетельств служит команда «Network->Prop Sum Normal» по принципу сумм и команда «Network->Prop Max Normal» по принципу максимума (находит наиболее вероятное объяснение). Отменить результаты этой обработки позволяют команды «Network->Prop Sum Fast Retract» и «Network->Prop Max Fast Retract». Опция «Network->Initialize» выполняет переинициализацию процесса функционирования сети без перекомпиляции, возвращая априорные значения.
Возврат в режим редактирования происходит по команде меню «Network->Edit» или пиктограммой-карандашом.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.