образования вопросов пользователя прикладной интеллектуальной си
-
стемы в СП
,
являющиеся выражениями СК
-
языков
.
Центральные идеи широко применимой и гибкой формаль
-
ной метаграмматики семантических аннотаций
.
Теория СК
-
языков
является оригинальной теорией фор
-
мального описания структури
-
рованных значений
(
СЗ
)
предложений и сложных дискурсов на ЕЯ
,
представления знаний о мире и целей интеллектуальных систем и опи
-
сания соответствия между ЕЯ
-
текстами и их СЗ
.
Поэтому определение
класса СК
-
языков может интерпретироваться как широко применимая
и гибкая
(
по
-
видимому
,
универсальная
)
формальная метаграмматика
семантических аннотаций Веб
-
документов
.
На основании проведенного системного исследования выразитель
-
ных возможностей ЕЯ и искусственных языков представления знаний о
мире была поставлена задача построения такой модели
,
чтобы ее фор
-
мальные средства позволяли
:
— (
свойство
1)
строить обозначения СЗ как фраз
,
выражающих вы
-
сказывания
,
так и связных повествовательных текстов
;
такие обозна
-
чения обычно называют семантичес
-
кими представлениями
(
СП
)
ЕЯ
-
выражений
;
— (
свойство
2)
строить и различать формальными средствами обо
-
значения СЗ повествовательных текстов
,
СЗ целей
(
выраженных не
-
определенными формами глаголов с зависимыми словами
,
таких как
“
окончить с отличиемМГУ
,
подготовить и защитить кандидатскую дис
-
сертацию по биохимии
”)
и СЗ вопросов
;
— (c
войство
3) c
троить и различать обозначения единиц
,
соот
-
ветствующих а
)
объектам
,
ситуациям
,
процессам в реальном мире и
б
)
понятиям
,
квалифицирующим
(
характеризующим
)
эти объекты
,
си
-
туации
,
процессы
;
— (c
войство
4) c
троить и различать обозначения
: (3.1)
объектов и
множеств объектов
; (3.2)
понятий и множеств понятий
; (3.3)
СП тек
-
стов и множеств СП текстов
;
— (c
войство
5)
различать формальным образом понятия
,
квалифи
-
цирующие объекты
,
и понятия
,
квалифицирующие множества объек
-
тов тех же видов
;
— (
свойство
6)
строить составные обозначения понятий
,
т
.
е
.
стро
-
ить формулы
,
отражающие поверхностно
-
семантическаю структуру
ЕЯ
-
выражений
,
подобных выражению
“
человек
,
окончивший МГУ
имени М
.
В
.
Ломоносова и являющийся биологом или химиком
”;
— (c
войство
7) c
троить объяснения более общих понятий с помо
-
щью менее общих
;
в частности
,
строить цепочки вида
(
a
=
Des
(
b
)
),
где
a
обозначает некоторое понятие
,
которое необходимо объяснить
,
а
76 ISSN 0236-3933.
Вестник МГТУ им
.
Н
.
Э
.
Баумана
.
Сер
. “
Приборостроение
”. 2005.
№
3
