|
4 t 4 * I . * «Начало^терапии" и «Окончание_терапии», действие «Ведение огня» с событиями «Открытие огня» и «Прекращение огня». Эти события 1 разнесены; по времени; причем длительность действия может быть как ч * * постоянной^ так и: случайной величиной. Обычно действие заранееS ч " у ч планируется и может находиться в различных, состояниях —запланировано; начато, прервано, завершено. р * ■ й Используя концепцию события; действие поизменению состояния1 ь проблемной области, (ПрО) можно представить, как пару событий€ 4 л . * щ следующим образом: а = <ен, ек> = < tH, С-н, С+н, to, С-к, С+к >, (3.1) . где С-н, С+состояния;системы, переди:после наступления события ен,* i Л * 4 . * щ '^ * (т.е..начала выполнения;, действия а) соответственно; С-к, С+ксостояния t л системы: перед и посленаступления; события ек (т.е. завершения действия; а);« V 1 ■ # . ‘ * 1 ь * * •, ' ' * * . ’ соответственно; to; to, моменты времени; наступления; событий ен; ек, • • 1 •ь Ч ( соответственно; Предположим, что состояния; С-н,.G+ir отличаются, друг отi 1 * • , в 7 ч • • Л 4 друга тем, что в момент времени to оказывается истинной формула; логики* Ч < щ первого порядка f н, состояния С-к, С+котличаются:друг от.друга тем, что в ч момент времени to; оказывается истинной формула f к. Заметим, что события ек наступает (и, соответственно, формула^ к оказывается истинной) толькор ш если действие а завершится нормально, т.е. при«штатном» развитии событий. Иначе, т.е. при наступлении нерегулярных событий, препятствующих нормальному завершению действия а, событие ек не наступит и формула f к не станет истинной в момент времени to.$ Если известно, что «штатному» завершению действия а препятствует наступление любого нерегулярного события: из множества (el,...,еп} в * Ъ J с интервале времени At t ч to, то для представления выражения, можно Г I > } V < использовать эквивалентное нормальному темпоральному умолчанию, более Р л * t общее темпоральное умолчание; не являющееся нормальным; Действие глобальным или локальным Т :«i часам): начинается в момент to и кончается в момент to. Если в описании ь А I 1 |
друга тем, что в момент времени to оказывается истинной формула логики первого порядка f н, состояния С-к, С+котличаются друг от друга тем, что в момент времени tK оказывается истинной формула f к. Заметим, что события ек наступает (и, соответственно, формула f к оказывается истинной) только если действие а завершится нормально, т.е. при «штатном» развитии событий. Иначе, т.е. при наступлении нерегулярных событий, препятствующих нормальному завершению действия а, событие е* не наступит и формула fK не станет истинной в момент времени tK. Если известно, что «штатному» завершению действия а препятствует наступление любого нерегулярного события из множества {ei,...,en} в интервале времени 4t=t-tH, то для представления выражения можно использовать эквивалентное нормальному темпоральному умолчанию, более общее темпоральное умолчание, не являющееся нормальным. Действие привязано к временной оси (= глобальным или локальным часам): начинается в момент t„ и кончается в момент tK. Если в описании действия исключить привязку к временной оси, оставив только его длительность At, то получим (по терминологии РАО) виртуальное действие. Виртуальное действие будет начинаться всякий раз, когда будет выполняться условие, выражающее соотношение между состояниями О н , С+н. В логике TDLC и ее вариантов этому соответствует понятия темпорально открытых формул и умолчаний. Таким образом, в данном разделе показано соответствие между концепцией событий и действий в системе РДО и средствами формализации темпоральных немонотонных рассуждений, предоставляемыми логикой TDLC и родственных ей систем. Заключение по главе 2 1 .В основу построения формализованной схемы описания процессов реструктуризации положено понятие процесса. Выполнено исследование |