17. Системная инженерия

Анатолий Левенчук · Поиск в руководстве · MCP

Открыть это место в полном тексте руководства →

17. Системная инженерия

Изменение мира к лучшему

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

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

Например, для программных систем/software systems такой практикой является программная инженерия/software engineering, и основные тренды в изменении паттернов создания систем в силу особенностей предметной области программной инженерии реализуются потом в системной инженерии и затем в её прикладных вариантах инженерии с некоторым лагом в 10-15 лет, причём этот лаг стремительно уменьшается по мере уменьшения необходимости переобучать людей-инженеров за счёт перекладывания работ на компьютеры, которые легче переналаживаются на новые методы инженерной работы. Так что в реальности в «железной»/hardware инженерии киберфизических систем (в состав которой входит и разработка программных систем, и разработка аппаратной части, например, сюда относится весь транспорт — аэрокосмические системы, но также и автомобили), инженерии компьютерных систем (например, инженерия суперкомпьютеров, имеющая свои особенности) используются всегда немного морально устаревшие практики, но это всё больше и больше осознаётся инженерами и ситуация быстро меняется.

Из принципиальных новинок последних лет — инженерия коннекционистских (построенных на нейронных сетях) систем искусственного интеллекта. Аппаратная часть проекта там выполняется относительно классическими методами системной инженерии, но затем следуют процедуры обучения нейросети (а со стороны нейросети это акты познания/исследования), причём сами нейросети являются частями более сложных когнитивных архитектур1. Но и тут оказывается, что общие знания системной инженерии оказываются полезными при создании таких систем уже сейчас, но можно ожидать, что развитие этой инженерии систем искусственного интеллекта будет влиять на системную инженерию в целом. В конце концов, нейронная сеть — это просто ещё одна архитектура вычислителя/компьютера (то есть это алгоритм, который выполняется на подходящей аппаратуре), и по факту речь идёт о каком-то очередном изводе программной инженерии.

Много труднее обстоит дело в области практик инженерии систем, которые традиционно не считались создаваемыми инженерами, поэтому не было попыток рассмотрения вопроса о лучших практиках разработки для этих систем: это организации (системная инженерия организаций — это менеджмент), личности (системная инженерия личности была разобрана по самым разным дисциплинам, от педагогики и психологии до коучинга), инженерия клиентуры (практики продвижения продукта: маркетинг, реклама, продажи). Тут требуется два такта:

  1. Показать, что речь идёт о создании систем какого-то сорта, то есть это задача инженерии.

  2. Адаптировать (специализировать) практики системной инженерии для данного вида целевых систем: отобразить текущие профессиональные роли на предписанные (это нормативная наука! Задаёт норму деятельности!) роли системной инженерии, текущие профессиональные практики на практики системной инженерии. Особое внимание при этом надо уделить:

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

    2. Нахождению «пропусков» (иногда говорят «разрывов»/gaps) в наборе практик и ролей, доформирование до полного набора ролей и практик, позволяющих проводить разработку и развитие целевой системы в режиме «непрерывное всё». По факту это означает развитие целевой практики прикладной инженерии за счёт привнесения новых знаний системной инженерии.

Практика системной инженерии формально вроде как имеет исполняющую её роль «системный инженер», но в силу разделения труда сегодня эта роль редко используется как таковая, ибо она нормативно разбита на подроли, соответствующие основным нормативным практикам системной инженерии. На верхнем уровне разбиения можно сказать, что есть разработчик/developer, который разрабатывает разбитую архитектором/architect на какие-то части целевую систему, изготавливая её на производственной платформе (тут полезно думать о ней как «заводе-автомате» с каким-то конвейером), который для этого типа систем создаётся инженером внутренней производственной платформы/internal development platform engineer, получая согласие на разработку от визионера/visionary.

Вот таблица, которая определяет основные роли и практики системной инженерии, а также даёт примеры адаптации:

Роль создателя системы (из мета-мета-модели) Инженер/деятель/создатель/constructor
Логическое время Время замысливания/Conception time Время проектирования/design-time Время изготовления/ manufacturing time Время эксплуатации/operations time Время проекта создания платформы разработки
Подроли создателя системы/роли команды организации создания (из мета-мета-модели) Визионер/visionary Архитектор/architect Разработчик/developer Инженер платформы разработки
Проектировщик/designer Технолог/manufacturing engineer Оператор/operator
Роль создателя целевой системы (из метаУ-модели, пример киберфизической системы) Инженер целевой системы
Подроли создателя целевой системы/роли команды организации создания (из метаУ-модели, пример киберфизической системы) Визионер целевой системы Архитектор целевой системы Разработчик/developer целевой системы Инженер платформы разработки целевой системы
Проектировщик Технолог Оператор
Роль создателя организации создания целевой системы (из метаУ-модели системного менеджмента) Менеджер (в широком понимании)/инженер предприятия
Подроли организации развития /Подроли команды менеджеров (из метаУ-модели системного менеджмента) Бизнесмен Орг-архитектор Организатор Администратор
Менеджер оргразвития Операционный менеджер
Орг-проектировщик Лидер/управляющий орг-изменениями
Роль создателя клиентуры Продвиженец
Подроли создателя клиентуры/ организации продвижения (из метаУ-модели продвижения) Разбиение, какое определено в учебнике по практике продвижения (маркетинга, рекламы и продаж)
Роль создателя мастерства Учитель
Подроли организации создания мастерства/курсов, школы, факультета, кафедры (из метаУ-модели обучения) Культуртрегер Архитектор учебной программы/curriculum Автор курса Преподаватель Тьютор Декан
Методолог Методист Предметник Лидер
Роль создателя инвестуры Фандрайзер/fundraiser
Подроли фандрайзера/создания инвестуры (из метаУ-модели инвестирования) Разбиение, какое определено в учебнике по привлечению инвестиций

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

Например, администрация (иногда её называют бэк-офис) создаёт и развивает аналог internal development platform (DevOps), только речь идёт о выпуске не продукта, а самой организации-создателя продукта. OrgOps, те самые «сисадмины», только они «оргадмины», ибо их «система» — сама организация, а современные OrgOps создают «организационную платформу», «завод-автомат», который в идеале «тёмный холодный завод», ибо заводу без людей свет и отопление не нужны, но пока там между айтишными системами поддержки финансов, проверки договоров и т.д. всё-таки работают люди из службы администрирования. OrgOps (администраторы) создают эти службы и развивают их2.

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

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

Если обсуждать «инженерию личности», то прежде всего удаётся убрать ограниченность предыдущих подходов в части перехода к «непрерывному всему» от ограниченного подхода с обсуждением жизненного цикла личности (а не постоянного развития личности) как достижения какой-то запроектированной нормы (педагогика) и ремонта в случае отклонения от нормы (психология, медицина). Ремонт в инженерии, конечно, предусмотрен, но сама инженерия сейчас ориентирована на бесконечное развитие систем, включая создание и новых типов систем (open-endedness) как техно-эволюцию. То есть речь идёт не о выпуске людей, изготовленных под какие-то нормы (педагогика, андрогогика) или устранении отклонений от нормы (терапия и психотерапия), а о бесконечном развитии людей, причём не ограничиваясь собственно людьми (эволюцию одного вида нельзя рассматривать независимо). Это полностью меняет ход рассуждений и о том, что такое «человек», приходится решать проблему биологического индивида, но уже в инженерии, определяя границы инженерного проекта.

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

Как это всё происходит и как думать о составных агентах уровня выше организации пока не очень понятно, формулировки проблем типа «роли личности в истории» или работы по «выравниванию/alignment целей агентов по отношению к целям общества» (как это пытаются сделать с AI, очень модная тема) тут мало что дают: этика не даёт чёткого ответа на вопрос о том, кто (какие агенты или их группы) прав или кто неправ при декларировании, как должны быть устроены составные агенты. Непонятно вообще, насколько сообщества и общества можно считать агентами, насколько можно считать государства или хотя бы органы власти (законодательные, исполнительные, судебные) государств агентами.

Работы типа «Designing Ecosystems of Intelligence from First Principles»3 начинают появляться, но там довольно далеко ещё до перехода к нормативным (лучшим, которые должны приниматься всерьёз) практикам создания сообществ и обществ, которые будут достигать минимума свободной энергии на другом уровне неустроенностей, чуть получше сегодняшнего. Для этого, конечно, нужны изобретения (какие функции должны будут выполняться кем или чем из аффордансов, возможно ещё не существующих сегодня?) и затем методы лидерства на уровне сообществ и обществ, чтобы реализовать эти проекты в жизни. Понятно, что речь идёт о системах, которые представляют собой в части вычислителей нейросети из других нейросетей, а системная инженерия для таких систем только-только начинает получать поддержку со стороны практик интеллект-стека. Например, практика риторики специфически направлена на учёт того, что коммуникация ведётся не между двумя устройствами, задействующими строго логичные (в смысле математической логики) вычисления, но между нейросетевыми устройствами, для которых используется prompt engineering.

Архитектура коннективистских систем тоже в зачатке, хотя в AI довольно много работ, посвящённых архитектуре нейросетей. При этом архитектурные метрики для этих архитектур пока разительно отличаются от архитектур для традиционных «модульных» систем: достаточно почитать описания характеристик evolving architecture в книгах по software engineering (много таких книг приведены в курсе «Системная инженерия») и сравнить их с книгами по архитектуре нейросетей. Впрочем, понятие архитектуры (как нарезать на модули/конструктивные части систему, и какими интерфейсами обеспечить связь между этими частями) тоже быстро меняется во времени, стремительно отделяясь от концепции системы (какие конструктивные части какие функции будут выполнять — при обсуждении архитектуры меньше акцент на конкретные функции, ибо «самые главные функции вы будете реализовывать завтра, а не сегодня», это ж учёт «непрерывного всего» в конструкции системы), поэтому каждый раз надо договариваться про архитектуру и что под ней имеется ввиду — и это мало отличается от проектов традиционных модульных систем и систем с коннективистскими (нейросетевыми) архитектурами, где модульность/композиционность важна, но средства её достижения совсем другие. Так, средства достижения модульности в нейросетях — это варианты так называемого «моделирования» прикладных предметных областей, в частности, LoRA моделирования4.

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

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

Отдельный вопрос про обучение инженеров. В текущем подходе инженером оказывается любой агент, который хочет изменить мир к лучшему: «спастись» и, возможно, спасти кого-то или что-то ещё с учётом проблемы биологического и технического индивида, то есть избежать неприятного сюрприза, не исчезнуть, выжить. Это агенты делают через создание каких=то систем, занимаясь инженерией/трудом/практикой. То есть инженер — это любой агент, в том числе любой человек, который что-то меняет в физическом мире, создаёт (или участвует в этом создании, например, создаёт объяснения, по которым будут сделаны улучшения в мире, например, разрабатывает проект системы охлаждения атомного реактора в энергоблоке АЭС).

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

Поскольку инженерами у нас по факту являются все способные к планированию агенты (люди, искусственные интеллекты, всевозможные коллективные интеллекты), то сильному интеллекту надо обучать всех. В какой-то мере практиками мышления из интеллект-стека должны (нормативное утверждение, включает долженствование!) владеть все — и люди, и AI. Впрочем, это уже обсуждалось в первом разделе курса, «Интеллект и практики интеллект-стека». Возможно, имеет смысл вернуться к началу курса (или даже к началу всех курсов) и пройти их ещё раз (включая курс «Системная инженерия», мы тут не стали пересказывать его содержание), чтобы дать своей мокрой нейронной сетке время поработать над усилением собственного интеллекта.

Упражнение: чему посвящены трансдисциплины практик интеллект-стека

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

Мыслительная трансдисциплинаЧем занимается трансдисциплинаСитуация, в которой мне пригодилось бы её знание
Системная инженерия
Методология
Риторика
Этика
Эстетика
Познание/исследования
Рациональность
Логика
Алгоритмика
Онтология
Теория понятий
Физика
Математика
Семантика
Собранность
Понятизация
10

«On the Measure of Intelligence», last revised 25 Nov 2019, https://arxiv.org/abs/1911.01547

15

Фирм, занимающихся нейроинтерфейсами, сейчас множество: Blackrock Neurotech, BrainGate, ClearPoint NeuraLink, Neurable, Precision Neuroscience, Synchron, Kernel, Motif Neurotech. Гуглите, чтобы узнать текущее состояние дел в этой предметной области, там всё меняется очень быстро.

18

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

44

https://en.wikipedia.org/wiki/Agency_(philosophy), the capacity of an autonomous agent to act, relating to action theory in philosophy. https://en.wikipedia.org/wiki/Agency_(psychology), the ability to recognize or attribute agency in humans and non-human animals. https://en.wikipedia.org/wiki/Agency_(sociology), the ability of social actors to make independent choices, relating to action theory in sociology. https://en.wikipedia.org/wiki/Structure_and_agency, ability of an individual to organize future situations and resource distribution.

46

обсуждение коннекционизма против символистского знания, 2016 https://ailev.livejournal.com/1281819.html, а также 2023 в «Об духовность и нечленораздельность», https://ailev.livejournal.com/1665855.html

50

https://en.wikipedia.org/wiki/Extended_cognition, хотя это в разы менее популярный тезис, чем embodied cognition — но кроме embodied, то есть «мозг-не сам по себе, а в-теле», в этот тезис включаются embedded, то есть мышление функционирует только в связанном с ним окружении/environment, enacted — включает не только вычисления в нейронной сети, но и действия, которые делают вещи и организм, а также extended — распространяется на окружение организма

51

https://en.wikipedia.org/wiki/The_Extended_Mind — «And what about socially-extended cognition? Could my mental states be partly constituted by the states of other thinkers? We see no reason why not, in principle."

53

Каламбур намеренный.

59

«Болваны для искусственного интеллекта», https://ailev.livejournal.com/1356016.html

79

Посмотрите примеры неоптимальности эволюционных решений. Всё работает, но крайне неэффективно, ибо наследуются какие-то черты конструкции из предыдущих поколений. Скажем, у рыб не было шеи, и гортанный нерв от мозга к горлу шёл по оптимальной прямой траектории, у человека с этим уже плохо и не оптимально, нерв «возвратный», ибо проходит через петельку кровеносных сосудов около сердца а у жирафа такая петелька вообще вызывает удивление своей неоптимальностью: https://ru.wikipedia.org/wiki/Возвратный_гортанный_нерв. Ни один рациональный конструктор такого бы не допустил!

84

Ключевая работа тут была — https://arxiv.org/abs/2203.15556

85

we show in the technical paper that with just 30 minutes of focused training on a newly presented complex task, the [pretrained on multiple tasks] agents can quickly adapt, whereas agents trained with RL from scratch cannot learn these tasks at all, https://deepmind.com/blog/article/generally-capable-agents-emerge-from-open-ended-play

89

«Этот человек в топ-1% по навыкам кодинга 💯, скорее даже 0.01%, и при этом он делает то, чего я часто не вижу у вопрошающих людей в Slack/телеграм чатах/у стажеров на работе. Он видит ошибку И СРАЗУ ЕЕ ГУГЛИТ, НЕ СТЕСНЯЯСЬ. И, внезапно, находит решение 😱. Я не знаю, почему люди этого не делают, быть может думают, что умные и сами разберутся» — https://t.me/seeallochnaya/414

94

, The Book of Why: The New Science of Cause and Effect, https://www.amazon.com/Book-Why-Science-Cause-Effect-ebook/dp/B075DCKP7V/

104

хорошо описано у него в книжке «Думай медленно... решай быстро» — https://www.amazon.com/Thinking-medlenno-reshay-bystro-Russian/dp/5170800533/

105

https://arxiv.org/abs/2203.15556, пояснения на русском с https://t.me/gonzo_ML/1216

111

https://libcat.ru/knigi/religioznaya-literatura/samosovershenstvovanie/390938-dzhon-grinder-shepot-na-vetru.html — описание подхода на русском языке, от одного из соавторов подхода, профессора лингвистики.

112

The Routledge Handbook of Semiosis and the Brain, 2022: Neurosemiotics aims to identify and explain the neural processes and mechanisms that manifest as sign-relations in the animal kingdom, thereby supplying semiotic models to neurobiological accounts.

124

Shlomo Vaknin, «The Big Book of NLP, Expanded: 350+ Techniques, Patterns & Strategies of Neuro Linguistic Programming», 2010, 828 страниц

125

https://arxiv.org/abs/2210.12761 от Friston со товарищи, https://arxiv.org/abs/2301.10077 от Ванчурин со товарищи, https://www.mdpi.com/1099-4300/25/1/129 вот от от Hoffman со товарищи, https://writings.stephenwolfram.com/2023/02/computational-foundations-for-the-second-law-of-thermodynamics/ от Wolfram, constructor theory https://www.constructortheory.org/ по факту про то же.

153

//www.f******k .com/igorberkhin/posts/935121679939782

154

Джудит Анодея, «Чакры. Полная энциклопедия для начинающих», https://www.ozon.ru/context/detail/id/139419314/

160

Статья: https://disk.yandex.ru/i/R-KOlFtVUUttcg (можно почитать краткий пересказ её идей — https://selfawarepatterns.com/2019/09/29/a-standard-model-of-consciousness/).

172

https://www.litres.ru/book/dzhedayskie-tehniki-23590168/ и https://www.litres.ru/maksim-dorofeev/put-dzhedaya/. Тщательно отфильтровывайте в этих книгах восточную эзотерику! Вся эта «восточная философия» легко уводит от сути дела. Оставляйте только рациональные советы.

178

см. «Визуальное мышление. Доклад о том, почему им нельзя обольщаться» с возражениями против визуального мышления в пользу текстовых моделей https://ridero.ru/books/vizualnoe_myshlenie/

179

доклад Антона Меркулова про успех текстового представления для мышления об архитектуре предприятия — https://www.youtube.com/watch?v=6EWUpa-5lSo, эксперименты в OpenMeta в 2003-2005 году по усилению формализма в текстах, стиль «метлан» — https://openmeta.livejournal.com/16970.html

180

пара видео выпускников курса системного менеджмента ШСМ о результатах таблично-текстового моделирования в современных productivity tools (главным образом coda.io): https://www.youtube.com/watch?v=JlXeQxAkDf0 и https://www.youtube.com/watch?v=KAQzn5GvMNw.

182

Модели выражаются преимущественно схемами, а не диаграммами. Диаграммная техника хороша только на самых начальных стадиях умственной работы, начальных стадиях группового размышления. См. подробней в книге «Визуальное мышление. Доклад о том, почему им нельзя обольщаться», https://ridero.ru/books/vizualnoe_myshlenie/

191

Впервые иллюзия была предложена ещё в 1901 году, https://archive.org/details/factfableinpsych01jast/page/295/mode/2up

200

https://lab42.global/arcathon/ — набор задач на распознавание паттернов компьютеры решают на 31%, а люди — на 80%. Хотя многие другие тесты компьютеры уже проходят не хуже людей — https://super.gluebenchmark.com/leaderboard

201

Обучение представлениям (representation learning), https://ailev.livejournal.com/1045081.html

202

«The Geometry of Meaning: Semantics Based on Conceptual Spaces», Peter Gärdenfors, https://www.amazon.com/Geometry-Meaning-Semantics-Conceptual-Spaces/dp/0262533758/

203

https://www.ruthenia.ru/ruth/contents_semiotica.html — оглавление спецвыпуска 125 журнала Semiotics, 1999 год

205

https://en.wikipedia.org/wiki/Chinese_characters — история китайского иероглифического письма

209

https://www.amazon.com/dp/0262720205, Handbook of Theoretical Computer Science - 2 Vol Set by Jan van Leeuwen, 1994, 2293 pages

213

https://arxiv.org/abs/2301.00942, раздел 2.3.1. Universal approximation results

222

это подробно обсуждается в книге «Визуальное мышление», https://ridero.ru/books/vizualnoe_myshlenie/

232

«Теоретическое и компьютерное моделирование логических рассуждений» http://ailev.livejournal.com/915253.html

242

Хренников А. Ю. Введение в квантовую теорию информации. — М.: ФИЗМАТЛИТ, 2008. — 284 с.

262

https://en.wikipedia.org/wiki/Proof_theory (и там смотрите Formal and informal proof)

265

https://royalsocietypublishing.org/doi/10.1098/rstb.2014.0167, "Consciousness: here, there and everywhere?", 2015, by Giulio Tononi and Christof Koch

322

https://arxiv.org/abs/2012.01150, слайды и видео рассказа от декабря 2022, https://philomatica.org/2022/12/univalent-foundations-and-applied-mathematics/

327

The simplification in integration architecture that 4D supports https://gateway.newton.ac.uk/sites/default/files/asset/doc/2105/Ian%20Bailey.pdf

336

https://planetmath.org/informaltypetheory, и такие тексты, как "свобода от логики", https://golem.ph.utexas.edu/category/2012/11/freedom_from_logic.html, traditional mathematics is usually written in natural language (with some additional helpful symbols), but in a way that all mathematicians can nevertheless recognize as “sufficiently rigorous” — and it’s generally understood that anyone willing to undertake the tedium could fully formalize it in a formal system like material set theory, structural set theory, or extensional type theory. By analogy, therefore, we would like an “informal” way to write mathematics in natural language which we can all agree could be fully formalized in homotopy type theory, by anyone willing to undertake the tedium.

337

On the Measure of Intelligence, https://arxiv.org/abs/1911.01547, 2019

359

типа вот этого: https://www.motionmountain.net/index.html и в нём какие-то обобщения типа вот этого: https://www.motionmountain.net/9lines.html.

361

вот пример 1973 года изготовления, на относительно древнем физическом материале: https://triz-summit.ru/triz/metod/physics/

375

Проблемы обучения методологическим дисциплинам, 2019, https://ailev.livejournal.com/1466484.html

379

Тяни-толкай в коннекте и минимизация усилий для рывка и блокирования — https://vk.com/wall-179019873_1622

392

Наиболее ярко это делает в своих работах George Lakoff, https://en.wikipedia.org/wiki/George_Lakoff

401

Nicola Guarino, Daniel Oberle, and Steffen Staab, What Is an Ontology?, in S. Staab and R. Studer (eds.), Handbook on Ontologies, Springer-Verlag, 2009

402

Karl Friston, Embodied inference: or "I think therefore I am, if I am what I think" In W. Tschacher, C. Bergomi (Eds.), The implications of embodiment: Cognition and communication (pp. 89–125). Imprint Academic., https://www.fil.ion.ucl.ac.uk/~karl/Embodied%20Inference.pdf

404

Онтологическая инженерия в 2022, https://ailev.livejournal.com/1653296.html

405

Раздел «CYC никуда не делся, продолжает делать и исправлять свои ошибки», https://ailev.livejournal.com/1610230.html (2022)

408

Эти разные, разные «меты», https://ailev.livejournal.com/1053878.html

409

Этот сценарий взят из «Слова-термины важны, и не важны» https://ailev.livejournal.com/1442764.html, этот материал в каком-то виде присутствует в курсах системного мышления и системного менеджмента.

415

Kit Fine, The Identity of Social Groups, 2020 https://metaphysicsjournal.com/articles/10.5334/met.45/

416

Salvatore Florio, Core Constructional Ontology (CCO): a Constructional Theory of Parts, Sets, and Relations, 2021, https://gateway.newton.ac.uk/presentation/2021-04-22/29947

417

Chris Partridge, 4-Dimensionalist Top Level Ontology, https://gateway.newton.ac.uk/presentation/2021-04-22/29946

420

https://ai.googleblog.com/2022/04/pathways-language-model-palm-scaling-to.html — там одна из самых популярных иллюстраций, мы уже приводили эту работу, когда обсуждали нейросемиотику в подразделе «Понятизация». Вот ещё одна работа на эту тему: https://arxiv.org/abs/2206.07682

428

https://ailev.livejournal.com/1265432.html, Этот подход продолжает реализовываться, см. доклад Кушниренко и Райко «Дошкольная информатика без компьютера» (видео второго доклада https://vimeo.com/337031069, слайды http://g-l-memorial.ice.ru/files/941738/Kushnirenko_Raiko_2019.pptm).

430

SICP (Structure and Interpretation of Computer Programs вышел в 1979 году, 41 год назад), он был «фундаментальным курсом» для computer science (https://mitpress.mit.edu/sites/default/files/sicp/index.html).

431

In short, SICP, Scheme, and functional programming don’t prepare students properly for other programming courses and thus fail to meet a basic need — https://www2.ccs.neu.edu/racket/pubs/jfp2004-fffk.pdf. Название этой критики SICP ровно то, что нам нужно — The Structure and Interpretation of the Computer Science Curriculum (Matthias Felleisen, Northeastern University, Boston, MA, USA, Robert Bruce Findler, University of Chicago, Chicago, IL, USA, Matthew Flatt, University of Utah, Salt Lake City, UT, USA, Shriram Krishnamurthi, Brown University, Providence, RI, USA).

439

самое ранее упоминание было в 2019 году — http://chemistry-chemists.com/forum/viewtopic.php?f=45&t=1600&start=100, это краткое изложение более длинного и полного рассказа catcha в 2011 году, https://www.multitran.com/c/m.exe?a=4&MessNum=257738&l1=1&l2=2

440

первый доклад в https://vimeo.com/553810189, слайды https://yadi.sk/i/F6e33aVANX3J3g

455

http://www.isattentionallyouneed.com/, но есть и разные другие варианты оценок, например, https://www.metaculus.com/questions/4892/transformers-as-lm-sota-in-2025/

468

См. ленту новостей по алгоритмике для универсальных алгоритмов (алгоритмов AI), https://syncedreview.com/

474

Краткий рассказ в https://selfawarepatterns.com/2019/09/29/a-standard-model-of-consciousness/, полное изложение в https://yadi.sk/i/jNrkSyc-9ohRIA

485

Friedrich Ludwig Gottlob Frege (b. 1848, d. 1925), https://plato.stanford.edu/entries/frege/

493

Подробней эту линию рассуждения про преимущества рациональности перед восточным упованием на интуицию и «непосредственное знание» см. в текстах «об членораздельное и голографическое в социологии» http://ailev.livejournal.com/1281819.html и «об интуицию и чуйку» http://ailev.livejournal.com/1295595.html.

503

E.T.Jaynes, «Probability theory: the logic of science», 2003, https://b-ok.cc/book/539703/d8b66c

505

E.T.Jaynes, «… if degrees of plausibility are represented by real numbers, then there is a uniquely determined set of quantitative rules for conducting inference. That is, any other rules whose results conflict with them will necessarily violate an elementary and nearly inescapable desideratum of rationality or consistency. But the final result was just the standard rules of probability theory, given already by Bernoulli and Laplace; so why all the fuss? The important new feature was that these rules were now seen as uniquely valid principles of logic in general, making no reference to «chance» or «random variables"; so their range of application is vastly greater than had been supposed in the conventional probability theory that was developed in the early twentieth Century . As a result, the imaginary distinction between «probability theory» and «statistical inference» disappears, and the field achieves not only logical unity and simplicity, but far greater technical power and flexibility in applications».

506

«Правдоподобия, P-значения и кризис воспроизводимости»: https://habr.com/ru/post/430190/

509

«за пределами STEM-образования», http://ailev.livejournal.com/1283663.html

510

«пониманию учить вдвое дольше, чем просто навыку», http://ailev.livejournal.com/1285014.html

513

«Осознанность против зеркальных нейронов», https://ailev.livejournal.com/1284158.html

514

«Пониманию учить вдвое дольше, чем навыку», https://ailev.livejournal.com/1285014.html

516

Вот тут говорится с одной стороны о синонимии, но с другой стороны подчёркивается изучение разных отношений в ходе познания: https://ru.wikipedia.org/wiki/Эпистемология

520

https://plato.stanford.edu/entries/pragmatism/ — и найдите там поиском pragmaticism и описание отличия от pragmatism.

529

Judea Pearl: «I will treat causal inference as a new branch of logic, thriving upon its own semantics, grammar and computational tools and capable of quantifying its own capabilities and limitations» — https://www.cs.ucla.edu/upcoming-events/cs-201-what-is-causal-inference-a-logical-perspective-judea-pearl-ucla-computer-science-department/

531

, The Book of Why: The New Science of Cause and Effect, https://www.amazon.com/Book-Why-Science-Cause-Effect-ebook/dp/B075DCKP7V/

542

краткое изложение по черновику статьи Pearl для Communications of ACM, http://ftp.cs.ucla.edu/pub/stat_ser/r481.pdf

567

https://www.sciencedirect.com/science/article/pii/S0303264720301994, там 8.4. Linearity of quantum representation: exponential speed up for biological functioning и ещё в https://www.frontiersin.org/articles/10.3389/fnbot.2022.910161/full.

571

см. раздел decision theory в https://en.wikipedia.org/wiki/Many-worlds_interpretation

588

The three kinds of value judgments are Beauty, Goodness, and Truth. They determine the three kinds of normative science: Aesthetics, Ethics, and Normative logic. Peirce equated normative logic with logic as semiotic. But all sciences, including the normative sciences, depend on mathematics and mathematical logic (AKA formal logic). All empirical sciences, including the normative sciences, depend on phenomenology for the analysis and interpretation of perception. The three parts of normative logic (AKA logic as semiotic) are (1) Critic, which is formal logic; (2) Grammar; and (3) Methodeutic, which is Peirce's name for the methodology of science. All these issues were discussed and analyzed in detail by Aristotle, debated for centuries by the Greeks, Romans, and Arabs, and developed to a high level of sophistication by the medieval Scholastics. The books called «logic'' from the 13th to the 19th centuries discussed all these issues. But the 20th c. logicians ignored all but the formal logic. They did a lot of good work on logic, but they also lost a great deal. That is why I said that they wasted too much time studying Frege — who ignored everything except the formal part. — это рассказано John Sowa в https://groups.google.com/g/ontolog-forum/c/xwFwCa0j8qI/m/iufObRmbAAAJ

589

Обсуждение критического мышления в Стенфордской философской энциклопедии: https://plato.stanford.edu/entries/critical-thinking/

590

http://www.insightassessment.com/content/download/620/3992/file/DELPHI+RESEARCH+TABLE+4+2014+redesign.pdf. Critical thinking is a process, a purposeful and reflective process of problem solving and decision making, aimed at making a reasoned judgment about what to believe or what to do. In forming this judgment a person employs their critical thinking skills. These skills are described in detail, with examples, in the 1990 APA Delphi Report which presented an expert consensus conceptualization of critical thinking.

591

подборка материалов на русском — http://evolkov.net/critic.think/

628

более формальное описание в https://arxiv.org/abs/1406.2661

636

по мотивам https://arxiv.org/abs/2106.06561 и чуть более старой работы https://arxiv.org/abs/1905.10742

678

Пример такой истории: «Семеро «жестоких вредителей» спасли морских рыб от уважаемого автора 250 научных работ», https://naked-science.ru/article/nakedscience/semero и в пределе это сформулировано в «не быть токсичным учёным», http://lleo.me/dnevnik/2021/03/05_toxic

679

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

681

Материалы по этике на русском в каком-то количестве есть вот тут, но там не обсуждается многоуровневость этики: https://vk.com/reducing_suffering

689

текст А. Левенчука 1999 года про контрактные юрисдикции, https://old.computerra.ru/1999/320/196008/, более свежий обзор панархизма/контрактных юрисдикций/частных юрисдикций, https://medium.com/libertarian-state/контрактные-юрисдикции-краткое-введение-8153668ed268

690

Есть книга на эту тему: https://www.litres.ru/daniel-kaneman/shum-nesovershenstvo-chelovecheskih-suzhdeniy/, но можно сомневаться, что предлагаемые в ней меры как-то решат проблему.

695

Карл Фристон: по важным вопросам разделение всегда будет 50-50, дело в самих обсуждениях/коммуникациях, в «Теория демократии и "всё новое приходит сбоку"», https://ailev.livejournal.com/1616855.html

697

https://plato.stanford.edu/entries/metaethics/ и там дальше https://plato.stanford.edu/entries/constructivism-metaethics/, и в целом про возникновении знания по морали https://plato.stanford.edu/entries/moral-epistemology/, но ещё это развитие этики как объяснительной теории (хотя и нормативная, но всё-таки это объяснительная теория, объясняющая причины и следствия принятия этических решений) у Дойча популярно и по-русски раскрывается в «Начале бесконечности».

730

Подробней про современные подходы к рациональности: https://ailev.livejournal.com/1619025.html.

731

Речь идёт о подходе active inference, https://www.activeinference.org/

736

Юрий Кузнецов, «Игры с пустотой: трактовка рациональности в общественных науках" (слайды: http://g-l-memorial.ice.ru/files/389900/Kuznetsov_2015.ppt, видео — первый доклад в https://vimeo.com/128684810).

740

Фридрих Август фон Хайек, «Дорога к рабству», http://libertarium.ru/l_lib_road97a7.html?PRINT_VIEW=YES

741

Фридрих Август фон Хайек, «Индивидуализм и экономический порядок», глава 1. Индивидуализм истинный и ложный, https://libertarium.ru/994097a7.html?PRINT_VIEW=YES

4

На примере нейронной сети Stable Diffusion понятие модели: https://stable-diffusion-art.com/models/ (и там модели checkpoint, LoRA, hypernetworks, textual inversions), что такое LoRA модели (https://stable-diffusion-art.com/lora/), LoRA модели (библиотечка, поглядите на разнообразие, там счёт на тысячи): https://civitai.com/tag/lora. Активно развиваются подобные подходы и для текстовых больших языковых моделей (LLM).