действия исключить привязку к временной оси, оставив только егоI длительность At, то получим (по терминологии РАО) виртуальное действие. Виртуальное действие будет начинаться всякий раз, когда будет выполняться условие, выражающее соотношение между состояниями С-н, С+н. В логике TDLC и ее вариантов этому соответствует понятия темпорально открытых формул и умолчаний. Таким образом, в данном разделе' показаносоответствие между концепцией событий и действий в системе РДО и средствами формализации, темпоральных немонотонных рассуждений' предоставляемыми логикойTDLG и родственных ей систем. 3.2. Особенности построения сложных гибридных, систем, на основе имитационного-моделирования Рассмотрим задачу поиска решения, на основе имитационного1 моделирования, при котором необходимо1определить значения входных управляемых* переменных ИМ для получения оптимального функционирования сложной дискретной системы. В‘ данном случае один прогон ИМ обеспечивает получение достоверных результатов в одной точке пространства поиска решений. Проведение исследований при проектировании сложной дискретной системы требует реализации серии экспериментов в большой области поиска, целенаправленность которых в традиционных системах моделирования обеспечивается специалистомразработчиком. Для эффективного решения данной задачи система на основе ИМ должна иметь интеллектуальную надстройку, позволяющую заменить специалиста-разработчика. Полученная система будет представлять собой простейшую •гибридную систему, объединяющая имитационную модель и блок оптимизации (рис. З.1.). Блок оптимизации реализует один из алгоритмов поисковой оптимизации: Имитационная модель используется для* вычисления значения критерия оптимизации для различных вариантов |
друга тем, что в момент времени to оказывается истинной формула логики первого порядка f н, состояния С-к, С+котличаются друг от друга тем, что в момент времени tK оказывается истинной формула f к. Заметим, что события ек наступает (и, соответственно, формула f к оказывается истинной) только если действие а завершится нормально, т.е. при «штатном» развитии событий. Иначе, т.е. при наступлении нерегулярных событий, препятствующих нормальному завершению действия а, событие е* не наступит и формула fK не станет истинной в момент времени tK. Если известно, что «штатному» завершению действия а препятствует наступление любого нерегулярного события из множества {ei,...,en} в интервале времени 4t=t-tH, то для представления выражения можно использовать эквивалентное нормальному темпоральному умолчанию, более общее темпоральное умолчание, не являющееся нормальным. Действие привязано к временной оси (= глобальным или локальным часам): начинается в момент t„ и кончается в момент tK. Если в описании действия исключить привязку к временной оси, оставив только его длительность At, то получим (по терминологии РАО) виртуальное действие. Виртуальное действие будет начинаться всякий раз, когда будет выполняться условие, выражающее соотношение между состояниями О н , С+н. В логике TDLC и ее вариантов этому соответствует понятия темпорально открытых формул и умолчаний. Таким образом, в данном разделе показано соответствие между концепцией событий и действий в системе РДО и средствами формализации темпоральных немонотонных рассуждений, предоставляемыми логикой TDLC и родственных ей систем. Заключение по главе 2 1 .В основу построения формализованной схемы описания процессов реструктуризации положено понятие процесса. Выполнено исследование |