антисложность вычислительное право | управляемая эпистемология | теория внимания

0

О категории «отношения» как семантическом сахаре

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

0

Немного оптимизма

Очередная пара тематических обзоров (1, 2) SotA от А.Левенчука ещё раз показывает долгосрочный дрейф понимания интеллект-стека, где важными, если не ключевым узлами стоят «эпистемология» и «действие». Т.е. именно то, что для УЭ является частями ядерной теоретической архитектуры. УЭ находится уже в точке, куда этот процесс пытается (часто весьма неуклюже) продвинуться....

0

Сложность правовых онтологических моделей на примере из ПДД

В исследованиях по построению вычислимых дейцентричных правовых онтологий я экспериментирую с белорусскими кодексами. Для работы без хороших инструментов, которые ещё нужно создать, относительно простым для моделирования материалом оказываются ПДД + КоАП. Но «простой» здесь означает лишь проще чем, например, трудовой или налоговый кодекс. Процесс построения модели на основе текстов выявляет...

0

Эпистемологическая рекурсия в «Постправде» Фуллера

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

2

«A Common Legal Platform»: новый закон на новых технологиях

«A Common Legal Platform» — концептуальная архитектурная разработка коллектива под названием Liquid Legal Institute e.V.  Сходу заявляют о своём радикализме в отношении цифровой трансформации закона: The legal ecosystem must reinvent itself, while also reflecting the particular importance of law. Этот радикализм, подозреваю, скрыто исповедуют многие из тех, кто занимается разработкой...

0

X2RL: попытка MIT создать новый стандарт представления регуляторных данных

Вышел очередной отчёт лаборатории вычислительного права MIT: Drafting X2RL: A Semantic Regulatory Machine-Readable Format. Исследователи MIT вводят новый формат представления регуляторных данных: X2RL (eXtensible Regulatory Reporting Language), с попыткой преодолеть ограничения существующих в Штатах и для американского контекста (в Европе иные) синтаксических форматов USLM и Akoma Ntoso. Главные цели определены...

0

Логика в вычислениях нормативных позиций

Sergot M., A Computational Theory of Normative Positions. Логические формализмы вроде презентованного здесь читать непросто, да и не очень интересно. Интересны границы метода. Например, ввод-вывод в формализм. Приведённый ниже отрывок взят из примера практического использования логики (формализм Norman-G): Note [2]. We are supposing for the purpose of the example that...

0

Эпистемичные способности rdf и SPARQL

Заметка на полях исследований стека технологий для дейцентричного процессинга. Оператор negation в спецификации SPARQL проявляет интересную проблему с интеграцией разноуровневых онтологий и эпистемических вычислений. Данные, представленные в блоке «Data»-  текущая онтика, набор фактов, организованный в соответствии с какой-то онтологией (О1). По факту там несколько онтологий импортировано (example, rdfs, foaf), но...

1

«Разделяемые онтологии действия» Метцингера

Metzinger T., Gallese V. — The emergence of a shared action ontology. Building blocks for a theory (2003) Прекрасная статья Томаса Метцингера заслуживает подробного разбора, но здесь я запишу лишь свои реакции на отдельные выдержки. Перевод «shared action ontology» на русский позволяет более одного варианта, включая «онтологию разделяемого действия», но...