У дисертації розроблена й науково обґрунтована нова система підтримки користувача, що є автоматизованою й базується на застосуванні перетворень структурних схем алгебри Дейкстри та моделі подання знань у вигляді сценаріїв. У ході виконання даної дисертаційної роботи отримані наступні результати: 1. Проаналізовано основні типи інтерфейсів користувача й засоби підтримки при роботі з ними. Зроблено вивід про необхідність подальшого вдосконалення засобів підтримки користувача з метою надання можливості керування взаємодією, що дозволить істотно спростити роботу з АІС звичайних і спеціальних груп користувачів. Система «користувач-АІС» охарактеризована як нетрадиційний об'єкт управління, тому запропоновано використати ситуаційне управління й плануючу експертну систему. 2. Розроблено абстрактну схему управління взаємодією користувача й АІС. Уведено три режими управління взаємодією й показано, що вони дозволяють реалізувати навчання й підтримку користувача в АІС на всіх етапах рішення задачі. 3. З використанням запропонованих операцій і предикатів уведена алгоритмічна алгебра сценаріїв, що моделює дії користувача в АІС. Доведено твердження про те, що за допомогою даної алгебри можна представити будь-який алгоритм взаємодії користувача й АІС. Сформульовано співвідношення, що встановлюють зв'язок між розробленою алгеброю й алгеброю Дейкстри. 4. Розроблено формальне подання структурних схем алгебри сценаріїв у вигляді графа , що дозволяє формалізувати знання про структуру задач в АІС. 5. Розроблено способи фіксації дій користувача при рішенні задач в АІС у термінах даного дерева. Розроблено способи планування на дереві задач. 6. Розроблено інформаційну технологію підтримки користувача, що дозволяє автоматизувати процес підготовки знань про структуру задач і безпосередньо підтримку користувача в процесі рішення задач. 7. Реалізовано експертну систему підтримки користувача, що функціонує в трьох режимах, а також система управління базою знань, що дозволяє автоматизувати процес підготовки знань. 8. Показано, що застосування розроблених підходів дозволяє спростити роботу користувача з АІС, а також поліпшити результати навчання роботі в АІС. Твердження доведене на рівні вірогідності 90% за критерієм Вілкоксона-Манна-Уітні. 9. Розроблені методи, алгоритми й системи були впроваджені в навчальний процес ОНПУ в дисциплінах «Об’єктно-орієнтоване програмування», «Основи проектування систем штучного інтелекту», «Теорія алгоритмів» і дипломному проектуванні. |