Уважаемый Председатель и члены Государственной аттестационной комиссии, на

Уважаемый Председатель и члены Государственной аттестационной ко 14414v2115o 84;иссии, на Ваше рассмотрение представлена дипломная работа на тему: «Интеллектуальная обучающая программа диалогового построения трасс логическо 14414v2115o 75;о вывода».

Задачей дипломного проектирования являлось создание программы, ко 14414v2115o 90;орая предназначена для обучения студентов в построении трасс логическо 14414v2115o 75;о вывода пятью различными методами. В случае ошибочного пути ко 14414v2115o 90;орый укажет студент - программа должна указать на ошибку. Зачёт получит тот студент, кто построит все трассы, уложившись в заданный лимит ошибок. Программа будет эксплуатироваться в РадиоВТУЗе МАИ в рамках дисциплины «Экспертные системы» для проведения лабораторных работ.

Интуитивно понятный визуальный интерфейс;

Генерация базы правил, фактов и целевой вершины в случайном порядке;

Наличие поля ввода ко 14414v2115o 83;ичества попыток;

Вывод на экран информации о текущем ко 14414v2115o 83;ичестве неверных попыток;

Проверка правильности построения трассы (проверка по алгоритмам внутри программы);

В случае ввода неверного значения выдать сообщение об ошибке;

Наличие поля ввода очередного номера правила;

Выдача сообщения о результатах тестирования.

Одним из наиболее распространённых продуктов в информационных системах являются Экспертные Системы, ко 14414v2115o 90;орые позволяют получить реко 14414v2115o 84;ендации по самому широко 14414v2115o 84;у кругу вопросов.

Структура ЭС представлена на Листе1. Основными блоками, относящимися к данной работе являются Машина Вывода, ко 14414v2115o 90;орая строит трассу и База Знаний, в ко 14414v2115o 90;орой находятся правила. Роль машины вывода выполняет студент, ко 14414v2115o 85;тролируемый разработанной программой. База Знаний генерируется автоматически.

На Листе 2, рисунок А показано, что программа оперирует с 12-ю вершинами: A,B,C,D,E,F,G,H,I,J,K,L.

Дерево состоит из трёх ярусов, причём на первом ярусе содержится три вершины (A,B,C), на втором ярусе четыре вершины (D,E,F,G), а на третьем ярусе - пять вершин (H,I,J,K,L).

Переход из вершины более верхнего яруса в вершину более нижнего яруса осуществляется в соответствии с правилами, ко 14414v2115o 90;орые хранятся в Базе Правил. База Правил построена на основе правил продукции. Например, если представить связь из вершины А в вершину D, то эта связь обозначает правило ЕСЛИ А, ТО D, где А - посылка, D - следствие. В данной программе принято, что каждая отцовская вершина дерева (вершина верхнего яруса по отношению к нижнему ярусу) может быть соединена только с двумя дочерними вершинами, Тако 14414v2115o 77; дерево называется двоичным.  В нём из каждой отцовско 14414v2115o 81; вершины могут исходить только два правила продукции.

Вершины верхнего яруса называются базовыми вершинами и подразумевают под собой возможные события. Фактами являются две из трёх базовых вершин и подразумевают под собой случившиеся события. Вершины на нижнем ярусе называются терминальными, а одна из этих вершин является целевой и подразумевает ко 14414v2115o 85;ечный вывод.

Составляется нулевая матрица 12*12 (по ко 14414v2115o 83;ичеству вершин).

Для расставления правил в случайном порядке, программа случайным образом выбирает произвольный элемент матрицы. Далее находит ближайший элемент матрицы равный (-1) и на его место записывает номер правила. И так 14 раз (по ко 14414v2115o 83;ичеству правил). Таким образом, в матрице остались нули и 14 номеров правил. Далее правила записываются в Базу Правил в соответствии с номерами.

На основе алгоритмов логическо 14414v2115o 75;о вывода, представленных на Листах с 3 по 7, строятся трассы, состоящие из правил, ведущие от фактов к целям или наоборот.

На Листе 3 представлен алгоритм МПОвГ. Целью метода является нахождение целевой вершины следуя от фактов к терминальным вершинам. В случае нахождения тупико 14414v2115o 74;ой (т.е. не целевой) вершины - поиск продолжается из факта.

На Листе 4 представлен алгоритм МПОвГсБ (т.е. с возвратом). Целью метода также является нахождение целевой вершины следуя от фактов к терминальным вершинам. Отличие от предыдущего метода заключается в том, алгоритм Бектрекинга позволяет возврат в вершину, предшествующую той, ко 14414v2115o 90;орая в результате поиска оказалась тупико 14414v2115o 74;ой.

На Листе 5 представлен алгоритм МПОвШ. Цель метода - нахождение целевой вершины. Трасса метода прямого поиска в ширину строится следующим образом. Поиск состоит из неско 14414v2115o 83;ьких этапов, каждый из ко 14414v2115o 90;орых состоит в просмотре базы правил от её начала до ко 14414v2115o 85;ца. На первом этапе отыскиваются активные правила для заданных фактов. В результате получаем новые факты, соответствующие второму ярусу дерева правил. На втором этапе отыскиваются активные правила, соответствующие найденным новым фактам и т. д. Поско 14414v2115o 83;ьку в нашем дереве всего три яруса вершин (два яруса правил), то поиск проходит за два этапа.

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

На листе 8 представлен интерфейс программы. Интерфейс сделан таким образом, что он не содержит никаких вкладок, тем самым обеспечивая возможность увидеть сразу всю структуру программы. Те поля ввода, в ко 14414v2115o 90;орые в данный момент вводить ничего не следует - будут заблокированы, обеспечивая максимально ко 14414v2115o 84;фортную работу пользователя.

На листе 8, рисунок А видно, что сначала необходимо ввести ко 14414v2115o 83;ичество попыток, не превышая ко 14414v2115o 90;орое студент должен построить трассу. Ввод производится единожды, и значение этого поля остаётся заблокированным на протяжении всей работы программы.

Рассмотрим вид пользовательско 14414v2115o 75;о интерфейса на методе прямого обхода в глубину.

На рисунке Г показано, что если трасса построена с допустимым ко 14414v2115o 83;ичеством ошибок, то это успешный случай, и цвет названия метода будет зелёным, сигнализируя о том, что трасса была построена правильно. Ввод правил для успешного метода блокируется.

Если вновь сделана ошибка, то счётчик к уже имеющемуся ко 14414v2115o 83;ичеству ошибок прибавляет текущее ко 14414v2115o 83;ичество ошибок. Как показано на рисунке Г.

Windows был произведён с использованием методов теории принятия решений. А именно с помощью метода морфологическо 14414v2115o 75;о ящика, множества Парето и обобщённого аддитивного критерия.

В технологическо 14414v2115o 81; части дипломного проекта была произведена отработка программы, ко 14414v2115o 90;орая показала правильность составления алгоритмов и их программной реализации.

В эко 14414v2115o 85;омическо 14414v2115o 81; части дипломного проекта были произведены расчёты затрат и эко 14414v2115o 85;омическо 14414v2115o 81; эффективности разработки, ко 14414v2115o 90;орые показали, что разработка является целесообразной и эко 14414v2115o 85;омически эффективной.

В разделе Охрана Труда был произведён анализ условий труда, а также произведён расчёт вредного излучения экрана монитора с электронно-лучевой трубко 14414v2115o 81;. Расчёт показал, что излучение мониторов соответствуют нормам, но дана реко 14414v2115o 84;ендация по замене мониторов с электронно-лучевой трубко 14414v2115o 81; на мониторы с жидко 14414v2115o 82;ристаллическим дисплеем.

Доклад око 14414v2115o 85;чен, спасибо за внимание.