автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.17, диссертация на тему:Исследование методов, разработка моделей и алгоритмов формирования элементов знаковой картины мира субъекта деятельности
Автореферат диссертации по теме "Исследование методов, разработка моделей и алгоритмов формирования элементов знаковой картины мира субъекта деятельности"
На правах рукописи
Панов Александр Игоревич
Исследование методов, разработка моделей и алгоритмов формирования элементов знаковой картины мира субъекта деятельности
Специальность: 05.13.17 —Теоретические основы информатики
Автореферат диссертации на соискание учёной степени кандидата физико-математических наук
1 5 АПР 2015
005567200
Москва-2015
005567200
Работа выполнена в лаборатории «Динамические интеллектуальные системы» Федерального государственного бюджетного учреждения науки Институт системного анализа Российской академии наук.
Научный руководитель:
Официальные оппоненты:
Ведущая организация:
Осипов Геннадий Семёнович, доктор физико-математических наук, профессор
Редько Владимир Георгиевич, доктор физико-математических наук, профессор, Федеральное государственное бюджетное учреждение науки Научно-исследовательский институт системных исследований Российской академии наук, заместитель руководителя Центра оптико-нейронных технологий
Кузнецов Сергей Олегович, доктор физико-математических наук, профессор, Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Национальный исследовательский университет "Высшая школа экономики"», руководитель Департамента анализа данных и искусственного интеллекта
Федеральное государственное бюджетное учреждение науки Институт проблем управления им. В. А. Трапезникова Российской академии наук
Защита состоится «21» мая 2015 г. в 13 часов 00 минут на заседании диссертационного совета Д 002.017.02 в Федеральном государственном бюджетном учреждении науки Вычислительный центр им. А. А. Дородницына Российской академии наук по адресу: 119333, Москва, ул. Вавилова, д. 40 (конференц-зал).
С диссертацией можно ознакомиться в библиотеке ВЦ РАН и на официальном сайте ВЦ РАН: http://www.ccas.ru/.
Автореферат разослан « 3» апреля 2015 г.
Ученый секретарь
диссертационного совета Д 002.017.02 доктор физико-математических наук
Рязанов В. В.
Общая характеристика работы
Актуальность темы исследования. Исследования картин мира (КМ) субъектов деятельности принадлежат одному из центральных направлений в когнитивной психологии. Высшие психические функции, в том числе связанные с приобретением и использованием знаний, являются, в широком смысле, продуктом работы КМ субъекта. Исследованию большого числа процессов, протекающих в КМ, в том числе высших когнитивных, таких как категоризация и обобщение, целеполагание, планирование, принятие решения, творческие синтез и анализ, было посвящено значительное число работ на протяжении всей истории психологической науки. Следует отметить работы по восприятию Дж.А. Фодора (J.A. Fodor), Б. Юлеза (В. Julesz), Дж. Е. Каттинга (J. Е. Cutting), С. Гроссберга (S. Grossberg), А. Р. Лурия, Б.М. Величковского, В. П. Зинченко и памяти С. Стернберга (S. Sternberg), Л. Джакоби (L. Jacoby), Р. Аткинсона (R. Atkinson), Р. Шиффрина (R. Shiffrin), Е. Тулвинга (Е. Tulving).
В последнее время исследованию когнитивных функций человека уделяется большое внимание не только в самой психологии, но и в нейрофизиологии и в искусственном интеллекте. Нейрофизиологи основной своей задачей ставят поиск нейронного субстрата психических функций. При этом в качестве основного инструмента здесь выступает картирование участков коры головного мозга и отслеживание динамики активности различных участков при выполнении той или иной когнитивной задачи. Большое количество накопленного фактического материала используется доя подтверждения целого ряда разрозненных моделей отдельных психических функций. Примерами могут служить работы по моделям внимания Я. Б. Казановича, С. Фринтропа (S. Frintrop), С. Коха (С. Koch), Л. Итти (L. Itti), Дж.К. Сосоза (J.K. Tsotsos), А. Торралба (А. Torralba), Л. Жэнга (L. Zhang), P.A. Ренсинка (R.A. Rensink). Единого аппарата для построения таких моделей на данный момент не существует, хотя имеется ряд работ Б. Дж. Баарса (В. J. Baars), Р. Сана (R. Sun), Дж. Хокинса (J. Hawkins), которые можно считать первыми попытками их создания.
Искусственный интеллект в начале своего становления как науки использовал для построения интеллектуальных алгоритмов данные психологов. Однако спустя некоторое время психологические соображения уже перестали рассматриваться как определяющие при разработке того или иного алгоритма. Центральное место стали занимать вопросы вычислительной эффективности и специализации в той или иной предметной области. В связи с тем, что в большинстве интеллектуальных систем в настоящее время требуется всё большая степень универсальности и автономности, начинается процесс
возвращения к психологическим основам строения психики человека. Возникает задача построения моделей процессов, например, распознавания и планирования, на некоторой «биологически инспирированной основе». К этому направлению относятся работы Дж. Р. Андерсона (J.R. Anderson), П. Леирда (J. Е. Laird), П. Ленгли (P. Langley). Подтверждением повышенного интереса к этой теме служат организуемые в последнее время конференции и издаваемые журналы, посвящённые исключительно «биологически правдоподобным» архитектурам (например, ежегодные конференции BICA (Annual International Conference on Biologically Inspired Cognitive Architectures)1 и журнал BICA 2).
Потребность в единой модели КМ субъекта деятельности для нейрофизиологов и исследователей в области искусственного интеллекта определяет актуальность данной работы. Такая модель требуется как для построения моделей когнитивных функций человека на нейронном уровне, подтверждаемых нейрофизиологическими данными о строении высшей нервной системы человека и данными об активности соответствующего определённой функции участка коры головного мозга, так и для построения абстрагированных от того или иного субстрата интеллектуальных алгоритмов, которые могли бы быть использованы в автономных системах свободной конфигурации.
Один из основных вопросов, возникающих при разработке модели КМ, заключается в описании базовых элементов картины мира и построении алгоритма их формирования в процессе деятельности субъекта — носителя КМ. В качестве психологической основы для построения модели элемента КМ были использованы, с одной стороны, культурно—исторический подход Л. Н. Выготского и теория деятельности А.Н. Леонтьева, с другой стороны — идеи прикладной семиотики, предложенные в работах Д. А. Поспелова, А. Мейстеля, Г. С. Осипова. В качестве нейрофизиологических предпосылок были использованы концепции и нейронные схемы Д. Георга (D. George).
Предмет исследования—знаковые модели картины мира и некоторых когнитивных функций субъекта деятельности.
Целью исследования является разработка моделей и алгоритмов формирования элементов знаковой картины мира, обладающих структурой, необходимой для построения моделей высших когнитивных функций, в том числе восприятия, внимания, планирования и целеполагания.
Для достижения цели работы были поставлены следующие задачи:
1. исследовать модель элементов картины мира субъекта, построенную на основе психологической теории деятельности;
'ВГСА Society. BtCA 2014—2014,—URL: http://bicasociety.org/meetings/2014/ (дата обращения: 01.02.2015).
2Elsevier. Biologically Inspired Cognitive Architectures —Journal—2015—URL:
http://www.joumals.elsevier.com/biologically-inspired-cognitive-architectures/ (дата обращения: 01.02.2015).
2. построить модель структурных компонент элементов картины мира, опирающуюся на нейрофизиологические данные, и исследовать её;
3. исследовать структуру отношений и процессы самоорганизации на множестве элементов картины мира на синтаксическом уровне;
4. исследовать процесс формирования и связывания основных компонент нового элемента картины мира и построить соответствующий алгоритм;
5. исследовать сходимость процесса формирования и связывания основных компонент нового элемента картины мира.
Научная новизна и результаты, выносимые на защиту.
1. Впервые построена модель структурных компонент элементов картины мира субъекта деятельности.
2. Построены операторы распознавания в статическом, динамическом и иерархическом случаях в терминах алгебраической теории для образной компоненты элемента картины мира.
3. Доказаны теоремы корректности линейных замыканий множеств построенных в работе операторов распознавания.
4. Построен алгоритм формирования и связывания основных компонент нового элемента картины мира.
5. Доказана сходимость процесса формирования и связывания основных компонент нового элемента картины мира.
Практическая значимость. Построение модели элементов картины мира субъекта деятельности, с одной стороны, позволит создать универсальные интеллектуальные алгоритмы планирования поведения, целеполагания, локализации, распознавания и категоризации, применение которых в интеллектуальных системах повысит степень их автономности, а с другой стороны, позволит объяснить некоторые патологические явления в мозге человека и дать рекомендации к их устранению.
Методы исследования. Теоретические результаты работы получены и обоснованы с использованием методов теории множеств, алгебраической теории распознавания образов, теории интеллектуальных динамических систем, теории деятельности.
Достоверность результатов подтверждена строгими математическими доказательствами утверждений и результатами вычислительных экспериментов.
Апробация результатов исследования. Основные результаты работы докладывались на: Международных конференциях по когнитивной науке (Томск, 2010 г.; Калининград, 2012 г., 2014 г.), II Всероссийской научной конференции молодых учёных с международным участием «Теория и практика системного анализа» (Рыбинск, 2012 г.), IV Международной конференции «Системный анализ и информационные технологии» (Абзаково, 2011 г.), V съезде Общероссийской общественной организации «Российское психологическое общество» (Москва, 2012 г.), X Международной конференции «Интеллектуализация обработки информации» (Крит, 2014 г.), I конференции Международной ассоциации когнитивной семиотики (Лунд, 2014 г.), Общемосковском научном семинаре «Проблемы искусственного интеллекта», на семинарах ИСА РАН и ВЦ РАН.
Публикации. Основные результаты по теме диссертации изложены в 14 печатных работах, 4 из которых изданы в рецензируемых журналах из списка ВАК РФ, 7 — в материалах всероссийских и международных конференций.
Объем и структура работы. Диссертация состоит из введения, трёх глав, заключения и двух приложений. Полный объём диссертации составляет 118 страниц с 23 рисунками. Список литературы содержит 81 наименование.
Краткое содержание работы
Во введении обоснована актуальность темы, определён предмет исследования, сформулированы цель и задачи исследования, научная новизна, практическая значимость полученных результатов, а также приведены данные о структуре и объёме диссертации.
В первой главе приведён обзор существующих теорий и моделей, которые послужили предпосылками для создания общей модели картины мира субъекта деятельности. Даётся описание психологических предпосылок: культурно—исторического подхода Л. С. Выготского 3, теории деятельности А. Н. Леонтьева 4 и модели психики Е.Ю. Артемьевой 5. Приводятся и направления исследований, проводящихся по данной теме за рубежом.
Вторая часть главы посвящена краткому обзору нейрофизиологических исследований. Особое внимание уделяется глобальным моделям, в которых делается попытка описать не только отдельную когнитивную функцию, а целую их систему. Подробно описываются основные положения теории повторного входа Д.М. Эдельмана 6, теории информационного синтеза A.M. Иваницкого 7, теории глобального рабочего пространства Б. Дж. Баарса с его нейронной реализацией по С. Дехане 8, а также модель иерархической временной памяти в представлении Дж. Хокинса и Д. Георга 9.
В заключении первой главы приводится краткий обзор идей прикладной семиотики, в которой впервые была определена важная роль семиотических (знаковых) описаний для решения важных проблем искусственного интеллекта. В истоках этого подхода стояли Д. А. Поспелов, Г. С. Осипов, А. М. Мейстель.
Во второй главе вводится формальное определение знака — базового элемента картины мира —и описывается синтаксический уровень модели картины мира субъекта деятельности.
Даётся описание компонент знака по Леонтьеву и приводится алгоритм формирования нового знака. Следуя теории деятельности представление каждого объекта или процесса в картине мира включает три компоненты:
3Выготский Л. С. Психология развития человека.— М. : Издательство Смысл, 2005.— С. 1136.
4 Леонтьев Л.Н. Деятельность. Сознание. Личность.—М. : Политиздат, 1975.
5 Артемьева Е.Ю. Психология субъективной сема1гтики.—M. : Издательство МГУ, 1980.
6Edelman G. M. Neural Darwinism: The Theory Of Neuronal Group Selection.—New York : Basic Books, 1987.— P. 400.
7Иваницкий Л. M. Мозговая основа субъективных переживаний: гипотеза информационного синтеза // Журнал высшей нервной деятельности.— 1996.— Т. 46, №2.— С. 241-282.
8Dehaene S., Sergent С., Changeux J. Р. Л neuronal network model linking subjective reports and objective physiological data during conscious perception II Proceedings of National Academy of Sciences USA.— 2003.— Vol. 100, no. 14.-P. 8520-8525.
9George D., Hawkins J. Towards a Mathematical Theory of Cortical Micro-circuits // PLoS Computational Biology.— 2009.-Vol. 5, no. 10.-P. 1-26.
образ явления, его значение и личностные смыслы субъекта, связанные с этим явлением. До момента связывания в знак три компоненты называются перцептом, биологическим смыслом и функциональным значением соответственно. Связывание упомянутых трёх компонент в единую структуру позволяет перейти к рассмотрению явления как целостного и существующего независимо от текущего состояния действующего субъекта. Такое связывание становится возможным благодаря именованию возникающей структуры, что приводит к конструкции, называемой знаком.
Процесс формирования (актуализации) знака выглядит следующим образом:
0. Локализация явления в пространстве, времени и измерении значений ,0.
1. Формирование перцепта, основанное на работе процедуры воспроизведения свойств явления моторикой воспринимающего органа (для живых существ) или на обработке методами распознавания образов информации, снимаемой с датчиков (для искусственных систем).
2. Порождение на основе прошлого опыта или на основе прецедентов, представленных в виде множества пар «перцепт — функциональное значение», и сформированного на шаге 1 перцепта — нового функционального значения явления.
3. Оценка специальным механизмом степени близости функционального значения, полученного на стадии 2 к функциональному значению, полученному на стадии 0; в случае недостаточной близости — переход к шагу 1 и продолжение формирования перцепта (в психологии сенсорно-перцептивных процессов этот механизм получил название «сенсорная уверенность»),
4. Стадии 1-3 выполняются до получения степени близости, достаточной с точки зрения специального механизма, упомянутого на шаге 3.
5. Получение субъектом из культурно—исторической среды, аккумулированной в системе естественного языка, пары «имя знака — значение» и оценка специальным механизмом степени близости функционального значения, построенного на стадии 4 к значению, полученному из культурной среды; в случае недостаточной близости — переход к шагу 1 и продолжение формирования перцепта.
'"Леонтьев Д. Н. Избранные психологические произведения. Том II — М. : Педагогика, 1983.—С. 251-261.
6. Связывание имени из пары «имя знака — значение» с перцептом, построенным после завершения выполнения шагов 1-5. С этого момента перцепт превращается в образ.
7. Формирование личностных смыслов знака на основе прецедентов действий с явлением.
8. Связывание имени из пары «имя знака — значение» со сформированным личностным смыслом. С этого момента функциональное значение превращается в значение, а биологический смысл — в личностный смысл.
9. Продолжение отображения «биологический смысл — перцепт» включением в область определения отображения личностного смысла, полученного в предыдущем пункте, а в область значений — образа из шага 6.
Вводятся обозначения для компонент знака: а С А — подмножество множества личностных смыслов (возможно пустое), т С М — подмножество множества значений (функциональных либо культурно—исторических), р С Р — подмножество множества признаков (перцепт либо образ) (Рисунок 1 а).
(а) (Ь)
Рис. 1: Знак и его структура.
Далее вводятся специальные отображения связывания. Первое из таких отображений Ф™ : 2Р —» 2м — процедура связывания образа (или перцепта) р с (функциональным) значением т так. что = то**', где ¿ — номер
итерации, р^ € 2Р, т^ 6 2Л/, 2Р и 2Л/ — булеаны Р и М соответственно.
Второе отображение : 2м —> 2А связывает значения (или
функциональные значения) с личностными (или биологическими) смыслами таким образом, что Ф= где € 2м, а^ 6 2Л, 2л-булеан А.
Отображение Ф^ : 2Л —> 2Р связывает личностные (или биологические) смыслы с образом (перцептом) так, что = где а^ 6 2Л, £ 2Р.
С помощью введённых отображений описывается процесс связывания функционального значения и образа восприятия на основе элементарных топологических соображений.
Наконец, во второй главе вводятся функции, связывающие имя и компоненты знака: функция ЭД1(п), выдающую по имени п значение т, и аналогичные функции для образа ф(п) и личностного смысла 21(п) (Рисунок 1Ь). Доказываются следующие утверждения:
Утверждение 1. Если я— знак, р, т, а —его образ, значение и личностный смысл, соответственно, то тройка (р, т, а) есть неподвижная точка оператора ФРФ?„Ф™.
Утверждение 2. Если в-знак, то Ф^Ф^Ф™ и Ф™Ф£фт -
тождественные операторы.
Утверждение 3. Если .з-знак, то Ф™(ф(тг)) = Ш(п), = Щп).
В заключении второй главы описываются отношения на множестве компонент знака и процессы самоорганизации на множестве знаков. На синтаксическом уровне образ представляется в виде набора признаков, что позволяет на множестве образов ввести следующие бинарные отношения: эквивалентности /?ь включения Л2, сходства /?з и противопоставления Т?4, а также описать операцию обобщения 0.
Личностные смыслы определяются через множество действий. На множестве личностных смыслов вводятся отношения поглощения С, противопоставления ± и агглютинации и. Наконец, элемент значения на синтаксическом уровне представим в виде предикатного слова и некоторой определённой семантической валентности. На множестве значений вводятся отношения эквивалентности Щ, сходства П!3, ситуационное /?6 и сценарное /?7 отношения.
Третья глава посвящена описанию семантического уровня модели картины мира субъекта деятельности. В начале главы приводятся основные принципы работы образной компоненты знака и определяется бесконечный автомат Мили с переменной структурой и конечной памятью
Щ=<Х>х х{+\2*, X? х Х{, ф>, ту?, >,
где
• Х( — множество входных сигналов (пространство векторов длины (/г
действительных чисел от 0 до 1),
• X*3 — множество выходных сигналов (пространство векторов длины 1\ действительных чисел от 0 до 1),
• — множество управляющих сигналов с верхнего уровня иерархии (пространство векторов длины 1\ действительных чисел от 0 до 1),
• Х\ — множество управляющих сигналов на нижний уровень иерархии (пространство векторов длины (¡[ действительных чисел от 0 до 1),
• 22'* — множество состояний (булеан матриц предсказания),
• (р{ : Х\ х Х3+1 —> 22' — функция переходов,
• : 22' —>■ X*3 х X3 — вектор—функция выходов.
Такой автомат, функционирующий по определённому нейрофизиологически правдоподобному алгоритму 21«, (см. стр. 11 и 12), называется распознающим или Я-автоматом. Здесь и далее : Т-¥Х'— входное воздействие,
а : Т—>Х*] — выходная величина. Алгоритм работы распознающего автомата моделирует работу образной компоненты знака. Множество II-автоматов образуют иерархию (верхний индекс в обозначении автомата — уровень иерархии, нижний — сквозной индекс по множеству).
Алгоритм 1 Алгоритм 21,л (часть I, задание начального состояния)_
Вход: Выход:
1: Р" = 0,2" = 0, < = 0; // активные функции распознавнаия и матрицы предсказания 2: С1 6 (0,1), сг 6 (0,1); //пороговые константы
// определение начального состояния 3: для всех компонент х1^1 вектора х{+1(т3) = (х^1, ¿о"1, • • • > 4: если то
5: Р' := Р' и {Л}; 6: 4 := и((т,У,
7: для всех функций распознавания /* £ Р*
для всех ё 2к, соответствующих функции распознавания Д,
еСЛИ№Ш1<С2Т°
г* := и {#};
:= //значение функции переходов в начальный момент времени N := е г-}\,..., 6
»7(2*) = х\' := //значение функции выходов в начальный момент времени
и
Алгоритм 2 Алгоритм 21(ь (часть II, основной цикл)
// основной цикл
г = 1;
пока < ^ /г^ — 1
х? := ш(т„ + «);
для всех матриц предсказания из множества 7'
¿^'(т,)) := 7*\ //значение функции переходов в момент времени 4
* = (К^К1 6 Я'}1,..., \{2$\7$ е г*}|);
= := И^Л'); //значение функции выходов в момент времени г
г = 1 + 1;
если í < Ы — 2 то
вернуть ¥4„т]?дс
В третьей главе для обоснования корректности построенного алгоритма работы образной компоненты знака, ставится рад задач распознавания (классификации) и строится семейство операторов распознавания. Корректность алгоритма демонстрируется за счёт корректности линейных замыканий множеств построенных операторов распознавания.
В начале фиксируется момент времени Ь, равный началу некоторого го вычислительного цикла тв распознающего автомата, т. е. рассматривается первый этап алгоритма — задание начального состояния /¿-автомата. В этом случае, Д-автомат /2 можно рассматривать как статический оператор распознавания Щх3+1(т3), 2, х(тв)) = Г1(х*+1,2,х) = х*. Пусть
• О, — совокупность задач классификации,
• Л — множество алгоритмов, переводящих пары (х, х) в векторы /3, составленные из элементов 0,1, Д : А(х, х) = /3.
Задача <2(£', х,а) £ О. состоит в построении алгоритма, вычисляющего по поступившему вектору ожиданий х и входному вектору х информационный вектор а = («[..... а/), значения которого аг- € {0,1} являются оценками признаков /¡\ ..., /,*.
Определение 1. Алгоритм А называется корректным для задачи <3, если выполнено равенство
А(х, х) = а.
Алгоритм А, не являющийся корректным для Q, называется некорректным.
Утверждение 4 (аналог теоремы Ю.И. Журавлёва о введении пространства оценок). Каждый алгоритм А 6 Л представим как последовательность выполнения алгоритмов R и С, где R(x, х) = х*, х* — вектор действительных чисел, С(х*) = ¡3, Pi е {0,1, А}.
R называется оператором распознавания, а С —решающим правилом.
Определение 2. Решающее правило С* называется корректным на множестве входных векторов X, если для всякого вектора х из X существует хотя бы один числовой вектор х* такой, что С*(ж*) = а, где а — произвольный информационный вектор входного вектора х.
На множестве операторов 1Z вводятся операции умножения на скаляр, сложения и умножения. Пусть г' —скаляр, R',R" € TZ, тогда операторы r'-R', R' 4- R" и R-R" определяются следующим образом:
r'-R' =(r'-xl',...,r'-x,l'), (1)
R! + R" = « + x\\ ...,x\' + xj"), (2)
Доказывается следующее утверждение:
Утверждение 5. Замыкание L(1Z) множества TZ относительно операций (1) и (2) является векторным пространством.
Определение 3. Множество L{A) алгоритмов А = R-C* таких, что R£L(1Z), называются линейным замыканием множества А.
Далее фиксируется пара (ж, х) управляющего вектора и входного вектора и рассматриваются задачи Q(x, х), обладающие следующим свойством относительно множества операторов распознавания 1Z.
Определение 4. Если множество векторов { И(х, х) \ R € 1Z} содержит базис в пространстве числовых векторов длины I, то задача Q(x,x,a) называется полной относительно 1Z.
Имеет место следующее утверждение.
Утверждение 6. Если множество задач Q состоит лишь из задач, полных относительно 11, то линейное замыкание L{{R-C*\R £ 7?.}) (С* — произвольное фиксированное корректное решающее правило) является корректным относительно Q.
Далее рассматриваются только такие задачи Q(x,x,a), для которых удовлетворяется следующее условие: х не является нулевым вектором. В работе доказано следующее утверждение:
Теорема 1. Линейное замыкание L{A) семейства алгоритмов А = {R • C*\R € 71} с произвольным корректным решающим правилом С* и операторами распознавания 1Z, определёнными алгоритмом 2Ith, является корректным на Q.
Фиксация момента времени не в начале вычислительного цикла, а на любом другом значении rs < t < ts + hj, приводит к операторам вида Ri(M(rs),Zi,u4At), At = [rs,i], кратко RK
Для этих операторов постановка задачи распознавания выглядит таким же образом, как и для операторов R, формулировки определений полноты и корректности идентичны. Теорема о корректности линейного замыкания Ь{{Я.г ■ C*\Rb G R-1}) доказывается аналогично.
Затем рассматривается динамический случай и фиксируется не конкретный момент времени t, а полуинтервал At = [rs, ts + h). В этом случае R-автомат R можно рассматривать как динамический оператор распознавания R(x^+1(Ts),Z,uj^t) = 7At принимающий функцию входного воздействия и и выдающий функцию выходной величины 7.
В этом случае задача Q(x,uiAti&) состоит в построении алгоритма А, вычисляющего по поступившему начальному (управляющему) вектору ожиданий х и матрице входных воздействий u>&t информационный вектор а. Искомый оператор распознавания R должен выдавать весовую матрицу распознаваемых признаков 7столбцы которой должны сходиться (с учётом корректного решающего правила) за ts + h шагов к информационному вектору а.
Т. к. из всех столбцов выходной матрицы 7дt равенство информационному вектору требуется только для последнего столбца, а на остальные накладывается некоторое ограничение, то эквивалентным по действию оператору R будет являться статический оператор Rh~l со следующим ограничением на выходные векторы в моменты времени 0 < i < /1:
IIx\ts) - all ^ ||x*(r, + 1) - a|| ^ • • • ^ \\x*(ts + h - 1) - a||.
Такие операторы обозначаются как R', а их множество соответственно 1Z'.
Утверждение 7. Каждый алгоритм A G А представим как последовательность выполнения алгоритмов R' и С, где R'(x, Z, шд4) = x"(t3+h— 1), х*(т3+Н— 1) — вектор действительных чисел, C(x*(ts+Ii— 1)) = Д /3 — вектор значений /Зг 6 {0,1, Д}.
При фиксации начального вектора ожиданий х и последовательности входных векторов и>ы и рассмотрении только таких задач Q(x. шдt, а), для которых в матрице ui&t нет нулевых столбцов, доказывается следующее утверждение:
Теорема 2. Линейное замыкание L(A) семейства алгоритмов А = {R'-C\R S 7Z} с произвольным корректным решающим правилом С* и операторами распознавания 7Z', определёнными алгоритмом 21(/„ является корректным на
Q.
Далее рассматривается двухуровневая иерархия, на каждом уровне которой находится по одному оператору: статический Rj^1(xj^2, «j'fl)
на верхнем уровне и динамический (x'J 1, uj'2&1 , й^ ) — на нижнем. Эту схему можно рассматривать как иерархический оператор распознавания
Задача Q\ Wj д4, «¿,+1) состоит в построении алгоритма Ле,
2 - -)'+2 вычисляющего по поступившему начальному вектору ожидании щ и матрице
входных воздействий значения информационного вектора
Как и в предыдущих случаях, фиксируется начальный вектор ожиданий 2 и последовательность входных векторов Если рассматривать только
такие задачи Q2j(Xi*2, п/*1), для которых в матрице нет нулевых столбцов, то можно сформулировать следующую теорему:
Теорема 3. Линейное замыкание L(Ae) семейства алгоритмов Ае = {R2j ■ С* [ Щ j g П\) с произвольным корректным решающим правилом С1* и операторами распознавания R2.j. определёнными алгоритмом 21^, является корректным на множестве задач Q2ej.
В заключении третьей птавы рассматривается алгоритм формирования пары «образ —значение» нового знака. Вводится семейство бинарных отношений {с , ц1, С2,... }, определённых на декартовом произведении Т х Т.
Признак }\ поглощается признаком /2: f\ С /2, в том случае, если fi H /?', /2 H R{+1, R{+1 — родительский /¿-автомат по отношению к Щ и в множестве матриц предсказания Zo признака /2 существует как минимум одна матрица Z2, содержащая некоторый столбец zru с элементом zruv ^ 0, где v — индекс признака f\ во входном векторе для /("-автомата RJ2+1 (Рисунок 2).
Значение знака предлагается рассматривать как множество правил, каждое из которых соответствует некоторому действию. Правило для простоты представляется в виде пары «условия — эффект действия» так, как это принято в искусственном интеллекте.
Р'] + 1 ' /г
• т Т Т Т I
тт ля
^2
/| «г
1 рз+1
т
Рис. 2: Определение отношения поглощения на множестве признаков ( ¡\ с /2).
Вводится операция Л, которая по множеству матриц распознавания ¿^ признака Д определяет два набора индексов столбцов матриц из 7,к. Первый набор 1С = {¿^',«2, ■ ■ • }, Ук 0 ^ < 1г, составляют индексы столбцов условий, в которых ненулевые элементы определяют условия проявления признака Д. Второй набор 1е = {г®, г|,. .. }, \//с 0 ^ г| < /г, состоит из индексов столбцов эффектов, в которых ненулевые элементы определяют эффекты проявления признака Д.
Определение 5. Признаки, для матриц предсказания которых процедура Л выдаёт непустые множества индексов 1С и 1е, называются процедурными признаками, остальные —объектными признаками.
Семейство отношений {с, С1, С2,... } пополняется двумя отношениями: Сс и Се, принадлежность к которым пары признаков (Д,/2) свидетельствует о том, что признак Д присутствует соответственно в столбце условий и эффектов как минимум в одной матрице предсказания процедурного признака Д.
Далее даются определения образа и значения знака. Пусть 5 — множество знаков. Считается, что между множествами 5 и 7 установлено некоторое взаимно-однозначное соответствие.
Определение 6. Если Д— признак, соответствующий знаку ¿¡ь то подмножество р{Д) С Т таких признаков, что \>Д 6 'p{f\)fi С Д, называется образом знака 51 (признака Д).
На множестве всех образов Р вводится метрика pp(p(fi),p(f2)), /1 Н Щ, f2 Н Л,', вычисляемая по следующему правилу:
(ос, если Щ ± Rsu,
min ^ Е \\К ~ 5*11, Щ = К.
zr€z 1 „=1
Определение 7. Если f\—признак, соответствующий знаку .sj, /2 — процедурный признак и f\ \ZC /2, то /2 называется элементом значения знака Si (признака f\). Множество всех элементов значения признака f\ будем, обозначать m(/i).
На множестве всех значений М вводится метрика pm(m(/i),т(/г)) следующим образом:
Pm(mi(/i),m2(/2)) = min■ PP(p{fi),p{fj)). /¡ет(/,) Лет(Л)
Алгоритм 3 Алгоритм 21,^, (часть I) Вход: т° = {/Р°},Ф™ F = dorn Ф™ С J"; 1: Z° := {zf, zf0} — матрица предсказания признака 2: р<°> := 0, т<°> := 0;
У. Rag 7J —фиктивный распознающий блок, для которого F0* = {/°}; 4: Z<°> := 0, := {Ö, 0}; 5: := 0, t := 0; 6: пока Zф Zv или t < \F\
7: / е F — первый не рассмотренный ранее признак; 8: Z = {z 1, г2,..., г,} — его матрица предсказания;
9: если 3т = {fp} £ М такое, что (p{f),rh) е Ф™, fp выполним в условиях признака fjj
и J/' такого, что /' е p(i),m' = {/¿} е Af, (p(f'),rn') 6 Ф™, /¡, конфликтует с /р то 10: р(<+1> = р<'> U {/};
11: = {Щ, Щ} — матрица предсказания признака /р;
12: если такой, что р(!+1> С F/ то
13: 1Ц1'+1) := R>-
14: иначе
15: R>(i+1) := arg та x(F/ Пр«+1>);
16:
Опыт наблюдения субъекта записывается в виде функции Ф™: Ф™(р) = in, в том случае, если р € Р является образом некоторого знака s, а т € А/ -
значением того же знака s. Строится алгоритм 2lpm доопределения функции Фр", обеспечивающий формирование такого образа из множества признаков F = dorn Фр', при котором формируемое значение знака стремится к заданному значению т° = {/£}.
Алгоритм 4 Алгоритм 2lpm (часть II) 17: 9<1+1> = max{g<'\g};
18: := {zl'+1),4M\...z«tb> где zf+1) = zf V z,, если i ^ q и i < 9«>,
zf+1) = ¿f', если г > q и zf+1) = zb если i > q(t); 19: Zp+1) := {zf+1), z?+1)], ще zf+1) = zf> V (zf Яо), zf+1) = zf> V (zj ^ Я0);
20: — признак с матрицей предсказания Zpt+1';
21: m«+1> = {/i1+1)};
22: i = t + 1; 23: R* = 24: Z* = Z«>; 25: = U {Z*};
вернуть Ф™, доопределённую на паре (р, m), где р = рО, m = m<4'.
Для обоснования данного алгоритма доказывается сходимость функциональных значений, которые строятся в процессе его выполнения, к эталонному значению т°:
Теорема 4 (о корректности алгоритма 2lpm). Алгоритм 2lpm корректен, т. е.
элементы последовательности функциональных значений {тИш11'.....
которая строится с помощью алгоритма 2lpm для функционального значения т°, приближаются к т° в смысле введённой на М метрики.
В заключении диссертационной работы приведены основные результаты, которые выносятся на защиту:
1. Построена модель компонент знака — элемента картины мира субъекта деятельности в рамках сегодняшних представлений о функционировании мозга и психики человека.
2. Построены четыре типа операторов распознавания (два статических оператора, динамический и иерархический операторы) в терминах алгебраической теории для образной компоненты знака.
3. Доказаны теоремы корректности линейных замыканий множеств
построенных в работе операторов распознавания (статических,
динамического и иерархического).
4. Построен алгоритм формирования и связывания двух компонент знака: образа и значения.
5. Доказана сходимость алгоритма формирования и связывания двух компонент знака.
Публикации автора по теме диссертации
Публикации в журналах, входящих в перечень ВАК:
1. Петров А. В., Панов А. И. Моделирование поведения автономного мобильного робота // Вестник Рыбинского государственного авиационного технического университета имени П.А. Соловьева. — 2012. — № 2. — С. 179— 185.
2. Петров А. В., Панов А. П., Березовский Р. Г. Когнитивные архитектуры и проекты систем управления автономных мобильных роботов // Вестник Рыбинского государственного авиационного технического университета имени П.А. Соловьева.-2013.-№ 1.-С. 111-113.
3. Принципы построения многоуровневых архитектур систем управления беспилотными летательными аппаратами / Д. В. Зубарев, Д. А. Макаров, А. И. Панов, К. С. Яковлев // Авиакосмическое приборостроение. — 2013. — № 4. - С. 10-28.
4. Осипов Г. С., Панов А. И., Чудова Н. В. Управление поведением как функция сознания. I. Картина мира и целеполагание // Известия РАН. Теория и системы управления. — 2014. — № 4. — С. 83-96.
Публикации в сборниках докладов российских и международных конференций:
5. Панов А. И., Чудова Н. В. Моделирование процесса образования естественных понятий методами искусственного интеллекта // Четвертая международная конференция по когнитивной науке: Тезисы докладов: В 2 т. Томск, 22-26 июня 2010 г.— Т. 2.— Томск : Томский государственный университет, 2010,— С. 455.
6. Моделирование поведения, управляемого сознанием / Ю. М. Кузнецова, Г. С. Осипов, А.И. Панов и др. // Системный анализ и информационные технологии: тр. Четвертой Междунар. конф. (Абзаково, Россия, 17-23 авг. 2011 г.): в 2т.— Т. 1.— Челябинск : Изд-во Челяб. Гос. ун-та, 2011.— С. 613.
7. Панов А. И. Моделирование процесса принятия решения агентом со знаковой картиной мира // Теория и практика системного анализа: Труды II Всероссийской научной конференции молодых учёных с международным
участием, — Т. 1, — Рыбинск : РГАТУ имени П.А. Соловьёва, 2012, — С. 126137.
8. Элементы знакового опосредования в интеллектуальном агенте / Ю. М. Кузнецова, А.И. Панов, А. В. Петров, Н. В. Чудова // V съезд Общероссийской общественной организации «Российское психологическое общество». Материалы участников съезда,— Т. 1.— М. : Российское психологическое общество, 2012,— С. 490-491.
9. Панов А. И., Петров А. В. Моделирование потребностей и мотивов интеллектуального агента со знаковой картиной мира // Пятая международная конференция по когнитивной науке: Тезисы докладов: Калининград, 18-24 июня 2012 г.— Калининград : Межрегиональная ассоциация когнитивных исследований (МАКИ), 2012.— С. 813-815.
10. Панов А. И. Семейства отношений в знаковой картине мира // Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16-20 октября 2012г., г. Белгород, Россия): Труды конференции.— Белгород : Издательство БГТУ, 2012.— С. 301-309.
11. Панов А. И., Петров А. В. Аналитическое и целостное представление образов интеллектуальным агентом со знаковой картиной мира // Шестая международная конференция по когнитивной науке: Тезисы докладов: Калининград, 23-27 июня 2014 г.— Калининград : Межрегиональная ассоциация когнитивных исследований (МАКИ), 2014,— С. 466-468.
12. Osipov G., Panov A., Chudova N. Semiotic foundations of consciousness functions // Book of Abstracts. The First Conference of the International Association for Cognitive Semiotics (IACS-2014). September 25-27, 2014.— Lund : Lund University, 2014, — P. 211.
13. Панов А. И. Алгебраические свойства операторов распознавания в моделях зрительного восприятия динамических сцен // Интеллектуализация обработки информации: 10-я международная конференция. Греция, о. Крит, 4-11 октября 2014 г.: Тезисы докладов.— М. : Торус Пресс, 2014.— С. 132133.
Прочие публикации:
14. Панов А. И. Алгебраические свойства операторов распознавания в моделях зрительного восприятия // Машинное обучение и анализ данных. — 2014. — №7.-С. 863-874.
Личный вклад соискателя: в работах 1-6, 8-9, 11-12 автору принадлежат результаты, относящиеся к моделям структурных компонент элемента картины мира субъекта деятельности, к свойствам этих моделей и алгоритмам на их основе.
Подписано в печать 26.03.2015 г. Бумага офсетная. Печать цифровая. Формат А4/2. Усл. печ. л.1. Заказ № 278. Тираж 100 экз. Типография «КОПИЦЕНТР» 119234, г. Москва, Ломоносовский пр-т, д.20 Тел. 8 (495)213-88-17 www.autoreferatl.ru
-
Похожие работы
- Разработка и исследование модели знакового представления данных в задачах распознавания образов
- Моделирование процессов проектирования и принятия решений в системе централизованной охраны на основе теории конфликтов
- Некоторые вопросы комплексного моделирования объективных цветодинамических процессов в архитектуре
- Методы формирования сценариев развития сложных социально-экономических систем и их использование при выборе стратегических управленческих решений
- Методы и средства представления данных и знаний в автоматизированных информационных системах
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность