Ю.И. Бутенко, И.В. Шостак
6
В процессе анализа НБ были выделены следующие верхние клас-
сы: действия (подписывать, транспортировать, проверять, произво-
дить), деятельности (управлять, руководить, проектировать, разра-
батывать), процессы (храниться), положения в пространстве (разме-
щать), параметры (весить).
К морфологическим свойствам глаголов языка стандартов и язы-
ка ТД относят: изъявительное наклонение, несовершенный вид, дей-
ствительный или страдательный залог. В большинстве предложений
языка стандартов и ТД глаголы используются в настоящем времени.
Формальное представление обобщенной модели ЯСЦ языко-
вых объектов типа НБ и ТД ПО.
Обобщенная модель ЯСЦ должна
обладать достаточной универсальностью, в частности быть пригод-
ной для сжатия текстовой семантической информации, являясь осно-
вой построения моделей для экспертной системы поддержки приня-
тия решений СА при экспертировании ПО.
Начальный этап создания модели ЯСЦ состоит в выборе множе-
ства базовых категорий. К базовым в данном случае необходимо от-
нести следующие категории: «предмет», «свойства предмета», «от-
ношение предмета к другим предметам».
Анализ базовой категории «предмет».
Представим базовую кате-
горию «предмет» в виде множества
1 2
, , ...,
,
k
Q Q Q Q
где
Q
1
— основной предмет;
Q
2
, ...,
Q
k
— вспомогательные (взаимо-
действующие) предметы.
Представление предмета в виде множества предметов позволяет
формулировать сложные запросы одновременно в одном запросе и
выражает потребность пользователя в двух, трех и т. д. равных по
значимости предметах.
В общем случае наличие нескольких предметов в модели ЯСЦ
позволяет формально осуществить поиск по любому из них или по
сочетанию нескольких, не отдавая предпочтения тем или иным пред-
метам.
Анализ базовой категории «свойства предмета».
Обозначим че-
рез
J
множество свойств предмета. Тогда
1 2
,
,
J J J
где
J
1
,
J
2
— качественная и количественная определенности.
