Эмоции и диспозиционные предикаты

Размещено на http://www.allbest.ru/

Эмоции и диспозиционные предикаты

Синицкий Д.А.,

ИАТЭ НИЯУ МИФИ, г. Обнинск

Аннотация

теория эмоций диспозиционный предикат

Аффективные вычисления и исчисления представляют собой в настоящее время одну из интенсивно развивающихся областей междисциплинарных исследований. Целью статьи является рассмотрение подхода к построению формализованной теории эмоций, развитого голландскими логиками Б. Штейнбринком, М. Дастани и Дж.-Дж. Ч. Мейером, а также анализ этой теории на предмет использования в ней диспозиционных предикатов. Редукционные определения для предикатов наблюдения и диспозиционных предикатов в анализируемой теории эмоций конструируются как определения триггеров эмоций и предикатов переживания эмоций, которые затем редуцируются до выражений языка эпистемической и динамической логик.

Ключевые слова: аффективные вычисления, аффективные исчисления, эмоция, диспозиционный предикат.

Abstract

Я постараюсь показать, что слово «эмоция» используется для обозначения по меньшей мере трех или четырех явлений разного рода, которые я буду называть «наклонностями» (inclinations) (или «мотивами»), «настроениями» (moods), «возбуждениями» (agitations) (или «нервными потрясениями») и «чувствами» (feelings).

Наклонности и настроения, включая возбуждения, не суть события, следовательно, не происходят ни публично, ни приватно. Они являются предрасположенностями (propensities), а не действиями или состояниями. Однако это предрасположенности разного рода, и различия между ними существенны. Чувства, с другой стороны, суть нечто происходящее, но место, которое они должны занимать в описаниях человеческого поведения, весьма отличается от того, которое отводят им стандартные теории. В отличие от мотивов, то подобно болезням и состояниям погоды, настроения или расположения духа представляют собой временные условия, которые определенным образом объединяют события, но сами по себе не являются некими дополнительными событиями.

Гилберт Райл. Понятие сознания Райл Г. Понятие сознания. Перевод с англ. -- М.: Идея-Пресс, Дом интеллектуальной книги, 1999. -- С. 90.

Многие авторы отмечают имеющиеся неопределенности и многозначность в отношении употребления термина «эмоция», а также других терминов, обозначающих различные психоэмоциональные состояния и процессы. Не вдаваясь в подробности психологических дискуссий относительно употребления этих терминов, отметим, что модель OCCиспользует следующие важные допущения в основаниях теории эмоций.

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

Другой отличительной особенностью эмоций является то, что эмоция всегда относится к чему-то (кому-то), вызывается чем-то (кем-то), направлена на что-то (на кого-то), и в этом смысле интенциональна.

Обе эти характеристики использовались в классификационных схемах различных авторов, в том числе и при построении модели OCC(Ортони, Клор и Коллинз отмечают классификации Гросса и Томпсона, а также Оутли и Дженкинса, на которые они опираются).

Третье допущение -- принятие, выражаясь языком психологов, идеаторного характера эмоций. Последнее означает, что эмоции могут соотноситься не только с актуально существующими стимулами и быть направлены на актуально существующие объекты, ситуации и события, но и на воображаемые, предполагаемые, ожидаемые и т. п., однако последние являются, если можно так выразиться, «совозможными» с миром актуально существующих стимулов.

Четвертое допущение предполагает трехаспектную структуру эмоций, укладывающуюся в схему «Оценка -- Переживание -- Регуляция».

Как отмечает Б. Штейнбринк, «...процесс оценки объединяет перцепцию, заинтересованность и индивидуальные параметры, что приводит к набору выявленных (вызванных) эмоций. После присвоения интенсивностей этим вызванным эмоциям (с указанием их силы) результат процесса оценки представляет собой набор новых переживаемых эмоций, которые дополняют существующий набор переживавшихся эмоций. ... Во многих ситуациях можно захотеть регулировать свои эмоции, чтобы уменьшить переживание отрицательных эмоций и продлить переживание положительных эмоций» Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. P. 7..

В модели OCCэмоциональными являются агенты, которые перцептивно и когнитивно воспринимают мир, ставят перед собой цели и целесообразно действуют. Эмоции представляют собой не только многоуровневый реактивный механизм на стимулы, но и механизм управления когнитивным мышлением посредством нейромодуляции (гипотеза соматического маркера Дамасио).

Штейнбринк следующим образом комментирует эту гипотезу: «Дамасио действительно признает, что эмоции иногда могут быть вредными для рассуждений, но жить без эмоций -- удел гораздо худший» Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. P. 3..

В OCCпредполагается, что оцениваться могут: а) последствия событий; б) действия агентов; в) аспекты объектов.

При этом последствия событий оцениваются сообразно принимаемым агентом целям, действия оцениваются сообразно допускаемым агентом стандартам действий, а аспекты объектов оцениваются сообразно отношению к ним агента.

Такое деление дает три типа оценочных значений (оценочных шкал) -- «желательность/нежелательность», «похвальность/порицаемость» и «привлекательность/непривлекательность», и служит одним из оснований деления для получения классификационной иерархии типов эмоций OCC. Допущения 1.4, 1.5 и 1.6 позволяют отнести OCCк так называемым «когнитивно-аксиологическим» теориям эмоций.

Важнейшим допущением OCC(восходящим к идеям Кэррола Изарда) является допущение конечного набора типов эмоций, который можно выявить на основе предыдущих допущений, в первую очередь в зависимости от типа оценки, входящей в структуру эмоции.

OCC содержит такой конечный набор типов эмоций, который структурирован в виде подробной классификационной иерархии, включающей 22 типа эмоций с детальными спецификациями каждого типа эмоций:

радость (joy), горе (distress), радость за другого (happy-for), жалость (pity), обида (resentment), злорадство (gloating), надежда (hope), страх (fear), удовлетворение (satisfaction), подтвердившийся страх (fears-confirmed), облегчение (relief), разочарование (disappointment), гордость (pride), стыд (shame), восхищение (admiration), укоризна (reproach), благодарность (gratitude), гнев (anger), удовольствие (gratification), раскаяние (remorse), симпатия (liking), антипатия (disliking).

Спецификация в OCCкаждого типа эмоций из перечисленных выше состоит из следующих элементов.

1) Типовая метка -- наиболее удобный термин для обозначения эмоций данного типа. Их-то мы как раз и перечислили выше в русском переводе вместе с англоязычным термином первоисточника, не претендуя на уникальность перевода и отдавая отчет в том, что не существует взаимно-однозначного соответствия между множествами эмотивных терминов двух естественных языков. 2) Собственно спецификация типа эмоции -- описание условий, порождающих эмоции данного типа. 3) Список меток -- перечисление эмотивных терминов (эмотивов), используемых для обозначения и характеризации эмоций данного типа. 4) Список параметров, влияющих на интенсивность процесса переживания эмоций данного типа. 5) Иллюстративное описание ситуации, в которой может возникнуть эмоция данного типа.

У Б. Штейнбринка иерархия, образуемая перечисленными типами эмоций (правда, в несколько модифицированном виде), рассматривается как иерархия, порождаемая отношением наследования в терминологии объектно-ориентированного программирования, но с логической точки зрения это, по сути, иерархия понятий, связанных родо-видовым отношением. Мы не будем здесь изображать иерархию в графическом виде, отсылая к источнику¹¹. Отметим только, что эта иерархия, как и критерии ее построения, лежит в основе формализации, обозначенной нами как SDM.

2. Допущения, лежащие в основе SDM Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p.

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

Гилберт Райл. Понятие сознания¹²

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

Б. Штейнбринк следующим образом сформулировал основные вопросы, которые позволяет решить логико-синтаксическая и логико-семантическая формализация неформальных психологических теорий эмоций, и, в частности, формализация модели OCC. Какова структура типов эмоций, пригодная для точного описания в формализованном языке? Как можно строгим и однозначным образом (в формализованном языке) описать условия, порождающие эмоции? Какие аспекты определяют процесс переживания эмоций и как их формализовать? Как можно формализовать влияние эмоций на принятие решений и поведение?

Значимым является также и такое соображение, выдвинутое Б. Штейнбринком, как то, что формализованный логический язык гораздо ближе языку программного кода, чем язык неформальных психологических теорий, и, «таким образом, формализация создает мост от психологических моделей эмоций к вычислительным моделям эмоций»¹³.

Второе допущение, принимаемое авторами подхода SDM, -- это принятие так называемой парадигмы BDI (Belief, Desire, Intention-- Убеждение, Желание, Намерение). Данная парадигма позволяет объяснять поведение агентов через выбор осуществляемых ими действий с использованием трех ключевых понятий: убеждения, желания и намерения. Эта парадигма широко используется для разработки архитектур систем искусственного интеллекта, и ее применение в качестве концептуальной основы для формализации психологических теорий и моделей эмоций кажется вполне оправданным.

Третье, также немаловажное, допущение связано с принятием модели OCCкак наиболее подходящей для ее переопределения в терминах парадигмы BDI. Этому также способствовало наличие детальных спецификаций типов эмоций в модели OCC, Райл Г. Понятие сознания. Перевод с англ. -- М.: Идея-Пресс, Дом интеллектуальной книги, 1999. Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. P. 11. по существу, систематизирующих полуформальным образом как условия порождения эмоций каждого типа (из 22), так и условия их переживания.

Авторами SDMбыла выявлена неоднозначность в трактовках OCC, приводящая к отличающимся друг от друга иерархическим классификационным моделям типов эмоций в зависимости от принимаемых оснований деления эмоций.

С целью устранения неоднозначности авторы SDMостанавливаются на иерархической классификационной модели, где основанием деления выступают вызывающие эмоцию условия, порождающие соответствующую эмоциональную оценку. Б. Штейнбринк как один из авторов SDMспециально обращает внимание на то, что такая иерархия, как и иллюстрирующая ее диаграмма, были согласованы с авторами OCCв личном общении с А. Ортони и Дж. Л. Клором Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. P. 23..

Однако в контексте нашего обсуждения диспозиционности эмоций одним из самых значимых допущений, принимаемых авторами SDM, является четкое проведение различия в структуре эмоциональных эпизодов между начальными условиями, порождающими, или, выражаясь языком авторов SDM, «включающими» эмоцию -- отсюда и их название -- «триггеры» эмоций По этой же причине авторы пользуются такими оборотами речи, как «включенная эмоция», «условия включения эмоций» и т. п. Конечно, можно было бы заменить подобные выражения при переводе другими, скажем, «порожденная эмоция», «условия, инициирующие эмоции» и т. п., но учитывая технический характер приложений обсуждаемого исследования, мы сохранили дословный перевод., и процессом переживания эмоции, причем последнее зависит от интенсивности переживания, зависящей от целого ряда параметров (разных у отличающихся типов эмоций).

Соответственно, такое различие вводится и в синтаксис языка формализма, в котором раздельно определяются предикатные выражения, обозначающие триггеры эмоций различных типов, и предикатные выражения, обозначающие эмоциональное переживание. Далее мы детально опишем синтаксис SDMв «русифицированном» нами варианте (для удобства прочтения и ассоциирования), в отличие от беглого описания нами базовых семантических конструкций, для которых мы оставим в силу их абстрактного теоретико-множественного характера первоначальные авторские обозначения.

Триггеры эмоций синтаксически конструируются из предикатных констант (предикаторов)¹⁶ -- Позитив^Т, Негатив^Т, Одобрение^Т, Неодобрение¹", Довольство¹, Недовольство¹, Симпатия¹, Антипатия¹, Надежда¹, Страх¹, Радость¹, Горе¹, Гордость¹, Стыд¹, Восхищение¹, Укоризна¹, Удовольствие¹, Раскаяние¹, Благодарность¹, Гнев¹, Удовлетворение¹, Подтвердившийся-страх¹, Облегчение¹, Разочарование¹, Радость-за-другого¹, Жалость¹, Обида¹, Злорадство¹, -- а также индивидных констант и переменных, в стандартной функциональной записи с помощью скобок обозначающих приложение предикатора (как функтора) к аргументам. Аргументы (индивидные константы и переменные) могут быть различных сортов и даже типов, о чем будет сказано ниже подробнее.

Выражение Эмоция¹ относится к выражениям метаязыка и используется как метапеременная для обозначения любой из перечисленных выше предикатных констант. Верхний индекс «1» указывает на то, что предикатные константы используются для построения триггеров эмоций. Перечисленные предикатные константы отличаются друг от друга не только сортом и типом возможных аргументов, но и местностью, однако всегда одним из возможных аргументов является индивидная константа, указывающая на какого-либо агента, или индивидная переменная, «пробегающая» по множеству агентов, обычно она у авторов SDM(по соглашению) синтаксически выглядит как приписанный предикатной константе нижний индекс. Здесь мы используем термины «предикатор» и «предикатная константа» как синонимичные (поскольку в синтаксисе формализма нет предикатных переменных) и отличающиеся от термина «предикат». Если определять последний точно, то это правильно построенная формула в языке исчисления предикатов, содержащая свободные (не связанные кванторами) индивидные переменные того или иного типа и сорта. Такие формулы строятся стандартным для языка исчисления предикатов образом: определяется понятие термина; простые термины -- это индивидные константы или индивидные переменные, составные термины строятся из простых терминов и функциональных констант (и функциональных переменных, если они есть); атомарные формулы получаются из предикаторов и терминов с помощью опять-таки стандартного функционального способа записи, когда предикатор выполняет роль функтора или оператора, индивидные переменные или константы, а возможно, и более сложно построенные термы -- роль аргументов, а сама операция приложения оператора к аргументам изображается с помощью скобок; сложные формулы получаются из более простых с помощью пропозициональных связок или с помощью кванторов. В силу модального характера многих выражений из синтаксиса формализации SDMони могут иметь двоякую трактовку -- их можно рассматривать и как предикаты, и как модальные операторы. Ситуация усложняется еще и тем, что язык формализации SDM, а это язык комбинированной логики, по всей видимости, разрабатывался таким образом, чтобы быть практически полезным (или реализуемым) на основе парадигм логического программирования. В этом случае приходится учитывать, как можно сконструировать модальные операторы в терминах языка логики предикатов, используемого в качестве средства программирования. Авторы SDMсами используют различную терминологию для получаемых синтаксических конструкций -- «триггер» (только применительно к перечисленным выше), «конструкт», «оператор» и даже «макрос». Мы далее будем использовать термин «предикатор», учитывая то, что предикаторы можно рассматривать как функторы, участвующие в синтаксическом построении и предикатов, и замкнутых формул (не содержащих свободных переменных), и модальных операторов, и операторов языка (логического) программирования.

Более подробно семантику и, соответственно, онтологические допущения, лежащие в основе SDM, мы обсудим ниже.

Соответственно, выражения метаязыка «i» и «j» используются как метапеременные для обозначения индивидных констант или переменных, указывающих на агентов (принимающих значения из некоторого фиксированного множества агентов); «а» и «Я» используются как метапеременные для обозначения индивидных констант или переменных, указывающих на действия; «п» -- как метапеременная для обозначения индивидных констант или переменных, указывающих на планы, конструируемые из действий; «i:a» и «i:Я» как метапеременные для обозначения индивидных констант или переменных, указывающих на действия и планы, выполненные указанными агентами; «с» -- как метапеременная для обозначения индивидных констант или переменных, указывающих на «последствия событий»; «X» и «Y» -- как метапеременные для обозначения индивидных констант или переменных произвольного типа и сорта. Например, выражение вида Одобрение^Ті(]':а) читается как «эмоция одобрения агента j за выполненное им действие а включилась у агента i». В силу того, что в записи Одобрение^': а) используются метапеременные, мы и говорим «выражение вида», а не просто «выражение».

Двадцати восьми триггерам эмоций соответствуют предикаты переживания эмоций, конструируемые синтаксически аналогичным образом из двадцати восьми предикатных констант, отличающихся от перечисленных выше только отсутствием верхнего индекса «Т». Если Эмоция^Тесть предикатная константа (предикатор), используемая для синтаксического построения триггера эмоций, то Эмоция есть предикатная константа (предикатор), используемая для синтаксического построения предиката переживания эмоций. Соответственно, выражение вида Одобрение^Ті(':а) читается как «эмоция одобрения агента j за выполненное им действие а переживается агентом i», или, по-другому, «агент i испытывает эмоцию одобрения в отношении агента j за выполненное агентом j действие а».

Триггеры эмоций, как и предикаты переживания эмоций, являются определяемыми понятиями в рамках SDM. Поскольку понятия, соответствующие триггерам эмоций, образуют родо-видовую иерархию, авторы SDM конструируют систему определений, начиная с триггеров, соответствующих наиболее общим понятиям, и распространяя систему определений на триггеры, соответствующие видовым понятиям, добавляя в состав дефиниенсов отличительные признаки См. определения (3.1.) -- (3.31) вSteunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p.. Аналогичным образом (от корня классификационного дерева к его листьям) определяются и предикаты переживания эмоций.

Триггеры эмоций определяются в терминах предикатов перцептивного восприятия и в терминах предикатов оценки Изпоследнихконструируютсядефиниенсыопределений (3.1.) -- (3.31)

уБ. Штейнбринка., поэтому в синтаксис добавляются следующие предикатные константы:

а) для конструирования предикатов перцептивного восприятия: Перцепция,

Перцепция Последствий, Перцепция Действий, Перцепция Объектов,

Перцепция Связи;

б) для конструирования предикатов оценки: Желательно, Нежелательно, Достойно Похвалы, Заслуживает Порицания, Привлекательно, Непривлекательно;

в) дополнительные предикатные константы, позволяющие конструировать предикаты, являющиеся терминами парадигмы BDI: Ожидается-в-Будущем, Ожидается Сейчас, Когнитивно Объединено, Подтверждает, Отвергает,

Предполагает;

г) темпоральный оператор Было-или-Есть-истинно.

В этих терминах конструируются дефиниенсы определений (3.1.) -- (3.31) в работе Б. Штейнбринка «Логическая структура эмоций» Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p..

Как утверждает Б. Штейнбринк -- и это, конечно же, еще одно допущение в основаниях формализма SDM, -- «если спецификации... точны, то порождающие условия для типов эмоций модели OCCстроятся с помощью не более чем семнадцати представлений, сформулированных в нашей формализации на основе семнадцати конструктов, указанных выше» Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. P. 57..

Здесь следует отметить, что в качестве одного из допущений авторы SDMпринимают тезис, в целом характерный для оснований когнитивной психологии, в соответствии с которым отождествляется перцептивное ощущение и осознание субъектом этого ощущения. Для этого авторы используют достаточно многосмысленный глагол «toperceive» (и производные от него), который можно перевести не только как «воспринимать», «чувствовать», «ощущать», но и как «понимать», «осознавать», «постигать». Отсюда -- оригинальные названия таких предикаторов, как Perceive, PerceiveConseq, PerceiveAction, PerceiveObject, которые мы «русифицировали» выше (см. п. 2.10, подп. а)), используя термин «перцепция». В примечании 4 на стр. 7. своей диссертации Б. Штейнбринк пишет: «Поскольку нас интересуют эмоции, возникающие в результате когнитивных оценок, мы будем рассматривать только когнитивные результаты перцепции» Steunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. P. 7..

Обобщенные предикаты положительной и отрицательной оценок строятся с помощью предикатных констант Хорошо и Плохо и определяются как дизъюнкции следующего вида Определения (3.4.) и (3.5.) вSteunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p..

Опр. 1:

Хорошоі(Х) =df

=dfЖелательно i(X) vДостойноПохвалы i(X) vПривлекательноі(Х)

«Агент iоценивает Xкак «хорошо», по определению это означает, что агент iоценивает X как желательное последствие какого-то события, или как достойное похвалы действие, совершенное им самим или другим агентом, или как привлекательный объект (аспект объекта)», соответственно, X -- метапеременная для обозначения индивидной константы или индивидной переменной одного из трех сортов -- сорт «последствия событий», сорт «агент-действие», сорт «объект».

Опр. 2:

Плохоі(Х) =df

=dfНежелательноі(Х) v ЗаслуживаетПорицанияі(Х) v Непривлекательноі(Х)

«Агент i оценивает X как «плохо», что по определению означает, что агент i оценивает X как нежелательное последствие какого-то события, или как заслуживающее порицания действие, совершенное им самим или другим агентом, или как непривлекательный объект (аспект объекта)», соответственно, X -- по-прежнему метапеременная для обозначения индивидной константы или индивидной переменной одного из трех сортов -- сорт «последствия событий», сорт «агент-действие», сорт «объект».

Обобщенный предикат перцептивного восприятия конструируется с помощью предикатной константы Перцепция (см. выше) как дизъюнкция предикатов следующего вида Определение(3.3.) вSteunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p..

Опр. 3:

Перцепцияі(Х) =df

=df ПерцепцияПоследствийі(Х) v ПерцепцияДействийі(Х) v

v ПерцепцияОбъектов^Х)

«Агент i перцептивно воспринимает X, что по определению означает, что агент i перцептивно воспринимает либо последствие события, либо действие, либо объект».

Триггеры позитивной и негативной эмоций, соответствующие наиболее общим понятиям и стоящие в корне родовидовой иерархии, определяются в терминах предикатов перцепции и оценки как конъюнкции следующего вида Определения (3.1.) и (3.2.) вSteunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p..

Опр. 4:

«Положительная эмоция включается у агента iотносительно X, что по определению означает, что агент i перцептивно воспринимает X и оценивает X как «хорошо».

Опр. 5:

«Отрицательная эмоция включается у агента i относительно X, что по определению означает, что агент i перцептивно воспринимает X и оценивает X как «плохо».

Видовые триггеры специфицируются в системе определений SDM с помощью дополнительных предикатов, выполняющих роль отличительных признаков в дефиниенсе определений, конструируемых из 17 предикаторов, перечисленных выше. В качестве примеров приведем определения триггеров таких негативных эмоций, как недовольство, горе, страх и подтвердившийся страх Определения(3.7), (3.15), (3.13), (3.25) изSteunebrink Bas. R. The Logical Structure of Emotions. -- SIKS Dissertation Series № 2010-23 Printed by GVO drukkers & vormgevers B. V. j Ponsen & Looijen, Ede. 2010. 228 p..

Опр. 6:

= dfБіф л --і НепосредственноНакануне-истинно (Біф)

Как пишет Б. Штейнбринк, «Ожидается-в-Будущемі(ф) и Ожидается Сейчасі(ф) теперь определены так, что они охватывают оба случая для перцептивного восприятия последствий событий, которые различаются в модели OCC. Это означает, что ПерцепцияПоследствийі(ф), которую мы использовали для выражения того, что агент і перцептивно воспринимает ф как последствие (какого-то) события, может быть определена как дизъюнкция Ожидается-в-Будущемі(ф) и ОжидаетсяСейчасі(ф)»³².

Соответственно, имеем следующее определение Перцепция Последствийі (ф): Опр. 18:

ПерцепцияПоследствий і (ф) =df

=dfОжидается-в-Будущемі(ф) vОжидаетсяСейчасі (ф) =df=df(((Бі Будет-истинным-но-не-сейчас(ф)) л

л--НепосредственноНакануне-истинно (Бі Будет-истинным-но-не-

сейчас(ф))) v

v⁽⁽--^Бі^фл --Бі--ф) л -- НепосредственноНакануне-истинно (--Біф л --^Бі--^ф)))

v

v(Біф л -- НепосредственноНакануне-истинно (Біф))

Теперь, если выполнить до конца последовательность подстановок из дефиниенсов определений, получаем в качестве определения подтвердившегося страха следующее выражение:

Опр. 19:

Подтвердившийся-страх^Т(с) =df=df((((Бі Будет-истинным-но-не-сейчас(с)) л л--НепосредственноНакануне-истинно (Бі Будет-истинным-но-не-сейчас(с))^ v ((--Бі cл --Бі-- c) л -- НепосредственноНакануне-истинно (--Бі cл --Бі-- c)))v v (Бі cл -- НепосредственноНакануне-истинно (Бі c))) л лНежелательно^) л (Бі cл -- НепосредственноНакануне-истинно (Бі c)) л л Было-или-Есть-истинно (((Бі Будет-истинным-но-не-сейчас^')) л

л--НепосредственноНакануне-истинно (Bi Будет-истинным-но-не-

сейчас(с'))) V

v((--Bi c' л--Bi-- c') л -- НепосредственноНакануне-истинно(--Bi c' л--Bi--

0^))v

V (Bi c' л-- НепосредственноНакануне-истинно (Bi c')) л л Нежелательно^') л л ((Bi Будет-истинным-но-не-сейчас^')) л

л-- НепосредственноНакануне-истинно (Bi Будет-истинным-но-не-

сейчас(c'))) V

v((--Bi c' л--Bi-- c') л -- НепосредственноНакануне-истинно (--Bi c' л--Bi--