иметь следующее К
-
представление
(
КП
)
Expr1
(
т
.
е
.
СП
,
являющееся
выражением некоторого СК
-
языка
):
Определение
1
(
flock,
англ
-
яз
,
динамич
-
группа
∗
(
Кач
-
состав
,
(
птица
∨
млекопитающее
∗
(
Примеры
,
(
овца
∨
коза
))))
, S1,
(
Оценка
(
Колич
-
элем
(
S1
)
,
большое
)
∧
Цель
-
формирования
(
S1,
нек
намерение
∗
(
Примеры
,
(
питание
∨
миграция
∨
оборона
)))))
.
Анализ этой формулы позволяет сделать вывод о том
,
что при по
-
строении СП ЕЯ
-
текстов удобно использовать
: 1)
обозначение
5-
арного
отношения
Определение
1
, 2)
составные обозначения понятий
(
в дан
-
ном примере использованы выражения
млекопитающее
∗
(
Примеры
,
(
овца
∨
коза
))
и
динамич
-
группа
∗
(
Кач
-
состав
, (
птица
∨
млекопита
-
ющее
∗
(
Примеры
,
(
овца
∨
коза
)))))
, 3)
имена функций
,
аргументами
и
/
или значениями которых могут быть множества
(
в примере исполь
-
зовано имя одноместной функции
Колич
-
элем
,
значением которой явля
-
ется количество элементов множества
)
, 4)
составные обозначения на
-
мерений
,
целей
(
в примере
—
выражение
нек намерение
∗
(
Примеры
,
(
питание
∨
миграция
∨
оборона
)))
.
Пример
3.
Определение
Def1
взято из издания
“Longman Dictionary
of Scientifc Usage”,
опубликованного в Москве в
1989
г
.
СК
-
языки по
-
зволяют представлять опреде
-
ления и другие модули знаний в объектно
-
ориентированной форме
,
т
.
е как как выражения
,
отражающие не толь
-
ко содержание модуля знаний
,
но и метаданные
,
т
.
е
.
значения таких
внешних характеристик
,
как авторы
,
источник
,
дата опубликования и
т
.
д
.
Например
,
информация об определении
Def1
может быть предста
-
влена как К
-
цепочка
Нек информ
-
объект
t
∗
(
Вид
,
определение
)(
Инф
-
содержание
, Expr1
)(
Источник
1,
нек словарь
1
∗
(
Назв
, ‘Longman Dicti-
onary of Scientifc Usage’
)(
Издательство
,
(
Longman-Group-Limited/Har-
low
∧
Russky-Yazyk-Publishers/Moscow
))(
Город
,
Москва
)(
Год
, 1989
))
,
где
Expr1
—
это построенное выше К
-
представление определения
Def1.
Пример
4.
Пусть
D1 —
относящийся к биологии и медицине дис
-
курс
“
Все гранулоциты являются полиморфонуклеарными
.
Это озна
-
чает
,
что их ядра многодольны
”.
Тогда дискурсу
D1
можно поставить в
соответствие следующее К
-
представление
Expr2
:
(
Свойство
(
произвольн гранулоцит
:
x1 ,
полиморфонуклеарный
)
: P1
)
∧
Пояснение
(
P1,
Следует
-
из
(
Ситуация
(e1,
обладание
1
∗
(
Агент
1, x1
)
(
Объект
1,
нек ядро
1
:
x2
))
,
Свойство
(
x2,
многодольный
))))
.
Ключевую роль в построении КП
Expr2
сыграло правило
,
позво
-
лившее ввести метку
x1
для обозначения произвольного гранулоцита
,
метку
x2
для обозначения ядра клетки
,
и метку
P
1
для обозначения СП
ISSN 0236-3933.
Вестник МГТУ им
.
Н
.
Э
.
Баумана
.
Сер
. “
Приборостроение
”. 2005.
№
3 81
