Ю.И. Бутенко, И.В. Шостак
8
При
n
= 0 предикат совпадает с высказыванием; при
n
= 1 преди-
кат представляет собой свойство в узком смысле (одноместный пре-
дикат); при
n
= 2 — свойство пары (двухместный предикат, или би-
нарное отношение); при
n
= 3 — свойство тройки (трехместный пре-
дикат или тернарное отношение) и т. д. Выражения «
х
— оператор
программы», «
х
принадлежит
у
»; «
х
— часть
у
и
z
» служат соответ-
ственно примерами одно-, двух- и трехместного предикатов.
Формальной основой модели является матрица, в которой по вер-
тикали расположены аспекты (категории), количественно отобража-
ющие посредством знаков полноту представления семантической
информации (далее — полнота), по горизонтали — позиции, количе-
ственно отображающие посредством знаков точность представления
семантической информации (далее — точность).
Введем для дальнейших рассуждений понятие «аспект»
, ха-
рактеризующий определенное свойство объекта и не поддающийся
дальнейшему смысловому делению. В математической интерпрета-
ции аспект представляет собой кортеж знаков (букв, слов, символов и
др.), длина которого может быть произвольной. Так, кортежем длины
n
является запись вида
1 2
, ,...,
,
n
a a a
где
а
1
,
а
n
— первая и последняя компоненты соответственно.
Применительно к текстовой форме семантической информации
аспекты представляются кортежами знаков типа букв, цифр, симво-
лов из различных алфавитов: русского, латинского, греческого, спе-
циального.
Свойство аспекта быть кортежем подтверждается следующим его
свойством:
{
:
( )},
i
i
i
a
a R a
где
( )
i
R a
— отношение «быть упорядоченным по местам». При
1
min
, max = , = 1, .
n
a
a i
n
(
){ ( )
( )},
i
i
i
i
а а
Q а Q а
где
Q
(
а
i
) — отношение «быть одинаковыми».
Действительно, в названии аспекта или его значении знаки (бук-
вы, цифры и др.) могут быть одинаковыми и разными.
В информационном плане аспект является элементом слова
С
:
:
.
i
i
i
а а
а C
