из списка
P
[0]
, P
[1]
, . . . , P
[10]
.
Например
,
после применения правила
на последнем шаге вывода можно получить цепочки
Города
(
Европа
)
,
Колич
-
элем
(
Города
(
Европа
))
.
Правило
P
[3]
позволяет строить цепочки вида
(
a
1
≡
a
2
)
,
где
a
1
, a
2
—
l
-
формулы
,
полученные при помощи любых правил из
P
[0]
, . . . ,
. . . P
[10]
,
и
a
1
, a
2
обозначают сущности
,
являющиеся однородными в
некотором смысле
.
Примеры К
-
цепочек для
P
[3]
как последнего при
-
мененного правила
:
(
y
1
≡
нек город
*
(
Название
, ‘
Саратов
’
)
,
(
Дирек
-
тор
(
АО
_“
Салют
”
)
≡
П
.
Сомов
)
.
Правило
P
[4]
позволяет строить К
-
цепочки вида
r
(
a
1
, . . . , a
n
)
,
где
r
—
n
-
арное отношение
,
n
≥
1
,
a
1
, . . . , a
n
—
К
-
цепочки
,
полученные
при помощи некоторых правил из
P
[0]
, . . . , P
[10]
.
Примеры К
-
цепочек
для
P
[4]
:
Принадлеж
(
Намюр
,
Города
(
Бельгия
))
,
Подмнож
(
Города
(
Бельгия
)
,
Города
(
Европа
))
.
Правило
P
[5]
предназначено для построения К
-
цепочек вида
d
:
v
,
где
d
—
К
-
цепочка
,
не включающая
v
,
v
—
переменная
,
и выполне
-
ны некоторые условия
.
При помощи правила
P
[5]
можно помечать
переменными в СП текстов на естественном языке
:
а
)
описания раз
-
личных сущностей
,
встречающихся в тексте
(
физических объектов
,
событий
,
понятий и др
.),
б
)
семантические представления предложе
-
ний или более крупных фрагментов текста
,
на которые имеется ссылка
в любой части текста
.
Примерами К
-
цепочек для правила
P
[5
],
приме
-
ненного на последнем шаге вывода
,
являются выражения
все чел
: Z1,
Меньше
(
Возраст
(
П
.
Сомов
)
, <30,
год
>
)
:
Р
1.
Это правило дает воз
-
можность создавать СП текстов таким образом
,
что они отражают ре
-
ферентеую структуру текста на ЕЯ
.
Правило
P
[6
]
позволяет строить К
-
цепочки вида
¬
d
,
где
d
—
К
-
цепочка
,
удовлетворяющая ряду условий
.
Примеры К
-
цепочек для
P
[6]
:
¬
биолог
,
¬
Принадлеж
(
Бонн
,
Города
(
Бельгия
))
.
Здесь
¬
обозна
-
чает связку
“
не
”.
При помощи правила
P
[7]
можно строить К
-
цепочки вида
(
a
1
∧
. . .
. . .
∧
a
n
)
или
(
a
1
∨
. . .
∨
a
n
)
,
где
n >
1
,
a
1
, . . . , a
n
—
К
-
цепочки
,
обозначаю
-
щие однородные в некотором смысле сущности
.
В частности
,
a
1
, . . . , a
n
могут быть семантическими представлениями высказываний
,
описани
-
ями физических объектов
,
описаниями множеств
,
состоящих из объек
-
тов одной природы
,
описаниями понятий
.
Следующие цепочки являют
-
ся примерами К
-
цепочек
(
или
l
-
формул
)
для
P
[7]
:
(
Финляндия
∨
Нор
-
вегия
∨
Швеция
)
,
(
Принадлеж
((
Намюр
∧
Гент
)
,
Города
(
Бельгия
))
∧
¬
Принадлеж
(
Бонн
,
Города
((
Финляндия
∨
Норвегия
∨
Швеция
))))
.
Назначение правила
P
[8]
состоит в том
,
что оно позволяет строить
,
в частности
,
К
-
цепочки вида
c
∗
(
r
1
, b
1
)
, . . . ,
(
r
n
, b
n
)
,
где
с
—
инфор
-
мационная единица из первичного универсума
Х
,
обозначающая по
-
ISSN 0236-3933.
Вестник МГТУ им
.
Н
.
Э
.
Баумана
.
Сер
. “
Приборостроение
”. 2005.
№
3 79
