Гибридизация четких и математических знаний

Геометрические знания представляют собой одну из разновидностей математических знаний, необходимых для построения интеллектуальных систем. Другой разновидностью математических знаний, необходимых для выполнения расчетов являются модели непрерывных систем, основанные на дифференциально-алгебраических системах уравнений.

Для включения в состав интеллектуальной системы проектирования инструментальное средство, обладающее возможностями генерации упомянутых моделей, должно обеспечивать: поддержку технологии объектно-ориентированного моделирования, совместимую с языком UML; удобное и адекватное описание модели на общепринятом математическом языке без написания какого-либо программного кода; автоматическое построение компьютерной модели, соответствующей заданной математической, с возможностью автономного использования этой компьютерной модели.

В наибольшей мере этим требованиям отвечает пакет Model Vision Studium (MVS) Колесов, 2004]. Основным элементом языка MVS является активный динамический объект (АДО). Активный динамический объект MVS обеспечивает моделирование не только непрерывного поведения, но также дискретного или гибридного Колесов, 2004].

По отношению к локальным объектам, которые здесь рассматриваются, содержащий их объект является объектом-контейнером. При построении экспертных баз знаний таким контейнером является объект-функция. Внешнее представление математического модуля знаний представлено ниже. Модуль знаний с идентификатором RsDP предназначен для расчета дальности полета тела единичной массы, брошенного под углом к горизонту Teta0 со скоростью V0. Скорость должна принимать значения больше нуля, а угол — быть в пределах от нуля до р/2.

МЗ: «RsDP «- Расчет дальности полета Предусловия запуска.

Входные свойства.

Механизм — DLL-модуль.

Согласование PRT-переменных и свойств МИЗ.

Выходные свойства.