lytdybr
Пишу целыми днями про инженерные обоснования и "обосновательные дела" (assurance case, ровно по образцу судебного дела, в том числе это и папка "Дело №___"), опять страдаю по поводу труднопереводимости английских терминов. Стандартов на эту тему много, терминология в них разная (claim/goal, argument/strategy, justification/context, evidence/solution -- ничего себе синонимы, да? Хотя не совсем синонимы). И разделение requirement, rationale, claim. И понимание, что хотят все рациональных обоснований, но по факту всё сводится к теории принятия решений, в которой уже всё непросто (дело ж не в формальных методах типа деревьев Голдратта или argument maps или представленных в инженерных стандартах IEEE, OMG или goal-oriented requirements engineering, и не только в том, что перешли к байесовским вероятностям, но ещё ведь и квантовая вероятность, и всё это осложняется многоуровневостью оптимизации при принятии решения). И это мы даже не дошли до собственно испытаний. И нужно ещё добавить безмасштабности, а то вся литература главным образом из NASA или от программистов. И ещё всё это мало похоже на agile, но надо в итоге, чтобы и agile был представлен, вместе с continuous delivery и тамошними обоснованиями (и тут упор, конечно, на SRE, а не собственно на DevOps). Разгребать это, конечно, надо год-другой, но справиться мне нужно за неделю-другую и за пару десятков страниц выходного текста. Утешает только то, что по-русски почитать про это всё практически негде, и мне нужно делать не прикладной курс, а приводить самые общие соображения: в голове должно остаться то, что "нельзя не обосновывать, и думать об обоснованиях нужно заранее и вообще всё время". А уж как именно думать для тех или иных систем -- это к прикладным курсам. Так что release early, release often -- даже если не получится написать превосходную и чудесную главу учебника, я как минимум очерчу полянку, о чём хорошо бы помнить в самых разных проектах по части обоснований их успешности.
Обсуждал несколько раз за последние дни риторику, коммуникацию, меметику -- разве это не про одно и то же? Нет, не про одно и то же:
-- если нужно сподвигнуть на действие (договориться), то нужна коммуникация. Какой-то курс коммуникации у нас уже есть, в составе курса "Онтологика и коммуникация".
-- если нужно создать убедительный текст для коммуникации, то нужна риторика (и там много разного внутри, например, вспоминаем https://ailev.livejournal.com/1491835.html и схематизацию с рендерингом https://ailev.livejournal.com/1494762.html, и там уже внутри всякие "нарративизации" и "вечные сюжеты"). Тут идут какие-то подвижки, исследуем вопрос.
-- если нужно убедиться, что какая-то идея будет реплицироваться (что-то типа TED, "идеи, достойные распространения") в самых разных коммуникациях, то это меметика. Меметика тут не столько про способ донесения (скажем, построение историй), сколько про сами доносимые идеи, которые или будут массово реплицироваться, или таки не будут. Скажем, иммунные системы против каких-то вредных идей (по Джону Дойлю) -- это тут. У меня по плану это на осень (судя по всему, уже на позднюю осень).
Обсудили сегодня, нужны ли доработки Aisystant для начальной версии материалов по системному фитнесу. Пришли к выводу, что не нужны. Вместо картинки руки человека в качестве оглавления отлично сработает слово "рука", а если нужно и впрямь показать позу, то это надо делать не в оглавлении, а в тексте курса. Так что материал курса будет пока в виде книжки с картинками и где-то через неделю можно будет осторожно смотреть первые прикидки. По содержанию там идёт такт методологической работы: в качестве чеклиста используем мета-мета-модель инженерии. И пытаемся разделить "справочник" по практикам и собственно "курс" как последовательность предъявления материалов и последовательность упражнений. Меня не оставляет мысль, что в курс нужно включать "статистические" (а не комбинаторно-структурированные) методы поиска -- "ощупывание и лепетание" в терминах, предлагаемых Фристоном-Филдсом-Левиным в https://www.youtube.com/watch?v=J6eJ44Jq_pw, все эти попытки вызвать реакции своими действиями и попытки разобраться, что из этих реакций внешние, а что таки вызваны действиями, где граница "меня" и "мира" (в данном случае "подчиняющегося мне моего тела, сомы" и "тела, которое я изучаю пока как внешний мир"). Или же это стохастические методы градиентного спуска (те же ощупывания и лепетания), используемые в глубоком обучении. Всё это про одно и то же: активное познание, в данном случае познание собственного тела как первый шаг в ритме-цикле телесной работы (про ритмы-циклы тоже у Фристона-Филдса-Левина говорится, и даже про 300мс как некоторая биологическая константа для ритмики). Но обсудить это по содержанию пока не с кем, увы.
Мои линии исследований, как я их формулировал бы сегодня (и последовательность отражает последовательность переписки текстов, куда должны войти результаты всех этих исследований):
-- безмасштабность/фундаментальщина/"деятельный/инженерный интеллект" (собственно, я как раз этим сейчас занят: переписываю большинство курсов с учётом этих идей, включая системную инженерию как фундаментальный нормативный курс). И тут ещё про творчество и эволюцию нужно подкрутить, куда-то сюда тризовские принципы развития технических систем, это ж тоже про эволюцию. И далее архитектурная работа (впрочем, и реверс-инженерия архитектуры надсистемы как инженерия требований) вся на этом, и тризовские законы развития технических систем ведь тоже про это.
-- прикладные курсы (менеджмент, системный фитнес, программная инженерия и так далее по всему списку). Этим заниматься в фоновом режиме, но системный менеджмент надо переписать быстро как пример, равно как и "Мастерство обучать образованных", ибо без них прикладного ничего не будет.
-- дырки в интеллект-стеке (рациональность прежде всего, и ещё алгоритмика, а также собранность, а также разные выходы на TAE). Тут начать и кончить, в том числе все эти "ощупывания-лепетания", планирование и контрфактуальные рассуждения для "рациональных агентов среди всех этих частиц и существ", квантовоподобная рациональность, варианты объяснений и т.д.. Это всплывёт во время переписки ОдО.
-- меметика (и там пока на почти нуле, это на позднюю осень), стилистика и меметическая эволюция. И тут выход на социальную (сообщества-общества) инженерию.
Обсуждал несколько раз за последние дни риторику, коммуникацию, меметику -- разве это не про одно и то же? Нет, не про одно и то же:
-- если нужно сподвигнуть на действие (договориться), то нужна коммуникация. Какой-то курс коммуникации у нас уже есть, в составе курса "Онтологика и коммуникация".
-- если нужно создать убедительный текст для коммуникации, то нужна риторика (и там много разного внутри, например, вспоминаем https://ailev.livejournal.com/1491835.html и схематизацию с рендерингом https://ailev.livejournal.com/1494762.html, и там уже внутри всякие "нарративизации" и "вечные сюжеты"). Тут идут какие-то подвижки, исследуем вопрос.
-- если нужно убедиться, что какая-то идея будет реплицироваться (что-то типа TED, "идеи, достойные распространения") в самых разных коммуникациях, то это меметика. Меметика тут не столько про способ донесения (скажем, построение историй), сколько про сами доносимые идеи, которые или будут массово реплицироваться, или таки не будут. Скажем, иммунные системы против каких-то вредных идей (по Джону Дойлю) -- это тут. У меня по плану это на осень (судя по всему, уже на позднюю осень).
Обсудили сегодня, нужны ли доработки Aisystant для начальной версии материалов по системному фитнесу. Пришли к выводу, что не нужны. Вместо картинки руки человека в качестве оглавления отлично сработает слово "рука", а если нужно и впрямь показать позу, то это надо делать не в оглавлении, а в тексте курса. Так что материал курса будет пока в виде книжки с картинками и где-то через неделю можно будет осторожно смотреть первые прикидки. По содержанию там идёт такт методологической работы: в качестве чеклиста используем мета-мета-модель инженерии. И пытаемся разделить "справочник" по практикам и собственно "курс" как последовательность предъявления материалов и последовательность упражнений. Меня не оставляет мысль, что в курс нужно включать "статистические" (а не комбинаторно-структурированные) методы поиска -- "ощупывание и лепетание" в терминах, предлагаемых Фристоном-Филдсом-Левиным в https://www.youtube.com/watch?v=J6eJ44Jq_pw, все эти попытки вызвать реакции своими действиями и попытки разобраться, что из этих реакций внешние, а что таки вызваны действиями, где граница "меня" и "мира" (в данном случае "подчиняющегося мне моего тела, сомы" и "тела, которое я изучаю пока как внешний мир"). Или же это стохастические методы градиентного спуска (те же ощупывания и лепетания), используемые в глубоком обучении. Всё это про одно и то же: активное познание, в данном случае познание собственного тела как первый шаг в ритме-цикле телесной работы (про ритмы-циклы тоже у Фристона-Филдса-Левина говорится, и даже про 300мс как некоторая биологическая константа для ритмики). Но обсудить это по содержанию пока не с кем, увы.
Мои линии исследований, как я их формулировал бы сегодня (и последовательность отражает последовательность переписки текстов, куда должны войти результаты всех этих исследований):
-- безмасштабность/фундаментальщина/"деятельный/инженерный интеллект" (собственно, я как раз этим сейчас занят: переписываю большинство курсов с учётом этих идей, включая системную инженерию как фундаментальный нормативный курс). И тут ещё про творчество и эволюцию нужно подкрутить, куда-то сюда тризовские принципы развития технических систем, это ж тоже про эволюцию. И далее архитектурная работа (впрочем, и реверс-инженерия архитектуры надсистемы как инженерия требований) вся на этом, и тризовские законы развития технических систем ведь тоже про это.
-- прикладные курсы (менеджмент, системный фитнес, программная инженерия и так далее по всему списку). Этим заниматься в фоновом режиме, но системный менеджмент надо переписать быстро как пример, равно как и "Мастерство обучать образованных", ибо без них прикладного ничего не будет.
-- дырки в интеллект-стеке (рациональность прежде всего, и ещё алгоритмика, а также собранность, а также разные выходы на TAE). Тут начать и кончить, в том числе все эти "ощупывания-лепетания", планирование и контрфактуальные рассуждения для "рациональных агентов среди всех этих частиц и существ", квантовоподобная рациональность, варианты объяснений и т.д.. Это всплывёт во время переписки ОдО.
-- меметика (и там пока на почти нуле, это на позднюю осень), стилистика и меметическая эволюция. И тут выход на социальную (сообщества-общества) инженерию.