Семантическая модель языковых объектов для автоматизации процесса сертификации систем критического применения - page 7

Семантическая модель языковых объектов для автоматизации процесса…
7
Представим качественную определенность предмета в виде мно-
жества, состоящего из четырех элементов:
J
1
= {
N
1
,
N
2
,
N
3
,
N
4
},
где
N
1
— функциональное назначение;
N
2
— область применения;
N
3
— отличительный признак;
N
4
— принцип действия (взаимодей-
ствие элементов, обеспечивающих выполнение заданной функции).
Совокупность свойств, указывающих на размеры предмета и дру-
гие параметры, составляет его количество.
Таким образом, количественную определенность предмета мож-
но характеризовать его структурой и параметрами. Тогда количе-
ственная определенность представим в виде множества с двумя эле-
ментами:
 
2
1 2
,
,
J F F
где
F
1
— структура предмета;
F
2
— параметры предмета.
Естественно, что предмет имеет множество параметров
2
21 22
,
, ... .
F F F
Качество и количество неразрывно связаны между собой и обра-
зуют меру как определенный диапазон, в котором тот или иной па-
раметр модели ЯСЦ имеет допустимое значение.
Для обеспечения гибкости модели ЯСЦ необходимо включить в
ее состав обобщенный аспект дополнительных сведений. С его по-
мощью можно отразить запросы по другим свойствам предмета.
Таким образом, категорию свойства каждого предмета, представ-
ленного в модели ЯСЦ, можно записать в виде
1 2 3 4 1 2
, , , , , ,
,
J N N N N F F D
где
D
— дополнительные сведения.
Анализ базовой категории «отношение предмета к другим пред-
метам».
Как известно, отношение — категория, характеризующая
взаимозависимость элементов определенной системы; оно имеет
объективный и универсальный характер.
Формальное описание отношений в естественных и искусствен-
ных языках для повествовательной формы выражений принято осу-
ществлять предикатами. В обобщенном виде, предикат от
n
перемен-
ных (от
n
неопределенных терминов или слов) представляется в виде
зависимости
0 1 2
( , , ,..., ),
0.
n
P х x x x n
1,2,3,4,5,6 8,9,10
Powered by FlippingBook