Scientific journal
Modern high technologies
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

MATHEMATICAL MODELS OF COMPLEX EMOTIONS AND INTEGRATED EDUCATION OF THE ROBOT

Penskiy O.G. 1, 2 Anisimova S.I. 1
1 Perm State National Research University
2 Perm State Agrarian-Technological University named after Academician D.N. Pryanishnikov
The article presents mathematical models of complex emotions and integrated education of robots, which are a generalization of individual emotions and education. It is also shown that the ambivalent emotions of robots are a special case of complex emotions. The parity of the number of components of the complex emotions of robots is substantiated. The article proposes an approach to modeling the emotions of robots, based on the fact that the robot, with its any reaction to external stimuli, stimulates not individual emotions, but complex emotions. The article proposes an approach to describe the complex emotions and complex education of robots based on the principles of linear algebra. Based on the model of integrated education of robots, a classification of emotional stupas of the robot based on the number of so-called paired emotional stupas of the robot is given. Theorems that describe a necessary condition for the onset of a local and universal stupor of a robot are proved. The article proposes a simple algorithm for determining paired, local and universal emotional stupor of the robot, provided that the vector of integrated education of the robot is known. A paired stupor of complex educations of uniformly forgetful robots with equivalent emotions is considered in more detail, equations are given that make it possible to predict the onset of paired stupors of a robot and allow us to calculate the number of educational strokes of a robot depending on its memory coefficients. The proposed mathematical models of complex emotions of robots and complex educations can be used when designing robots with given «psychological» properties and building predictions of the behavior of robots based on the specified properties.
robot
robot upbringing
mathematical modeling
robot emotions
emotional stupor
complex emotions

Моделированием эмоций роботов в РФ начали заниматься относительно недавно. Однa из первых научных публикации по этой теме появилась в РФ в середине 1960-х гг. [1], но эта работа была посвящена математизации так называемых одиночных эмоций человека. В работе [2] описаны модели амбивалентных эмоций роботов. И лишь в 2016 г. сделана первая попытка математической формализации комплексных эмоций [3] роботов, при этом предполагалось, что комплексные эмоции роботов определяются вектором penck01.wmf, который имеет вид

penck02.wmf (1)

где penck03.wmf – базовая эмоция робота, аналогичная базовой эмоции человека [4], n – количество базовых эмоций в комплексной эмоции робота, j – порядковый номер такта [5]. Отметим, что для представления комплексной эмоции в виде (1) вводится допущение о том, что все базовые эмоции имеют единую шкалу измерения.

Настоящая статья посвящена построению и исследованию моделей комплексных эмоций и воспитаний робота.

Комплексная эмоция робота с точки зрения векторной алгебры

Вектор penck04.wmf можно расписать в виде суммы векторов:

penck05.wmf,

где

penck06.wmf

Очевидно, что в пространстве таких векторов существует базис

penck07.wmf

Таким образом, справедливо равенство

penck08.wmf,

и для комплексных эмоций робота выполняются правила векторной алгебры [6].

Будем предполагать, что базовые эмоции роботов удовлетворяют соотношениям

penck09.wmf,

где k – нечетные целые числа.

Приведенные выше неравенства можно описать формулой

penck10.wmf.

Таким образом, можно сделать вывод о том, что количество компонент в комплексной эмоции робота всегда равно четному числу. Нетрудно заметить, что комплексные эмоции являются вектором амбивалентных эмоций робота [3], расположенных друг за другом в записи комплексной эмоции робота.

Комплексное воспитание робота

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

penck11.wmf,

где penck12.wmf – воспитание робота, получаемое в результате действия эмоции с порядковым номером i на такте j. Согласно введенному выше правилу эмоции с нечетным индексом положительные, с четным – отрицательные.

Согласно работе [5] воспитание робота penck14.wmf представляется в виде

penck16.wmf,

где j – порядковый номер такта; tj-1, tj – время начала и конца такта j соответственно; penck17.wmf элементарное воспитание робота, полученное на такте j, penck18.wmf; penck19.wmf – воспитание полученное роботом за время действия эмоции на такте j; penck20.wmf – коэффициент памяти робота [5].

Ступоры робота по комплексным эмоциям

Согласно работе [5] cтупором называется состояние неопределенности робота при эмоциональном выборе. В работах [5, 7] предложены математические модели ступоров для некомплексных воспитаний робота R1 и R2, при этом ступор описывается единственным образом с помощью следующего соотношения:

penck21.wmf.

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

1. Парный ступор.

2. Локальный ступор.

3. Всеобщий ступор.

Рассмотрим математические модели каждого из этих видов ступора.

Парный ступор возникает тогда, когда существует хотя бы одно такое нечетное значение величины i, что справедливо равенство

penck22.wmf. (2)

Локальный ступор – это ступор, при котором существует несколько таких нечетных значений величины i, что для этих значений справедливы соотношения (2).

Очевидно, что несколько парных ступоров могут породить локальный ступор.

Теорема 1. Если существует локальный ступор для воспитаний с нечетными номерами i и k, то сумма воспитаний с этими номерами и номерами i + 1, k + 1 равна нулю.

Доказательство. Так как согласно условию теоремы 1 справедливы соотношения

penck23.wmf, (3)

penck24.wmf, (4)

то, суммируя равенства (3) и (4), получим формулу

penck25.wmf, (5)

где k ≠ i, i, k – нечетные.

Соотношение (5) доказывает теорему 1.

Всеобщим ступором назовем такой ступор, при котором для всех нечетных величин i справедливы равенства

penck26.wmf. (6)

Теорема 2. Если наблюдается всеобщий ступор, то сумма всех компонент комплексного воспитания равна нулю.

Доказательство. В силу условия теоремы 2 справедливы соотношения (6), суммируя которые получаем формулу

penck27.wmf, penck28.wmf. (7)

Очевидно, что равенство (7) доказывает теорему 2.

Для компьютерной реализации определения вида ступоров в комплексном воспитании можно предложить следующий простой алгоритм:

1. Комплексное воспитание разбивается на компоненты, являющиеся соседними ненулевыми парами, таким образом, чтобы минимальный порядковый номер компоненты, начиная с единицы, был нечетным.

2. Суммируются воспитания каждой пары.

3. Определяются номера тех пар, чье суммарное воспитание равно нулю.

4. Выводятся на печать пары с нулевой суммой воспитаний.

5. Делается вывод: Если количество таких пар равно 1, то присутствует парный ступор; если количество пар больше 1, но меньше penck29.wmf, то присутствует локальный ступор; если количество пар равно penck30.wmf, то присутствует всеобщий ступор.

6. Конец.

Парный ступор равномерно забывчивых роботов с равноценными эмоциями

Таким образом, теорема 1 и теорема 2 формулируют необходимые условия для локального и всеобщего ступоров соответственно.

В работе [5] для равноценных эмоций равномерно забывчивых роботов доказана теорема о том, что существуют антиступорные коэффициенты памяти [8], то есть такие коэффициенты, при которых у робота никогда не наступит ступор. Обобщая работу [5] для комплексных воспитаний, можно сказать, что такими коэффициентами памяти являются, например, следующие числа – для воспитаний с нечетным номером i – коэффициент памяти, равный penck31.wmf при одновременном равенстве penck32.wmf коэффициента памяти у воспитаний с номером i + 1 или наоборот.

Рассмотрим равномерно забывчивых роботов с парными одинаковыми по моделю равноценными эмоциями. Пусть рассматриваемая пара компонент-воспитаний комплексного воспитания имеет номера i и i + 1. Тогда по определению равномерно забывчивых роботов с равноценными эмоциями [5] справедливы соотношения

penck33.wmf, penck34.wmf,

penck35.wmf, penck36.wmf.

Вставляя эти обозначения в условие парного ступора, получим цепочку равенств:

penck37.wmf

penck38.wmf

penck39.wmf

penck40.wmf (8)

Так как при введенных допущениях моделей равномерно забывчивые роботы имеют равноценные эмоции, то справедливы соотношения [5]:

penck41.wmf

penck42.wmf

из которых для описания ступора согласно формуле (8) следует равенство

penck43.wmf. (9)

В силу определения ступора справедливо равенство

penck44.wmf. (10)

Численные эксперименты, проведенные на основе решения системы уравнений (9)–(10) при заданных величинах j, меняющихся согласно правилу penck45.wmf, показывают, что решением уравнений (9)–(10) являются любые коэффициенты памяти, удовлетворяющие равенству penck46.wmf.

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

В работе [5] введено понятие антиступорных коэффициентов памяти, т.е. коэффициентов, при которых ни при каком значении j не являются справедливыми равенства (9) и (10).

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

Предположим, что парный ступор возникает при предельном воспитании [5] робота. В этом случает равенство (10), описывающее парный ступор, примет вид

penck47.wmf. (11)

Нетрудно заметить, что соотношение (11) влечет формулу

penck48.wmf. (12)

Очевидно, что при справедливости равенства (12) всегда справедливо соотношение (9). Это позволяет сформулировать теорему 3:

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

Заключение

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