Введение к работе
Актуальность темы. Развитие научно-технического прогресса, компьютеризация всех . областей человеческой деятельности, постоянно ставят новые задачи во всех областях искусственного интеллекта, в том числе в вопросах представления и использования знаний. Один из подходов в представлении знаний в области теории автоматического управления - использование классификационных, директивных фреймов и фреймов - смысловых связок - оказался особенно удобным на практике, что показала эксплуатация ухе созданных программных систем.
Однако развитие новой информационной технологии и человеко-машинных систем моделирования стимулируют поиск новых методов представления и использования знаний.
Диссертация посвящена актуальной проблеме поиска новых методов представления и использования знаний в теории автоматического управления. При этом для хранения знаний, представленных посредством классификационных, директивных фреймов и фреймов - смысловых связок, в качестве базовой используется реляционная модель данных, что дает возможность применить хорошо разработанный в настоящее время аппарат теории реляционных баз данных в теоретических исследованиях и практической реализации результатов.
Цель работы:
а) разработка компьютерной модели семантических сетей
фреймовых структур предметной области (ПО) теории управления
(ТУ) и ее применение для различных этапов технологического
процесса решения задач пользователем систем автоматизированного
проектирования (САПР);
б) разработка алгоритмов формирования и модификации базы
знаний системы в интерактивном режиме;
в) исследование и реализация полученных теоретических
результатов посредством создания генератора семантических сетей
фреймовых структур предметной области теории управления.
г) создание программного комплекса, позволяющего
реализовать семантическое программирование задач спектрального
метода теории управления на этапе алгоритмизации.
Научная новизна. В результате проведенных исследований:
а) разработана концептуальная схема предметной области
фреймовой структуры спектрального метода теории управления;
б) доказано, что разработанная схема реляционной базы
данных для представления семантических моделей предметной
области в ЭВМ является целостной и непротиворечивой;
в) предложена новая методика интерактивного формирования и
модификации семантических моделей предметной области в ЭВМ;
г) разработана система генерации семантических сетей,
строящая семантические сети этапов решения задач пользователем
САПР: этапа постановки задачи, этапа алгоритмизации, этапа
программирования на ЭВМ; ч
д) система генерации семантических сетей применена для
предметной области теории управления, в результате чего создана
интерактивная система, позволяющая посредством семантического
программирования решать широкий круг задач теории управления с
использованием пакета прикладных программ СППП) спектрального
метода.
Практическая значимость полученных результатов состоит в:
а) возможности создания баз знаний СБЗ) в интерактивном режиме для широкого класса предметных областей без изменения управляющих и обрабатывающих программ;
"* б) возможности решения задач управления спектральным методом без дополнительного программирования;
в) том, что созданной системой может пользоваться специалист в конкретной предметной области, не знакомый с программированием.
Апробация работы. Результаты диссертационной работы докладывались на Всесоюзной научно-технической конференции "Микропроцессорные системы автоматизации технологических процессов" (Новосибирск, 1987 г. , на Третьей Всесоюзной школе "Прикладные проблемы управления макросистемами" САпатиты, 1989 г.), на Всесоюзной~школе-семинаре "Математическое и программное обеспечение интеллектуальных систем" (Москва, 1990 г. D.
Публикации. Основные результаты диссертации опубликованы в 6 печатных работах.
Структура работы. Диссертационная работа состоит из введения, пяти глав, заключения и приложения. Список литературы содержит 89 наименований. Без учета приложения работа содержит 131 страницу печатного текста, 10 рисунков.
