Простой и практич­ный подход

Обычно для гипертекстовых документов реализуется двухуровневая структура:

• гипериндекс (индексная информация);

• уровень гипербаза (собственно узлы и связи).

Гипериндекс состоит из множества индексов, соединенных вместе. Запрос описывается через термины индекса, затем идет обращение к гипербазе. Навигацию через гипериндекс и поиск информации в гипербазе называют запрос через навигацию.

Индекс задает множество индексных входов. Каждый индекс состоит из дескриптора (термина) или ключевого слова и локатора (подобие номера страницы). Поиск элементов гипертекста по ключевым словам можно рассматривать как нахождение неявных ссылок — фрагменты общими ключевыми словами можно полагать неявно семантически связанными.

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

Примером может быть визуальный гипертекстовый язык запросов GraphLog, осуществленный в рамках внешнего интерфейса системы Neptune для абстрактной машины гипертекста. Он обращается к следующим понятиям: поисковый запросный механизм, приращение основной модели узлов и связей, виртуальные структуры, вычисления над гиперсетью, ведение версий. Используя GraphLog, запросы формулируются через рисованные графические образцы, которые появляются тогда, когда поиск выдает подграф гипертекстовой сети.

Язык обеспечивает спецификацию и манипуляцию произвольными подмножествами сети и поддерживает вычисление функций агрегации в подграфах гипертекстового документа. Он может поддерживать динамически заданные структуры и выражать структурные запросы, которые не доступны для традиционных языков реляционной алгебры. Так, он может выполнить упорядоченность произвольной длины операций соединения, невозможную в рамках реляционной алгебры.

Сети вывода. Известна модель Крофта и Тартла, основанная на правдоподобном выводе и использующая байесианскую сеть вывода.

Байесианская сеть есть направленный ориентированный (без петель) граф, где узлы представляют пропозициональные переменные и связи, или ребра представляют вероятностные отношения между пропозициями.