57 posts
Нашёл у J. Euzenat в "Towards a principled approach to semantic interoperability" структуру "уровней интероперабельности", подобную знаниевому стеку, только собранную лет на 20 раньше (2001) и без эпистемологического фреймворка на бекенде. В модели коммуникации/интероперабельности Озена (это француз) отсутствует сигнальный уровень, за то синтаксис разорван пополам на lexical и собственно...
Дебаты вокруг вопроса "что такое сознание?" нередки как для академического сообщества, так и в среде инженеров - разработчиков в сфере искусственного интеллекта. Для многих ценность вопроса и поисков ответа на него является самоочевидной, и редко подвергается самостоятельной оценке. Я возму на себя смелость утверждать, что, безотносительно содержания этих споров, они являют собой в большей...
Читаю вот у Загорулько Ю.А. в "Семантическая технология разработки интеллектуальных систем, ориентированная на экспертов предметной области" (2015): Представляется очевидным, что чем меньше будет разрыв между знаниями и представлениями эксперта и средствами представления знаний инструментальной системы , тем легче ими будет пользоваться эксперту. Когда встречаю подобное про "разрыв", хочется...
Очередная пара тематических обзоров (1, 2) SotA от А.Левенчука ещё раз показывает долгосрочный дрейф понимания интеллект-стека, где важными, если не ключевым узлами стоят "эпистемология" и "действие". Т.е. именно то, что для УЭ является частями ядерной теоретической архитектуры. УЭ находится уже в точке, куда этот процесс пытается (часто весьма неуклюже) продвинуться. Например, ценность...
В дискуссиях про структуру современного знания мне приходится часто указывать на неосознаваемые, неуправляемые онтологические рекурсии при осмыслении предельных вопросов, и про то, что закостыливание этих проблем, инстинктивное или представляемое в виде некой прогрессивной конструкции, продолжающееся веками, привело к архитектуре эпистемических костылей, которую локальными перестройками уже не...
Metzinger T., Gallese V. - The emergence of a shared action ontology. Building blocks for a theory (2003) Прекрасная статья Томаса Метцингера заслуживает подробного разбора, но здесь я запишу лишь свои реакции на отдельные выдержки. Перевод "shared action ontology" на русский позволяет более одного варианта, включая "онтологию разделяемого действия", но содержательно авторы прорабатывают...
Небезынтересное видео "Битва за истину. Война эпистем" от Натальи Луковниковой и Сергея Переслегина посвящено особой ситуации противостояния знаниевых систем, разворачивающейся в США. Помимо иных замеченных дискуссионных моментов, слух резануло то, что для обозначения указанной ситуации используются термины "эпистемный конфликт", а также "эпистемический" и "эпистемологический конфликт"....
Определение технологии от Emmanuel Mesthene из книги "More from Less": "организация знания для достижения практических целей". Знакомые какие обертоны. Если понятие "технология" определить через максиму управляемой эпистемологии, то определение будет звучать как "технология: структура разделяемого знания, обеспечивающая повторяемое действие". Отсюда: технологии это про структуры исполнимого...
Разговоры об определении "смысла", "информации" и "сознания" в контексте ИИ-разработок всплывают регулярно, но в подавляющем большинстве случаев заканчиваются там же, где и начинались. Количество альтернативных формулировок, предлагаемых в качестве определений, может рассчитываться по формуле из анекдота: на двух исследователей 3 варианта. Ни одно определение из множества не выглядит для...
Работа Андрея Родина "Knowledge Representation with HoTT" \- об использовании гомотопической теории типов для представления знания. Я слабо владею теорий типов на теоретическом уровне, чтобы обсуждать специфические моменты именно предлагаемого формализма, но сам автор обращается к эпистемологии, и тут у меня есть замечания. В сообществах, связанных с KR, бытует надежда, что для продвижения в...
Разница существенна и это один из главных вызовов. Язык человекомерен. Но мир человека уже не человекомерен. Точнее, здесь такая иерархия разнообразий: 1 Индивидуальный или мелкогрупповой рацио Главным мотивом можно утвердить повышение степени согласованности дискурса для повышения управляемости практик малых групп (первая степень числа Данбара, условная сотня человек) - унисоциумов....
В своих теоретических изысканиях я, как Алёнушка из сказки, "ссылка за ссылкой" в статьях, захожу в дебри, где лежат забытые и запыленные, но очень интересные артефакты знания. Археология знания, как есть. Нынче, несколько тоннелей привели меня к книге Jane Lave "Cognition in Practice. Mind, Mathematics and Culture in Everyday Life" 1988 года, выложенный пиратами (да продлит Ктулху их дни)...
FAQ по аналитической философии Я за прогрессами а аналитической философии не слежу особо пристально, но образованная в теме Kate Khan меня как-то просветила, что Чалмерс и Метцингер - это ныне уже не модно, а модно Харман, Брасье, Мейясу и объектно-ориентированные онтологии (тут философские, не инженерные, совсем другое). Я с интересном дёрнулся осматривать новую философскую зарю, пробежался...
Я нередко употребляю понятие "эпистемическая управляемость теории". В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как "несогласованность", "неполнота" или "семантическая коллизия", но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической...
Я нередко употребляю понятие "эпистемическая управляемость теории". В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как "несогласованность", "неполнота" или "семантическая коллизия", но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической...
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, "Математическая теория коммуникации" 1949. "Математическая" - про вычисления, "коммуникация" - про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. "Целостная" - не столько значит "хорошая", сколько "покрывающая весь эпистемический спектр"....
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, "Математическая теория коммуникации" 1949. "Математическая" - про вычисления, "коммуникация" - про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. "Целостная" - не столько значит "хорошая", сколько "покрывающая весь эпистемический спектр"....
Уже многие годы, прорабатывая разные проекты (и бизнес-схемы, и эпистемические модели), вою воем от досады по поводу отсутствия хороших инструментов для моделирования. Качественное схватывание и выражение сложных доменов, вроде юриспруденции, требует своего, особого выразительного подхода. Ни один из существующих сейчас и известных мне подходов к моделированию таких доменов И инструментов...
Русская версия здесь Revision 3 Original '2019 Revision 1 version published in Recht Innovative 01-2019 1 Currently, there is no widely accepted definition for Computational Law. The term itself also has several related, often almost synonymous forms: AI in Law, Computational Legal, Artificial Legal Intelligence, etc. The literature mostly contains inductive definitions when the notion is...
English version is available 1 В настоящее время для Вычислительного права не существует широко принятого определения. Сам термин также имеет несколько родственных, часто используемых почти как синонимы: Computatonal Law, AI in Law, Computational Legal, Artificial Legal Intelligence и пр. В литературе встречаются в основном индуктивные определения, где понятие фиксируется как зонтичный термин...
Есть гипотеза (или уж не гипотеза, а принятый факт), что разум примата развился в человеческий в значительной мере по причине наличия рук - свободных конечностей, которые предоставляют особый манипулятивный (от manus, рука) доступ к миру. То бишь, фронтальное расположение глаз, дающее особую оптику, и возможность подносить к ним предметы руками дали приматам больший и более богатый опыт...
Из работы на тему теории прототипов, как опереть юридический язык на "prototypical perceptual semantics" (это сами переводите): "Каким-то образом требование о том, что экземпляр концепции должен быть «подобен» прототипу (своего рода «горизонтальное» ограничение), кажется, усиливает требование о том, что образец должен быть помещен на некоторый определенный уровень иерархии концепта (своего...
Из работы на тему теории прототипов, как опереть юридический язык на "prototypical perceptual semantics" (это сами переводите): "Каким-то образом требование о том, что экземпляр концепции должен быть «подобен» прототипу (своего рода «горизонтальное» ограничение), кажется, усиливает требование о том, что образец должен быть помещен на некоторый определенный уровень иерархии концепта (своего...
Доступна русская версия. December speech by Daniel Greenwood, the Head of Computational Law R&D at MIT. [youtube:AjXtIA4f9j4] The speaker clearly outlines objectives of Computational Law; on the other hand I do not agree with how the boundaries of the discipline are defined. This is the neopositivist mainstream to bring it all down to language and semantics: let's split laws into semantic...
English version available Декабрьское выступление главы law.mit.edu Daniel Greenwood. Он там с одной стороны неплохо очерчивает задачи computational law, но я не согласен с тем, как он определяет границы дисциплины. У него, и это позитивистский мэйнстрим, всё упирается в семантику: давайте нарежем законы на семантические атомы, а потом будем связывать его логикой, статистикой, онтологиями,...
English version available Декабрьское выступление главы law.mit.edu Daniel Greenwood. Он там с одной стороны неплохо очерчивает задачи computational law, но я не согласен с тем, как он определяет границы дисциплины. У него, и это позитивистский мэйнстрим, всё упирается в семантику: давайте нарежем законы на семантические атомы, а потом будем связывать его логикой, статистикой, онтологиями,...
Любая нетривиальная практика требует теоретической поддержки, которая необходима для обеспечения переносимости, масштабирования, работ по снижению стоимости/увеличению эффективности и проч. На графике прогноз по росту затрат на поддержку практик с ростом их сложности для теорий с разного качества эпистемологической поддержкой. И указание, где сейчас мы все находимся. 1 Большая часть...
Из дискуссии. Pavel Vetokhin Субъект собирается описать событие. По жизни он играет роли каких-то стейкхолдеров. Не исключено что время от времени он застревает в каких-то позициях. Чтобы описать событие по-настоящему межсубъектно ему следует максимально избавиться от "налета" всех методов описаний всех стейкхолдеров, роли которых он играет по жизни? Это вообще возможно? Может человек...
1 Чтобы публика не подумала чего плохого, нужно заметить, что борьба с объективистским и позитивистским мышлением не является для меня чем-то самоценным, смыслом жизни. Эта эпистема естественным образом уходит, потому воображать себя Зигфридом, в яростной схватке освобождающим золото Истинного Знания, было бы как-то неправильно: Фафнир и так на издыхании. Хотя, рано или поздно найдётся герой с...
"Эгоистичный ген" Докинза я прочитал в 1997-ом. Помню книгу формата А4 толщиной в два пальца, которую я заглотил дня за два. Прошло немножко лет, и я добрался до "Расширенного фенотипа", который считается (и самим Докинзом) ключевой работой в развитии его теории. Читать тяжело. Каждые полстраницы в мозгу индуцируется мысль, требующая если не записи, то обсуждения в узком кругу меня. Конспект...
Из Плиско, Хаканян "Интуиционистская логика". "Рождены мыслью", "сознание", "какие-то общие свойства мышления".. . Так определяются эпистемические основания математического подхода. Эпистемология - это изучение подобных положений, определяющих порядок некоторой системы понятий, онтологию или группу онтологий. Эпистемическое конструирование - это создание таких порядков. Математики определяют...
Дубровский В.Я. - Онтология деятельности Г. П. Щедровицкого. Пока что самое внятное, компактное и объемлющее найденное мной изложение темы. Обозревая в целом, не могу не констатировать, что для 60х-80х годов такой подход в мышлении, несомненно, особенно на фоне остальной философии, был авангардом и должен был вдохновлять. Сейчас же многие вещи смотрятся уже не так привлекательно. Попытка...
«Тождественные [аргументы] суть те, один из которых может быть поставлен вместо другого с сохранением истинности». (Лейбниц) Операционное определение, а не просто "по понятиям". Даже если не придираться к "истинности", предположив вместо оного понятия управляемую норму, нужно задать вопрос "Когда, кем, как, куда и для чего поставлен?" Нормальный математик, наверно, покрутит пальцем у виска от...
Фреге Труъ эпистемология - это не про ещё одно "правильное" определение единицы, или томик пространных рассуждений на тему. Это экспликация некоторой когнитивной механики, определение частных состояний, определяющих поведение. "Единица" демистифицируется также, как некневсе другие сакральные и эзотерические вещи, в относительно простых схемах. Главная проблема, что тогда, что сейчас - в том,...
У Фреге в "Основаниях арифметики" налетел на фразу, вполне ординарную для любой позитивистской позиции: "Итак, под объективным я понимаю то, что независимо от нашего ощущения, созерцания и представления, от проектирования внутренних образов из воспоминания предшествующих ощущений" Если, опять же, включить тут онтологическую строгость и эпистемологический теораппарат, можно увидеть здесь...
В курсе разработки технологии мышления избавление от дуализма - это не избавление от различения доступных эпистемических модусов, это избавление от необходимости иметь два набора интеллектуальных инструментов, "для бытия" и "для сознания". До самого последнего времени разрыв между этим двумя практиками описаний в европейской культуре был велик, а "восточные" холистичные подходы плохо...
"Бытие-сознание", "дух-материя", "объективное-субъективное", "физическое-психологическое" и пр. представления о несводимости одной части мира к другой стары как мир и растут из одного корня. Природу дуализм можно подсветить на показательное паре концепций из новейшей истории. M. West (большой человек в инженерии, со- и просто автор много чего, включая монументальный ISO 15926) "Developing...
Существует и множество дисциплин или практик, и множество философских оснований, на которых дисциплины/практики строятся. В отношении проблем сознания в европейской науке таких платформ как минимум три: \- эмерджентизм-физикализм (сознание сводимо к объективно фиксируемым физическим состояниям) \- дуализм-антифизикализм (сознание логически не супервентно физическому миру) \- функционализм...
Существует и множество дисциплин или практик, и множество философских оснований, на которых дисциплины/практики строятся. В отношении проблем сознания в европейской науке таких платформ как минимум три: \- эмерджентизм-физикализм (сознание сводимо к объективно фиксируемым физическим состояниям) \- дуализм-антифизикализм (сознание логически не супервентно физическому миру) \- функционализм...
Давеча Максим Доброхотов саркастически попенял мне за моё нежелание читать Жиля Делеза, который в своих работах, дескать, изложил ценные мысли по поводу времени, пространства, а также соотношения перцептивных и концептуальных практик. А все, кто не опирается в своих изысканиях на такого рода "честных рыцарей" - мошенники. Все указанные топики мне интересны, и ценность работ Делеза для...
А в определённых - не соответствует. "Смысл знака" в лингвистически замкнутых репрезентационных системах трактуется через другие знаки, или, как в данном случае, через принадлежность данной метки к кластеру меток со статистически близкими "семантическими" метриками. Эпистемологическое вскрытие такой системы означает обращение к вопросам вида "почему мы имеем данные метки" и "почему эти метки...
К статье "Тяжёлая рука энтропии" Формулировка Больцмана, XIXый век: "Энтропия — это мера количества индивидуальных микроскопических расстановок атомов, которые для макроскопического наблюдателя неразличимы." Как видно, формулировка эпистепологически-зависима, присутствует отсылка к наблюдателю. При этом, наблюдатель никак не входит в формулы или теории сколь-нибудь определенным способом....
Разработка языка программирования требует также разработки по него компилятора, интерпретатора и/или виртуальной машины. Это - тривиальный факт из жизни программистов. Без строго контроля за тем, что и как язык выражает, ничего хорошего из текста программы не выйдет. У разработчиков есть своеобразное чувство юмора - создавать "эзотерические языки", такие что the worse, the better в самом...
14 октября в Минске состоялся митап с темой "Вертикальная интеграция вычислительных архитектур - проблема медиатора", на котором я представлял доклад на данную тему. Тезисы, вокруг которых строилась презентация и обсуждение: CA = connectonist architecture; SA = symbolic architecture (or approach) 1. "Вертикальная" архитектура - это про целостное решение некоторой проблемы, "сверху донизу". В...
Статья Luc Steels "The Symbol Grounding Problem has been solved. So what’s next?" меня привлекла оптимизмом в названии. Живо написано, и приводятся интересные сведения по экспериментам с символьной коммуникацией роботов. По Стилзу, проблема, в том виде, как была сформулирована Сёрлом ("Can a robot deal with grounded symbols?") решена, Shakey robot в 70ых уже демонстрировал всё необходимое. А...
Для функционирования автономных искусственных агентов или просто для развитых систем обработки информации качественное представление знания является одной из ключевых задач, определяющих общую способность системы решать задачи. Можно считать, что для широкого ряда узкоспециализированных задач наука и инженерия сумела найти достаточно успешные частные решения. Однако, и построение...
Эпистемологическое введение Наука, как минимум, позитивистская, в частности включает в себя деятельность по установлению факта существенной связности между некими феноменальными ситуациями, а так же по формальной фиксации моментов общности и вариативности этой связи. Любой "закон" - это символическое отражение наблюдаемых корреляций, позволяющий, например, на основании данных о микроповедении...
В философии существуют несколько теорий времени, где теоретики пытаются найти форму осознания нестатичного мира. Вариантов вопросов и ответов достаточно много. Описать всю совокупность их – крайне тяжёлое и небезопасное занятие. Ниже представлен короткий список наблюдаемых в европейском контексте (Wikipedia approved) тематик и теорий. Исключены масса мелких (на полтора теоретика) вариаций, а...
Метафора "чёрного ящика", используемая при рассмотрении систем, является пережитком объектно-ориентированного мышления, когда для того, чтобы думать о чём-то, обязательно нужно представлять объект - нечто потенциально осязаемое, а значит - трёхмерное. Собственно, "ящик". Я давно развиваю тему генезиса сознания, где некоторая часть когнитивной механики человека очерчивается как "животная", и...
Продолжаем разбирать "Теорию Виртуальности" С.Дацюка. Схематизация всего набора семантических-когнитивных-лингвистических теорий в базисе переходов между нормированиями. Абзац показался мне полезным компасом, дополнил его визуальной схемой. Если теоретик находится в позиции структурного нормирования и занимается генерированием лингвистического содержания из глубинных структур, то есть изучает...
Гуссерль ввёл ряд известных «редукций», заменивших натуралистическую установку на феноменологическую, которая состоит в том, чтобы воздерживаться от суждений о «мире вне феноменов», о некоем внешнем по отношении к сознанию бытии. Эйдетическая и трансцедентальная редукции углубляют этот разрыв. Редукция определена в операционном модусе, как исполнение «выключений» в теле натурализма. Результат...
В приватной беседе один знакомый эксперт сообщил, что не понимает, о чём в некоторых непростых текстах идёт речь, и что в них «не хватает конкретики, за которую можно ухватиться, нет субъекта и объекта». Проблема на нова, и указания на сложность и «неконкретность» аналогичного рода текстов возникают постоянно. Размышления на этот счёт привели меня к нескольким выводам: 1. Тексты высокого...
В современном научном дискурсе, либо в дискурсе, который пытается эксплуатировать научность, "система" превратилась в buzz-word, моднючее словечко, а "системный подход" - в buzz-methodology, моднючую методологию. И то и другое употребляют настолько часто, что уже невооружённым взглядом видно, что дело с системностью плохо очень хорошо. То бишь, количество "системного понимания" растёт гораздо...
Хокинг : Прогресс состоит не в замене неверной теории на верную, а в замене одной неверной теории на другую неверную, но уточнённую. Чурилов : Хокинг - угрюмый пессимист. Прогресс состоит в замене одной верной теории на ещё более верную. Д.П.: да нет-он реалист. История не знала еще ни одной полностью верной теории Хокинг, как астроном, уже не верит в твердь небесную, хотя каждый может видеть...
Человек разумный в своей познавательной рациональной деятельности сильно ограничен тем наследством, которое досталось ему от животных. Много из того, что мы считаем отличительной особенностью человека - лишь высокая степень развития того, что есть у других зверей. Сюда входит и абстрактное мышление, и сложные эмоциональные и социальные отношения. В последние 100-150 лет этологи и социобиологи...
Философия Действования, как область деятельности, явным образом полагает собственное подчинённое положение по отношению к деятельности более высокого организационного порядка, осознавая свои границы и решая только те задачи, которые предписаны этим положением. Поэтому, явно формулируется Принцип подчинённости [философии]: Философия, как рациональная дисциплина, предназначена для управления...
Философия в практиках саморефлексии обычно выделяет несколько собственных функцией, вида "мировоззренческая, методологическая, мыслительно-теоретическая, гносеологическая, критическая, аксиологическая" и пр., однако, этот ряд лишён внятной системности. Нижеследующее описание не столько отрицает остальные, сколько рассматривает функции через оригинальную призму. Результирующий спектр...