Свойства отношения перехода между прикладными логическими моделями представления знаний

В ПС, используемых для решения задачи целеполагания в статических проблемных средах, бинарное отношение R_]M может обладать свойствами рефлексивности, симметричности и транзитивности и, таким образом, являться отношением эквивалентности. Свойство рефлексивности отношения R_Tm (Mi Rtm Mj , VMjeM) используется для построения итерационных моделей, т.е. моделей, которые необходимо повторить п раз для решения задачи. Свойство симметричности отношения Rtm (если Mj R_TM Mj, то Mj R_IM Mj, VMj,Mj€M) используется при построении циклически повторяемых моделей. Следует отметить, что отношение Rtm, обладающее свойством транзитивности (если Mj R_Tm Mj и Mj R_TM M^, то Mj R_TM M_k, VMj,Mj,M_keM), повышает эффективность работы ПС, поскольку если выводы во всех моделях в цепочке прикладных логических моделей представления знаний построены, то из первой модели в этой цепочке возможно получить следствия, выведенные на основе последней модели из этой цепочки.

Можно провести аналогию между описанными свойствами, которыми может обладать отношение перехода между моделями Rtm в ИС, функционирующих в статических проблемных средах, и свойствами, которыми могут обладать отношения достижимости в возможных мирах Крипке.

В ИСППР, функционирующих в динамических проблемных средах, отношение R_TM должно обладать свойством антитранзитивности. Поясним более подробно свойство аптитранзитивности. Это свойство декларирует тот факт, что если цепочка вывода некоторого следствия построена, то она может быть использована при выводе этого следствия повторно (без построения цепочки вывода). Таким образом, как отмечалось, это свойство повышает эффективность ИСППР, функционирующих в статических проблемных средах. В ИСППР, функционирующих в динамических проблемных средах, отношение R_TM должно быть антитраизитивным. Это связано с тем, что при повторном использовании выведенной цепочки следствий могут произойти изменения в проблемной среде, которые могут привести к невозможности применения построенной цепочки вывода следствий. Таким образом, в динамических проблемных средах невозможно использовать заранее построенную цепочку вывода, т.е. вывод очередного следствия должен осуществляться с учетом произошедших изменений в проблемной среде. Это выполняется за счет применения метаправил, которые при их срабатывании используются для смены аксиоматики проблемной среды.