Работа Андрея Родина «Knowledge Representation with HoTT» — об использовании гомотопической теории типов для представления знания. Я слабо владею теорий типов на теоретическом уровне, чтобы обсуждать специфические моменты именно предлагаемого формализма, но сам автор обращается к эпистемологии, и тут у меня есть замечания. В сообществах, связанных с KR, бытует надежда,...
В период с середины 1990-ых и где-то по начало 2010-ых институты Европейского Союза финансировали несколько попыток формализовать законотворчество и обмен правовой информацией, включая проекты по созданию опорной онтологии права, как базиса для обмена правовой информацией на семантическом уровне. Стандарты синтаксического уровня (как нарезать текст законов на блоки, связывать их квалифицированными...
Гарвардский (Berkman Klein Center for Internet & Society at Harvard Law School) проект OpenLaw заявляется, как платформа для создания «полностью цифровых, юридически значимых активов без необходимости кодировать» (purely digital, legal-enforceable assets with no coding necessary). По факту — проект пытается выйти из атомарной простоты протоколов чейна (Etherium), ориентированных исключительно на...
Термин «экзокортекс» не самый распространённый, однако получил некоторое хождение в узких кругах. Статья «Exocortex» в англоязычной вики присутствует, но переадресует на «Brain-Computer Interface», в теле чего самого слова exocortex нет. Русскоязычная вики оставила экзокортексу целый раздел в симметричной статье «Нейрокомпьютерный интерфейс». Я этот термин впервые увидел в жж ailev ака...
ВА: ты как-то предвзят к языку. Чтобы начать говорить и тем более передавать знание (то что можно передать) его придётся упаковать. Какая разница как. В этом смысле, язык логики или алгебры, кажется, имеет сплошные преимущества, а не наоборот. Разница существенна и это один из главных вызовов. Язык человекомерен. Но мир...
1 Если мы самым коротким образом определим эпистемологию, как «знание о знании», то можем заметить, что европейская традиция получения этого специального знания (со времён Аристотеля, а потом Декарта и Бэкона) организована в объективистском ключе: мы, конечно, определяем, что это «наше» знание (субъекта, который cogito ergo sum), но «субъект» здесь —...
Ключевое направление моих текущих исследований: поиск метода представления исполняемого знания в вычислимой форме разработка необходимой для этого теоретической и инженерной инфраструктуры. Где «Исполняемое знание» Знание из предметных областей с высокой степенью сложности, тех, что чаще относят к гуманитарному, социальному или психологическому полю. Для «физической» 4D-инженерии, где объекты хорошо фиксируются и...
Со стороны людей с философской подготовкой, обращающих внимание на мои материалы, приходят указания (если не обвинения), что я использую термины «эпистема» и «эпистемология» в неком своём изобретённом смысле, что не даёт возможности адекватно понимать тексты пусть узкому, но широкому кругу философов, знакомых с Фуко и его вкладом в философию. Особого...
Картинка из «Рубанов В.А. Семантическая топология». Наш ответ западному онтологическому методу. Я за все годы встретил, наверно, с десяток подобных отечественных попыток разработать альтернативный онтологический метод. Не считая теорий систем, которых вообще не сосчитать и которые уже давненько вышли из научной моды. То, что сегодня считается мэйнстримом онтологической...
По изданию R.Susskind «ONLINE COURTS and THE FUTURE OF JUSTICE», Oxford University Press 2019. Конспектирование и перевод: Егор Чурилов ix Я часто шучу, что пишу одну и ту же книгу каждые 4 года 1 Introduction В 2039 моя внучка Роза будет 21-летней. Я оптимистичен, грядут трансформации и агитировать кого-то за...
