В. В. Горюнова
ДЕКЛАРАТИВНОЕ МОДЕЛИРОВАНИЕ И АНАЛИЗ
КОНЦЕПТУАЛЬНЫХ СПЕЦИФИКАЦИЙ
ЭКСПЛУАТАЦИОННО-ТЕХНОЛОГИЧЕСКИХ
ПРОЦЕССОВ В МАШИНОСТРОЕНИИ
Аннотация. <...> Представлены основные положения декларативного динамического моделирования и аспекты разработки концептуальных спецификаций эксплуатационно-технологических процессов в машиностроении на основе математического аппарата сетей Петри и систем продукций. <...> Определяются общие
положения анализа концептуальных спецификаций (онтологий) интегрированных интеллектуальных систем на основе формального аппарата алгебры
последовательностей с использованием критериальных модельных оценок. <...> Введение
Декларативное моделирование онтологии предполагает разработку
формальных и визуально-графических средств реализации следующих важных задач: <...> 2) построение онтологии, которое включает:
– фиксирование знаний о проблемной области (ПрО), т.е. определение
основных образов и их взаимоотношений в выбранной предметной области;
создание точных непротиворечивых определений для каждого основного образа и отношения; определение терминов, которые связаны с этими образами
и отношениями;
– кодирование, т.е. разделение совокупности основных образов, используемых в онтологии, на отдельные классы;
– выбор или разработку формальных средств (специальных языков для
представления онтологии);
124
№ 2 (10), 2009
Технические науки. <...> Машиностроение и машиноведение
– непосредственно задание фиксированной концептуализации на выбранном языке представления знаний; <...> 1 Общие принципы онтологического анализа
Понятия онтологии и онтологического анализа вошли и в процедуры, и
в стандарты моделирования производственных и эксплуатационно-технологических процессов [1]. <...> Основной характерной чертой этого подхода является разделение реальных процессов на составляющие образы и классы образов и определение
их онтологий или же совокупности фундаментальных свойств, которые определяют <...>