Достаточные условия для корректных адаптивных гипермедиа систем
Информация - Психология
Другие материалы по предмету Психология
отношений, обновляет непересекающиеся наборы атрибутов. В случае простого распространения каждый атрибут устанавливается только однажды за переход.
Определение 7: rel1, rel2DM-rel:
Условие Независимость(rel1, rel2) удовлетворяется, если RiAM(rel1), RjAM(rel2), Ri Rj:
(S(Ri)U(Ri)E(Ri)) U(Rj) = and (S(Rj)U(Rj)E(Rj)) U(Ri) = .
Это определение говорит, что все типы отношений независимы; порядок выполнения правил, использующих различные типы отношений, не влияет на конечный результат.
Ограничение 7: rel1, rel2DM-rel, rel1 rel2, Независимость(rel1, rel2) удовлетворяется.
Ограничение 7: RAM, R:CA: num(A.where) 1 and
rel1, rel2DM-rel: (RiAM(rel1), RjAM(rel2), rel1 rel2: Pri(Ri)>Pri(Rj)) or
(RiAM(rel1), RjAM(rel2), rel1 rel2: Pri(Ri)<Pri(Rj))
Это ограничение означает, что каждое правило распространения имеет самое бльшее одно отношение, и порядок распространения через все графы отношений предопределен. Ограничение 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 Hypertext99, 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 12th ACM Conference on Hypertext and Hypermedia, Arhus, Denmark, 2001 (to appear).