Пример
2.
Пусть В
1 = “
Сколько английских университетов исполь
-
зуют для дистанци
-
онного обучения Интернет
-
платформу
Blackboard?”.
Тогда для некоторой лингвистической базы данных алгоритм
SemSyn
построит по вопросу В
1
его КП в виде цепочки
Semrepr1 =
Вопрос
(
x1,
((
x1
≡
Колич
(
S1
))
∧
Качеств
-c
остав
(
S1,
университет
∗
(
Регион
,
Англия
))
∧
Описание
(
произв университет
∗
(
Элем
, S1
) :
у
1,
Ситуа
-
ция
(
е
1,
использование
∗
(
Время
, #
сейчас
#
) (
Агент
1, y1
)(
Процесс
,
обуче
-
ние
∗
(
Вид
,
дистанцион
))(
Объект
1,
нек платформа
3
∗
(
Название
,
‘Blackboard’
))))))
.
Фрагментами цепочки
Semrepr1
являются
:
а
)
составное обозна
-
чение понятия
университет
∗
(
Регион
,
Англия
)
,
б
)
семантическая ха
-
рактеристика произвольного элемента множества
произв университет
∗
(
Элем
, S1
) :
у
1
,
в
)
составное обозначение объекта
нек платформа
3
∗
(
Название
, ‘Blackboard’
)
.
Одно из правил построения выражений СК
-
языков позволило связать метку
(
переменную
)
у
1
с характеристикой
произвольного элемента искомого множества
S
1
,
а затем использовать
только эту метку для последующих ссылок на эту характеристику
.
Пример
3.
Пусть В
2
=
“
Проходила ли в Азии международная науч
-
ная конференция
“COLING”?”.
Тогда в рамках некоторой лингвисти
-
ческой базы данных алгоритм
SemSyn
построит КП вопроса В
2
в виде
цепочки
:
Semrepr2 =
Вопрос
(
х
1,
(
х
1
≡
Ист
-
знач
(
Ситуация
(
е
1,
прохожде
-
ние
2
∗
(
Время
,
нек мом
∗
(
Раньше
,#
сейчас
#
) :
t1
)(
Событие
,
нек
конф
∗
(
Вид
1,
междун
) (
Вид
2,
научная
) (
Название
, ‘COLING’
) :
х
2
)
(
Место
,
нек континент
∗
(
Название
, ‘
Азия
’
) :
х
3
)))))
.
В выражении
Semrepr2
цепочка
И ст
−
знач
интерпретируется как
обозначение функции
,
аргументом которой является СП высказывания
,
а значением
—
логическая величина Истина или Ложь
.
Важная особенность нового метода и алгоритма
SemSyn1
заключа
-
ется в том
,
что они не предусматривают использования синтаксическо
-
го уровня представления
(
как резуль
-
тата выполнения синтаксическо
-
го анализа
)
текста
.
Существенным преимуществом разработанного ал
-
горитма является явный учет многозначности слов
,
что чрезвычайно
важно для приложений
.
Алгоритм
SemSyn
реализован в программной
среде
Visual C++.
Выводы
.
Разработана широко применимая система формальных
инструментов для построения семантических аннотаций Веб
-
докумен
-
тов
.
Первым инструментом является теория стандартных К
-
языков
(
СК
-
языков
).
Анализ выразительной силы класса СК
-
языков позволя
-
ет высказать предположение о том
,
что СК
-
языки позволяют строить
семантические аннотации произвольных Веб
-
документов и удобны
84 ISSN 0236-3933.
Вестник МГТУ им
.
Н
.
Э
.
Баумана
.
Сер
. “
Приборостроение
”. 2005.
№
3
