Минская Лаборатория Вычислительного Права Minsk Computational Law Laboratory В ближайшее время в Минске состоится установочное собрание Лаборатории Вычислительного Права. Область исследований Вычислительного Права - это в первую очередь поиск формальных, вычислимых представлений правового знания, позволяющих сетям естественных и искусственных интеллектуальных агентов эффективно оперировать...
В своих теоретических изысканиях я, как Алёнушка из сказки, "ссылка за ссылкой" в статьях, захожу в дебри, где лежат забытые и запыленные, но очень интересные артефакты знания. Археология знания, как есть. Нынче, несколько тоннелей привели меня к книге Jane Lave "Cognition in Practice. Mind, Mathematics and Culture in Everyday Life" 1988 года, выложенный пиратами (да продлит Ктулху их дни)...
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. Последнее наиболее интересно, хотя не ясно, как это нормально...
FAQ по аналитической философии Я за прогрессами а аналитической философии не слежу особо пристально, но образованная в теме Kate Khan меня как-то просветила, что Чалмерс и Метцингер - это ныне уже не модно, а модно Харман, Брасье, Мейясу и объектно-ориентированные онтологии (тут философские, не инженерные, совсем другое). Я с интересном дёрнулся осматривать новую философскую зарю, пробежался...
Я нередко употребляю понятие "эпистемическая управляемость теории". В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как "несогласованность", "неполнота" или "семантическая коллизия", но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической...
Возможно, одна из самых вредных идей, стратегически блокирующих развитие сильной вычислительной способности - это сама идея существования разума. "Сознание" и "разум" объективированы где-то в 17 веке. Фуко это показал в своих работах. Этот модерновый объективистский конструкт, как и прочие в эпистеме, призван обслуживать индустриальное общество со всеми специфичными для данной эпохи...
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, "Математическая теория коммуникации" 1949. "Математическая" - про вычисления, "коммуникация" - про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. "Целостная" - не столько значит "хорошая", сколько "покрывающая весь эпистемический спектр"....
Вышел Указ № 148 «О цифровых банковских технологиях». Сел почитать и по ходу дела накидал в ArchiMate схему закона (первые 10 пунктов) в качестве упражнения. Интересно, вот без всякой подготовки в моделировании и в нотации ArchiMate 3, насколько что-то их этих схем понятно юристам и неюристам? Одна из задач #ТёмныйМоделер \- такие схемы (а точнее, вычислимые модели, для которых схемы - только...
Уже многие годы, прорабатывая разные проекты (и бизнес-схемы, и эпистемические модели), вою воем от досады по поводу отсутствия хороших инструментов для моделирования. Качественное схватывание и выражение сложных доменов, вроде юриспруденции, требует своего, особого выразительного подхода. Ни один из существующих сейчас и известных мне подходов к моделированию таких доменов И инструментов...