Формальная модель семантики пословицы

Формальная модель описана в синтаксисе языка ПРОЛОГ, поскольку он содержит логический аппарат вывода знаний, прост и удобочитаем для человека. Одновременно с этим был разработан графический язык диаграмм, призванный облегчить визуальное восприятие модели. Между графическими диаграммами и записями на языке ПРОЛОГ существует взаимнооднозначное соответствие.

Базовые элементы модели

Базовыми объектами модели являются единицы, имеющие бинарную структуру, или оппозиции. Это понятия (как правило, абстрактно характеризующие человека или некоторые внешние обстоятельства) с двух сторон — позитивно и негативно. Оппозиции описываются предикатом:

oppos (Meta, Positive, Negative).

где Meta — семантический маркер оппозиции,.

Positive — понятие с позитивной оценкой,.

Negative — понятие с негативной оценкой Маркер Meta указывает, к какой из двух сфер (характеристика человека, либо внешних обстоятельств) относится оппозиция, и принимает значения «man» или «univ» соответственно. К характеристикам человека относятся такие понятия как добродетель/порок, труд/безделье, знания/глупость, помощь/вред, воля/покорность и другие. К независящим от человека обстоятельствам и последствиям его поступков: неудача/успех, доход/убыток, удовольствие/страдание честь/позор и др.

Примеры: oppos («man» ," труд" ," безделье").

oppos («univ» ," успех" ," неудача").

В графической записи оппозиции описываются двумя расположенными одна над другой окружностями. Верхняя окружность соответствует позитивному элементу оппозиции, а нижняя — негативному.

В модели предикаты oppos (M, P, N) задаются списком фактов.

Базовым отношением модели является маркированное отношение между двумя оппозициями. Оно описывается предикатом:

link (rel (Mr, O, А), oppos (M1, P1, N1), oppos (M2, P2, N2), config (Mc, T, R)).

где rel (Mr, O, А) — семантический маркер отношения,.

oppos (M1, P1, N1) и oppos (M2, P2, N2) — две оппозиции,.

config (Mc, T, R) — конфигурация: стандартное распределение.

±-оценок оппозиций, входящих в отношение.

Значениями аргументов Omega и Alpha семантического маркера rel (Meta, Omega, Аlpha), являются константные пары вида часть-целое, форма-содержание, мнимо-реально и др. (уподобления).

В графической записи две оппозиции находятся рядом, и каждая из них соотносится с одной из частей маркера rel (Meta, Omega, Аlpha).

Как правило, в отношении одна из оппозиций занимает доминирующую позицию (целое доминирует над частью, содержание — над формой и т. п.). В графической схеме расстояние между полюсами у доминирующей оппозиции больше, чем у субдоминантной. Тип отношения (равнозначное/ доминирующее) отражает первый аргумент предиката rel (Meta, O, А), принимающий значения: «domin» или «euqiv» .

Предикат config (Meta, Type, Result) служит для обозначения конфигурации (взаимного расположения) ±-оценок оппозиций в высказывании: ++,±, -+, — -. Кроме того, он включает итоговую оценку высказывания — аргумент Result, принимающий значения «plus» (одобрение, оправдание) или «minus» (осуждение, констатация несправедливости). Аргумент Meta, также как и в предикате rel (Meta, O, А) указывает на тип отношения: «domin» или «euqiv». Конфигурация является независимым параметром в отношении и несет самостоятельную смысловую нагрузку.

Рассмотрим пример отношения.

Семантика: Человек с виду добродетельный в действительности может оказаться дурным.

link (R, O1, O2, C) :

R = rel («domin», «форма» ," содержание"),.

O1 = oppos («man» ," добродетель" ," порок"),.

O2 = oppos («man» ," добродетель" ," порок"),.

C = config («domin», «and», «minus»).

Графическая схема:

Здесь оппозиция, помеченная маркером форма, принимает положительное значение, однако она оказывается в субдоминантной позиции по отношению к оппозиции, помеченной маркером содержание, имеющей негативное значение. Итоговая оценка высказывания — негативная.