Г.К. Толоконников – к.ф.-м.н., доцент, вед. науч. сотрудник, Центр ВИМ, НИИ нормальной физиологии им. П.К. Анохина (Москва)

E-mail: admcit@mail.ru

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

1. Анохин П.К. Принципиальные вопросы общей теории функциональных систем // В сб. Принципы системной организации функций. М. 1973. С. 5–61.
2. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. М.: Мир. 1973. 344 с.
3. Месарович М., Такахара И. Общая теория систем. М.: Мир. 1978. 316 с.
4. Goguen J. Categorical Foundations for General Systems Theory // In «Advances in Cybernetics and Systems Research». Transcripta Books. 1973. P. 121–130.
5. Goguen J., Ginali S. A Categorical Approach to General Systems // In Applied General Systems Research, edited by George Klir. Plenum. 1978. P. 257–270.
6. Шрейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио. 1982. 150 с.
7. Goguen J. A Categorical Manifesto // In Mathematical Structures in Computer Science. March 1991. V. 1. № 1. P. 49–67.
8. Черноиванов В.И. Ресурсосбережение и машины с элементами человеческого интеллекта – ответ на кризисные вызовы современности и будущего. // Прикладная математика, квантовая теория и программирование. 2013. Т. 10. № 3. С. 9–19.
9. Черноиванов В.И., Гулюкин М.И., Толоконников Г.К. Бионический подход к решению проблемы автономности систем управления животноводческих производств // Вестник ВНИИМЖ. 2015. № 3(17). С. 76–91.
10. Черноиванов В.И., Савченкова И.П., Толоконников Г.К. Парадигма биомашсистем // Вестник ВНИИМЖ. 2016.  № 2(22). С. 56–61.
11. Черноиванов В.И. (ред.) Биомашсистемы. Теория и приложения / Под ред. акад. В.И. Черноиванова. М.: Росинформагротех. 2016. Т. 1. 228 с. Т. 2. 215 с.
12. Толоконников Г.К. Вычислимые и невычислимые физические теории по Р. Пенроузу. Ч. 3. // Прикладная математика, квантовая теория и программирование. 2012. Т. 9. № 4. С. 3–294.
13. Толоконников Г.К. Перспективы реализации интеллектуальности машин на основе биоблоков и систем, порождающих алгорифмы. С. 16–54 // В кн. «Интеллектуальная сельскохозяйственная техника нового поколения» // Вестник ВНИИМЖ. Приложение к № 3(15). 2014. С. 3–65.
14. Толоконников Г.К. Вопросы математического обоснования моделей биоблока и блока Поста. Гиперграфовые конструкции // Труды ГОСНИТИ. 2016. Т. 123. С. 116–126.
15. Толоконников Г.К. Математические основы теории биомашсистем // В кн. Биомашсистемы. Теория и приложения. Т. 1 / Под ред. акад. В.И. Черноиванова. М.: Росинформагротех. 2016. С. 31–205.
16. Толоконников Г.К. Математическая категорная теория систем // В кн. Биомашсистемы. Теория и приложения. / Под ред. акад. В.И. Черноиванова., М.: Росинформагротех. 2016. Т. 2. С. 42–151.
17. Толоконников Г.К. Манифест: нейрографы, нейрокатегории и категорные склейки // Биомашсистемы. 2017. Т. 1.  № 1. С. 59–146.
18. Редько В.Г. От моделей поведения к искусственному интеллекту. М.: Ленанд. 2014. 447 с.
19. Мухортов В.В., Хлебников С.В., Витяев Е.Е. Улучшенный алгоритм семантического вероятностного вывода в задаче 2-мерного анимата // Нейроинформатика. 2012. Т. 6. № 1. С. 50–62.
20. Жданов А.А. Автономный искусственный интеллект. М. 2012 г. 359 с.
21. Черноиванов В.И., Судаков С.К., Толоконников Г.К. Биомашсистемы, функциональные системы и их категорное моделирование. Вестник ВНИИМЖ. 2017. № 2(26). С. 32–43.
22. Черноиванов В.И., Судаков С.К., Толоконников Г.К. Биомашсистемы и функциональные системы на категорной основе // Материалы IX Международной научно-практической конференции «ИнформАгро-2017». М.: Росинформагротех. 2017. С. 279–286.
23. Черноиванов В.И., Судаков С.К., Толоконников Г.К. Категорная теория систем, функциональных систем и биомашсистем // Сб. науч. трудов Международной научно-технической конференции «Нейроинформатика 2017». Ч. 1. Т. 2. С. 131–138; ч 2. Т. 2. С. 139–147.
24. Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic. Cambridge Press. 1986. 293 p.
25. Barr M., Wells C. Category Theory for Computing Science, Canada. 2012. 538 p.
26. Анохин К.В. Когнитом: в поисках общей теории когнитивной науки // VI Междунар. конференция по когнитивной науке. Калиниград. 2014. С. 26–28.
27. Szabo M.E. Polycategories. Comm. 1975. Algebra 3(8). P. 663–689.
28. Garner R.H.G. «Polycategories via pseudo-distributive laws». Advances in Mathematics 218. 2008. P. 781–827.
29. Мендельсон Э. Введение в математическую логику. М. 1984.
30. Hatcher W.S. The logical foundations of mathematics. Pergamon. 1982. 320 p.