Достаточные условия для корректных адаптивных гипермедиа систем Введение
    Адаптивные Гипермедиа Системы (или AHS) предоставляют автоматически персонализированный доступ к информационным гипермедиа ресурсам, чаще всего в форме Web сайтов. Большинство AHS обеспечивают поддержку адаптивной навигации и адаптивное содержание. Структура ссылок или представление указателей ссылок различна для каждого пользователя. Реальное содержание информационных страниц также отличается для различных пользователей. Обзор систем, методов и техник адаптивной гипермедиа можно найти в [B96]. Мы разработали эталонную модель архитектуры адаптивных гипермедиа приложений: Модель Адаптивного Гипермедиа Приложения (AHAM) [DHW99]. AHAM описывает AHS на абстрактном уровне, используя архитектуру, состоящую из трех частей:
    Модель предметной области (DM), которая описывает, каким образом структурировано содержание приложения (используя концепты и отношения концептов).
    Детализированная модель пользователя (UM), которая представляет предпочтения, знания, цели, историю навигации и другие релевантные аспекты пользователя.
    Модель адаптации (AM), состоящую из правил адаптации. Правила определяют процесс генерации адаптивного представления и обновления модели пользователя.
    Такая архитектура обеспечивает четкое разделение интересов при создании адаптивного гипермедиа приложения.
    Исполнительная часть AHS, называемая механизмом (движком) адаптации (AE), является программным обеспечением, которое выполняет адаптацию (описанную правилами AM). Проблемы создания механизма адаптации общего назначения (AE) обсуждались в более ранней статье [WDD01]. Мы определили язык правил для AHS, AHAM-CA и предложили метод статического анализа для принятия решения о том, что для данных DM, UM и AM, механизм адаптации всегда конечен, и будет ли он конфлюэнтным1 (это означает, что система будет генерировать предсказуемые результаты). В этой статье мы обсудим, как (достаточные, но не необходимые) условия, которые гарантируют конечность и конфлюэнтность, могут быть ослаблены (оставаясь достаточными). Язык правил адаптации
    Из-за отсутствия достаточного места мы не даем полное определение синтаксиса нашего (абстрактного) языка правил, а иллюстрируем его на примере. Подробности смотрите в [WDD01]. Правило C>A в AHAM состоит из условия (C) и действия (A). Поскольку свойства языка не зависят от используемого синтаксиса, для простоты мы применяем SQL-подобный синтаксис. Пример AHAM-CA правила:
    C: select C1.knowledge
    where C1.knowledge _ "known"
    A: update C2.ready_to_read := true
    where prerequisite(C1,C2) and
    not exists ( select C3
    where prerequisite(C3,C2) and
    C3.knowledge < "known" )
    Это общее правило, содержащее переменные концепты C1, C2 и С3. Язык также разрешает (более или менее) специальные правила, которые используют концепты вместо переменных концептов. Правило в примере объявляет, что когда знание концепта C1 изменяется на такое, что оно становится, по меньшей мере "known (знакомо)", тогда все концепты C2, для которых C1 было последним предварительным условием, которое еще не было "known (знакомо)", теперь становится "ready_to_read (готовы_к_чтению)". В данном языке правил слишком легко написать правило, которое может привести к бесконечным циклам или непредсказуемым результатам. ............