Антисложность - Антисложность

"Представление знание с помощью гомотопической теории типов"; проблема в эпистемологии, не в синтаксисе

Опубликован: 2020-08-17

Работа Андрея Родина "Knowledge Representation with HoTT" \- об использовании гомотопической теории типов для представления знания. Я слабо владею теорий типов на теоретическом уровне, чтобы обсуждать специфические моменты именно предлагаемого формализма, но сам автор обращается к эпистемологии, и тут у меня есть замечания. В сообществах, связанных с KR, бытует надежда, что для продвижения в...

#эпистемология

Зима и лето в европейских исследованиях правовых вычислительных онтологий

Опубликован: 2020-05-24

В период с середины 1990-ых и где-то по начало 2010-ых институты Европейского Союза финансировали несколько попыток формализовать законотворчество и обмен правовой информацией, включая проекты по созданию опорной онтологии права, как базиса для обмена правовой информацией на семантическом уровне. Стандарты синтаксического уровня (как нарезать текст законов на блоки, связывать их...

#моделеориентированное-право

Закрытый Smart Contract Stack проекта OpenLaw

Опубликован: 2020-05-12

Гарвардский (Berkman Klein Center for Internet & Society at Harvard Law School) проект OpenLaw заявляется, как платформа для создания "полностью цифровых, юридически значимых активов без необходимости кодировать" (purely digital, legal-enforceable assets with no coding necessary). По факту - проект пытается выйти из атомарной простоты протоколов чейна (Etherium), ориентированных исключительно...

#моделеориентированное-право

Экзокортекс: расширенное определение

Опубликован: 2020-04-11

Термин "экзокортекс" не самый распространённый, однако получил некоторое хождение в узких кругах. Статья "Exocortex" в англоязычной вики присутствует, но переадресует на "Brain-Computer Interface", в теле чего самого слова exocortex нет. Русскоязычная вики оставила экзокортексу целый раздел в симметричной статье "Нейрокомпьютерный интерфейс". Я этот термин впервые увидел в жж ailev ака Anatoly...

#когнитивные-архитектуры

Ограничения логики в перспективе эволюции рацио

Опубликован: 2020-04-06

Разница существенна и это один из главных вызовов. Язык человекомерен. Но мир человека уже не человекомерен. Точнее, здесь такая иерархия разнообразий: 1 Индивидуальный или мелкогрупповой рацио Главным мотивом можно утвердить повышение степени согласованности дискурса для повышения управляемости практик малых групп (первая степень числа Данбара, условная сотня человек) - унисоциумов....

#эпистемология #логика #предел-науки #философия #язык

Оперативная сторона эпистемологии

Опубликован: 2020-03-30

1 Если мы самым коротким образом определим эпистемологию, как "знание о знании", то можем заметить, что европейская традиция получения этого специального знания (со времён Аристотеля, а потом Декарта и Бэкона) организована в объективистском ключе: мы, конечно, определяем, что это "наше" знание (субъекта, который cogito ergo sum), но "субъект" здесь - только метка для особого объекта...

#управляемая-эпистемология

Дейцентричные онтологии

Опубликован: 2020-03-16

Ключевое направление моих текущих исследований: 1. поиск метода представления исполняемого знания в вычислимой форме 2. разработка необходимой для этого теоретической и инженерной инфраструктуры. Где 1. "Исполняемое знание" Знание из предметных областей с высокой степенью сложности, тех, что чаще относят к гуманитарному, социальному или психологическому полю. Для "физической" 4D-инженерии, где...

#моделеориентированное-право

Эпистема как управляемое понятие

Опубликован: 2020-02-24

Со стороны людей с философской подготовкой, обращающих внимание на мои материалы, приходят указания (если не обвинения), что я использую термины "эпистема" и "эпистемология" в неком своём изобретённом смысле, что не даёт возможности адекватно понимать тексты пусть узкому, но широкому кругу философов, знакомых с Фуко и его вкладом в философию. Особого стремления к пониманию с их стороны я пока...

#управляемая-эпистемология

Отечественные онтологические методы - тёплое ламповое прошлое сейчас

Опубликован: 2020-02-18

Картинка из "Рубанов В.А. Семантическая топология". Наш ответ западному онтологическому методу. Я за все годы встретил, наверно, с десяток подобных отечественных попыток разработать альтернативный онтологический метод. Не считая теорий систем, которых вообще не сосчитать и которые уже давненько вышли из научной моды. То, что сегодня считается мэйнстримом онтологической инженерии, для...

#системная-инженерия

"Online Courts and the Future of Justice" R.Susskind (2019). Конспект-перевод

Опубликован: 2020-02-11

По изданию R.Susskind "ONLINE COURTS and THE FUTURE OF JUSTICE", Oxford University Press 2019. Конспектирование и перевод: Егор Чурилов ix | Я часто шучу, что пишу одну и ту же книгу каждые 4 года ---|--- 1 | Introduction | В 2039 моя внучка Роза будет 21-летней. Я оптимистичен, грядут трансформации и агитировать кого-то за онлайн суды будет не нужно, как не нужно сейчас агитировать кого-то за...

#моделеориентированное-право