В своих теоретических изысканиях я, как Алёнушка из сказки, «ссылка за ссылкой» в статьях, захожу в дебри, где лежат забытые и запыленные, но очень интересные артефакты знания. Археология знания, как есть. Нынче, несколько тоннелей привели меня к книге Jane Lave «Cognition in Practice. Mind, Mathematics and Culture in Everyday Life»...
Activity Vocabulary — неплохая, в общем-то, деятельностно-основанная (это я так пытаюсь activity-based переводить) онтология, стандартизированная консорциумом W3C в 2017 году. Всё подкупающе просто, в ядре пяток классов. Класс Activity содержит свойства actor | object | target | result | origin | instrument, наслаждайтесь. Группа специализаций Activity даёт инвентарь типов действий....
Две недели назад TOG выпустил ArchiMate 3.1 на замену ArchiMate 3.0.1. Нововведений не много. Ланхорст в статье рассказывает про главные: Value Chain, directed associations («The addition of a directed association relationship is a small improvement with great potential.» — пользователи UML умилились) и derivation of relationships. Последнее наиболее интересно, хотя...
Research Managed Epistemology (as ‘managed languages’ in Software Engineering) An attempt to redefine Computational Epistemogy as an applied discipline with ‘actionable knowledge’ as a first-class theoretical object, instead of ‘justified true belief’ in the traditional approach, amplifying it with generalized conceptual instrumentation from systems/software engineering, and constructivist/enactivist philosofical foundations. https://anticomplixity.org/...
«Вся аналитическая философия сознания в мире англоязычная, у нас в этой сфере работает всего около десяти серьезных специалистов, и писать сегодня на русском языке о сознании – значит плыть против течения. Аналитическая философия непереводима в социальном смысле слова. Если хотите заниматься ею профессионально, вас ждет, например, Австралия.» FAQ по аналитической...
Я нередко употребляю понятие «эпистемическая управляемость теории». В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как «несогласованность», «неполнота» или «семантическая коллизия», но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической управляемости теории. Логика...
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, «Математическая теория коммуникации» 1949. «Математическая» — про вычисления, «коммуникация» — про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. «Целостная» — не столько значит «хорошая», сколько «покрывающая весь эпистемический спектр». Покрывающая только тремя уровнями (tiers) —...
Вышел Указ № 148 «О цифровых банковских технологиях». Сел почитать и по ходу дела накидал в ArchiMate схему закона (первые 10 пунктов) в качестве упражнения. Интересно, вот без всякой подготовки в моделировании и в нотации ArchiMate 3, насколько что-то их этих схем понятно юристам и неюристам? Одна из задач #ТёмныйМоделер — такие...
Уже многие годы, прорабатывая разные проекты (и бизнес-схемы, и эпистемические модели), вою воем от досады по поводу отсутствия хороших инструментов для моделирования. Качественное схватывание и выражение сложных доменов, вроде юриспруденции, требует своего, особого выразительного подхода. Ни один из существующих сейчас и известных мне подходов к моделированию таких доменов И инструментов...
Computational law. Вычислительное право: состояние, задачи, проблемы from Yehor Churilov
