антисложность вычислительное право | управляемая эпистемология | теория внимания
-
45-минутное введение в Управляемую эпистемологию на семинаре «Философия + IT». Слоган: Управляемая эпистемология радикальным образом дисциплинирует философский дискурс, связанный с рефлексией знания. 00:00:00 Вступительное слово, Леонид Жуков 00:01:45 Егор Чурилов. Предварительные замечания, пространство имён 00:04:08 Основания теории 00:06:35 Эпистемология и управляемая эпистемология в новом сложном мире 00:09:36 максима УЭ: «знание...
-
Управляемая эпистемология — инженерный протокол управления знанием о знании. Знание рассматривается, как состояние рефлексивного аппарата агента, которое обеспечивает его действие или определяет практики поведения в среде. Знание о знании — специфичные рефлексивные состояния, которые обеспечивают уже не практики действия в среде и со средой, а практики целесообразного изменения самого знания....
-
Есть гипотеза (или уж не гипотеза, а принятый факт), что разум примата развился в человеческий в значительной мере по причине наличия рук — свободных конечностей, которые предоставляют особый манипулятивный (от manus, рука) доступ к миру. То бишь, фронтальное расположение глаз, дающее особую оптику, и возможность подносить к ним предметы руками...
-
1 Центральный вопрос «Расширенного фенотипа» Р.Докинза можно развести на две рубрики: поиск репликатора, т.е. хорошо фиксируемого [микро]биологического объекта, на который можно непротиворечиво повесить главную роль в целенаправленном (?) регулировании актуального фенотипического разнообразия в цепочке воспроизводства популяции; определения концептуальных границ этого разнообразия. Среди рассматриваемых кандидатур — популяция, организм, орган, клетка, но...
-
1 В чём проблема, откуда взялась Деятельность человека и группы целесообразно изменяет мир. Мышление обеспечивает деятельность. По причинам, известным только Верхним, любое живое существо стремиться уменьшить расходы на действие и одновременно увеличить эффект от действия. Развитое мышление позволяет изменять мир и достигать целей с наименьшими затратами и наибольшим возможным эффектом....
-
14 октября в Минске состоялся митап с темой «Вертикальная интеграция вычислительных архитектур — проблема медиатора», на котором я представлял доклад на данную тему. Тезисы, вокруг которых строилась презентация и обсуждение: CA = connectonist architecture; SA = symbolic architecture (or approach) «Вертикальная» архитектура — это про целостное решение некоторой проблемы, «сверху...
-
Антисложность Простота. Наименьшая сложность, способная победить бóльшую сложность. То, что не усложнишь более, чем оно есть.
Очередная пара тематических обзоров (1, 2) SotA от А.Левенчука ещё раз показывает долгосрочный дрейф понимания интеллект-стека, где важными, если не ключевым узлами стоят «эпистемология» и «действие». Т.е. именно то, что для УЭ является частями ядерной теоретической архитектуры. УЭ находится уже в точке, куда этот процесс пытается (часто весьма неуклюже) продвинуться....
Управление социализацией онтологий Проблема с «программированием на онтологиях» Онтологии в энактивных архитектурах
В исследованиях по построению вычислимых дейцентричных правовых онтологий я экспериментирую с белорусскими кодексами. Для работы без хороших инструментов, которые ещё нужно создать, относительно простым для моделирования материалом оказываются ПДД + КоАП. Но «простой» здесь означает лишь проще чем, например, трудовой или налоговый кодекс. Процесс построения модели на основе текстов выявляет...
В дискуссиях про структуру современного знания мне приходится часто указывать на неосознаваемые, неуправляемые онтологические рекурсии при осмыслении предельных вопросов, и про то, что закостыливание этих проблем, инстинктивное или представляемое в виде некой прогрессивной конструкции, продолжающееся веками, привело к архитектуре эпистемических костылей, которую локальными перестройками уже не изменишь, а в таком...
«A Common Legal Platform» — концептуальная архитектурная разработка коллектива под названием Liquid Legal Institute e.V. Сходу заявляют о своём радикализме в отношении цифровой трансформации закона: The legal ecosystem must reinvent itself, while also reflecting the particular importance of law. Этот радикализм, подозреваю, скрыто исповедуют многие из тех, кто занимается разработкой...
Вышел очередной отчёт лаборатории вычислительного права MIT: Drafting X2RL: A Semantic Regulatory Machine-Readable Format. Исследователи MIT вводят новый формат представления регуляторных данных: X2RL (eXtensible Regulatory Reporting Language), с попыткой преодолеть ограничения существующих в Штатах и для американского контекста (в Европе иные) синтаксических форматов USLM и Akoma Ntoso. Главные цели определены...
Sergot M., A Computational Theory of Normative Positions. Логические формализмы вроде презентованного здесь читать непросто, да и не очень интересно. Интересны границы метода. Например, ввод-вывод в формализм. Приведённый ниже отрывок взят из примера практического использования логики (формализм Norman-G): Note [2]. We are supposing for the purpose of the example that...
Заметка на полях исследований стека технологий для дейцентричного процессинга. Оператор negation в спецификации SPARQL проявляет интересную проблему с интеграцией разноуровневых онтологий и эпистемических вычислений. Данные, представленные в блоке «Data»- текущая онтика, набор фактов, организованный в соответствии с какой-то онтологией (О1). По факту там несколько онтологий импортировано (example, rdfs, foaf), но...
Metzinger T., Gallese V. — The emergence of a shared action ontology. Building blocks for a theory (2003) Прекрасная статья Томаса Метцингера заслуживает подробного разбора, но здесь я запишу лишь свои реакции на отдельные выдержки. Перевод «shared action ontology» на русский позволяет более одного варианта, включая «онтологию разделяемого действия», но...
Нашел приличное количество публикаций на тему масштабирования логического и онтологического нормативного вывода. Проект MIREL из Университета Люксембурга, Университет Болоньи и прочие прорабатывают вопрос «как обрабатывать огромные количества данных с огромным количеством правил». Не нашёл пока работающих систем, хотя упоминания про то, что прототип вывели в коммерческую эксплуатацию, есть. Вместо заявленных...