Реферат: Достаточные условия для корректных адаптивных гипермедиа систем

(S(R_i )ÈU(R_i )ÈE(R_i )) Ç U(R_j ) = Æ and (S(R_j )ÈU(R_j )ÈE(R_j )) Ç U(R_i ) = Æ.

Это определение говорит, что все типы отношений независимы; порядок выполнения правил, использующих различные типы отношений, не влияет на конечный результат.

Ограничение 7: "rel₁ , rel₂ ÎDM-rel, rel₁ ¹rel₂ , Независимость(rel₁ , rel₂ ) удовлетворяется.

Ограничение 7’: "RÎAM, R:C®A: num(A.where) £ 1 and

"rel₁ , rel₂ ÎDM-rel: ("R_i ÎAM(rel₁ ), "R_j ÎAM(rel₂ ), rel₁ ¹ rel₂ : Pri(R_i )>Pri(R_j )) or

("R_i ÎAM(rel₁ ), "R_j ÎAM(rel₂ ), rel₁ ¹ rel₂ : Pri(R_i )<Pri(R_j ))

Это ограничение означает, что каждое правило распространения имеет самое бóльшее одно отношение, и порядок распространения через все графы отношений предопределен. Ограничение 7 требует вычисления многих наборов атрибутов и во многих случаях нам необходимо использовать различные типы отношений раздельно, так что более естественно просто определить для них некоторый порядок выполнения. В таком случае мы можем использовать Ограничение 7’ вместо Ограничения 7.

Теорема 4: Набор правил AM является конфлюэнтным, если он удовлетворяет ограничениям 3-7 (или 7’).

Доказательство (в общих чертах): Ограничения 3-5 гарантируют конечность AM, с Ограничением 6 AM станет конфлюэнтным при распространении через каждый отдельный граф отношений. Более того, с Ограничением 7 или 7’ AM становится конфлюэнтным при распространении через все графы отношений.

Ограничения 3-7 (или 7’) легки для понимания автора и могут быть использованы в большинстве распространенных AHS. Ограничение 3 легко проверить, в то время как Ограничения 4 и 7’ основываются только на DM и известны перед анализом набора правил. Так как количество типов отношений невелико, время, необходимое алгоритму для проверки Ограничений 3-7 (или 7’) приблизительно равно времени для проверки Ограничения 2.

Заключение

В этой статье мы предложили некоторые ограничения, накладываемые на правила адаптации, для достижения достаточных условий, гарантирующих конечность и конфлюэнтность в AHS. Проверка этих ограничений имеет намного меньшую вычислительную сложность, чем метод статического анализа, предложенный в [WDD01]. Наложенные Ограничения 3-7 (или 7’), тем не менее, позволяют автору писать распространяющиеся через среду правила адаптации для большинства существующих AHS.

Список литературы

[AHW95] Aiken, A., Widom, J., Hellerstein, J.M., “Static Analysis Techniques for Predicting the Behavior of Database Production Rules”. ACM Transactions on Database Systems, Vol. 20, nr. 1, pp. 3-41, 1995.

[B96] Brusilovsky, P., “Methods and Techniques of Adaptive Hypermedia”. User Modeling and User-Adapted Interaction, 6, pp. 87-129, 1996. (Reprinted in Adaptive Hypertext and Hypermedia, Kluwer Academic Publishers, pp. 1-43, 1998.)

[DHW99] De Bra, P., Houben, G.J., Wu, H., “AHAM: A Dexter-based Reference Model for Adaptive Hypermedia”. Proceedings of ACM Hypertext’99, Darmstadt, pp. 147-156, 1999.

[WDD01] Wu, H., De Kort, E., De Bra, P., “Design Issues for General Purpose Adaptive Hypermedia Systems”. Proceedings of the 12^th ACM Conference on Hypertext and Hypermedia, Arhus, Denmark, 2001 (to appear).

[1] Если на входной канал автомата, при одинаковых начальных состояниях подаются одинаковые сигналы, и на его выходном канале также будут получены одинаковые сигналы, причем последовательность изменения его состояний может быть различной, то такой автомат является конфлюэнтным (см. далее Определение 5). Данное понятие близко к понятию “детерминированность”, но более “мягко” по сравнению с ним. – Прим. пер.

[2] Т.е. за время перехода системы из одного состояния в другое, вызванное выполнением (распространением) правил. – Прим. пер.