Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Диссертация по мат.семантике.doc
Скачиваний:
16
Добавлен:
07.11.2018
Размер:
2.47 Mб
Скачать

2.1.2. Последовательность классификаций единиц языка

Необходимым условием классификации единиц языка является отсутствие кругов (циклов) в их определении. Последовательность вывода единиц одного уровня через единицы другого записывается следующим образом.

A:=S(Ekb, …),

B:=S(Ajs, …),

C:=S(Bid, …).

Объекты множества {E} будем называть первоэлементами языка, или базисом.

При этом не может иметь место:

B:=S(Ajs, …),

A:=S(Bid, …).

или

A:=S{Cgt, …),

B:=S(Ajs, …),

C:=S(Bid, …).

Иначе говоря, не допускаются круги в определении единиц языка. При переходе от единиц A, B до единицы C и т.д. неизбежен переход к единице E, для которой невозможно записать формулу композиции.

В современных толковых словарях рассматривается множество изолированных друг от друга кластеров синонимов, когда, например, слова в классической словарной статье определяются друг через друга по кругу [4]:

condition := S(state) и state := S(condition).

Либо более сложные циклы:

Happiness:=S(joy), joy:=S(satisfaction, happiness), satisfaction:=S(content), content:=S(happiness, satisfaction)

В настоящей работе предлагается система классификаций, которая позволяет дать определение словам языка, избегая кругов в определении, для этого при последовательном сведении единиц языка друг к другу вводится специальный базис смысловых классификаций – множество {Es}. В следующей главе показаны средства задания классификаций в рамках предложенных принципов, что позволяет свести базис определений до одного единственного понятия «тождество» [16, 68].

2.1.3. Определение базиса понятийного аппарата словарных дефиниций

До сих пор толковые словари сводили все слова языка к специально отобранному множеству языка из одной-двух тысяч слов. Так, например, словарь Longman’s English Dictionary описывает язык двумя тысячами слов.

В работе предлагается в целях формализации не вводить никаких семантически нагруженных единиц, кроме объекта, отрицания и тождества. Общая схема определения имеет вид, как уже говорилось:

Ak:= S(Bi1, …, Bif, Tj1, …, Tjv, Ng1, …,Ngp).

При этом в части S(Bi1, …, Bif, Tj1, …, Tjv) определяется новый дефинитивный признак, а множество S(Ng1, …,Ngp) определяет разбиение по этому признаку и его аспектам множества значений этого нового признака на подмножества {(Ngh), (Ngh), (Ngh)}, где (Ngh) означает, что отрицание (Ngh) не определено. В результате интеллектуальная система может рассматривать не отдельные единицы языка, а классификацию единиц языка в целом. Классификация предлагаемого типа помогает максимально компактно записать определения семантических единиц, что должно значительно упростить поиск информации для обеспечения функционирования ЕЯ интерфейса. При этом можно построить такую формулу S(Bi1, …, Bif, Tj1, …, Tjv), которая является единой формулой для определения единиц всей классификации. Понятия, определяемые этой формулой, отличаются лишь множеством S(Ng1, …,Ngp), индивидуальным для каждого понятия этой классификации, за исключением полных синонимов. Отвлекаясь от значения формулы S(Bi1, …, Bif, Tj1, …, Tjv), можно представить последовательность аргументов S(Ng1, …,Ngp) как вектор семантических признаков G = <G1, G2, …Gp>, где G1, G2, …Gp есть отрицаемые элементы преобразования S(Ng1, …,Ngp). Такой вектор легко использовать для определения позиции слова или групп слов в классификации. Использование вектора семантических признаков позволяет получить формальное представление для любого компонента или осмысленного множества компонентов объекта-классификации.