Нубы агрятся, потому как воспринимают русский язык в первую очередь как инвентарь объектов, словарь. Который должен по представлениям возмущённой общественности быть выстроен согласно неким нормам этнической, чуть не сказал расовой, красоты, очищен от заимстваний. А когда словарь иной, граммар-наци это воспринимают как распад, разгром, адъ и Израиль — привычная чистота...
В дискуссиях про структуру современного знания мне приходится часто указывать на неосознаваемые, неуправляемые онтологические рекурсии при осмыслении предельных вопросов, и про то, что закостыливание этих проблем, инстинктивное или представляемое в виде некой прогрессивной конструкции, продолжающееся веками, привело к архитектуре эпистемических костылей, которую локальными перестройками уже не изменишь, а в таком...
«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 из Университета Люксембурга, Университет Болоньи и прочие прорабатывают вопрос «как обрабатывать огромные количества данных с огромным количеством правил». Не нашёл пока работающих систем, хотя упоминания про то, что прототип вывели в коммерческую эксплуатацию, есть. Вместо заявленных...
Рекап дискуссий на канале «Управляемая эпистемология» https://t.me/anticomplexity/ Более понятные объяснения, чем в статье Транспонирование оснований и неопределённость в УЭ
Что я имею ввиду, когда говорю про снижение когнитивных затрат при использовании аппарата УЭ? Возьмём пару цитат Фуко («Воля к истине: по ту сторону знания, власти и сексуальности»): «отношения власти не находятся во внешнем положении к другим типам отношений (экономическим процессам, отношениям познания, сексуальным отношениям), но имманентны им… Сетка отношений...
Канал и чат в Telegram
Канал: https://t.me/hyperonym
Чат: https://t.me/anticomplexity
Управляемая эпистемология, действие-центричные онтологии, моделе-ориентированное вычислительное право и связанные с этим вопросы концептуального конструирования.